Польско-американский учёный-компьютерщик
Анджей Эренфойхт ( польск. Andrzej Ehrenfeucht [ˈand.ʐɛj ˈɛrɛnfɔjxt] , родился 8 августа 1932 года) — польско-американский математик и учёный-компьютерщик .
Жизнь
Анджей Эренфойхт сформулировал игру Эренфойхта-Фрэссе , используя метод туда и обратно, описанный в докторской диссертации Ролана Фрэссе . В честь Эренфойхта также названа последовательность Эренфойхта-Мицельского .
В 1971 году Эренфойхт был одним из основателей кафедры компьютерных наук в Университете Колорадо в Боулдере . В настоящее время он преподает и проводит исследования в университете, где он руководит проектом «breaking away» совместно с Патрисией Баггетт; проект, использующий практические занятия, направлен на повышение интереса учащихся старших классов к математике и технологиям .
Двое студентов Эренфойхта, Юджин Майерс и Дэвид Хаусслер , внесли вклад в секвенирование генома человека . Они, вместе с Гарольдом Габовым, Россом Макконнеллом и Гжегожем Розенбергом , выступили на двухдневном симпозиуме в Университете Колорадо в 2012 году, посвященном 80-летию Эренфойхта. [1]
В его честь вышло два выпуска журнала: один в честь его 65-летия в журнале Lecture Notes in Computer Science [ 2] и один в честь его 80-летия в журнале Theoretical Computer Science [3] .
Частная жизнь
Эренфойхт женился на дочери Альфреда Тарского Ине Тарской. [4]
Библиография
Книги
- Анджей Эренфойхт, Теро Харью, Ион Петре, Дэвид М. Прескотт, Гжегож Розенберг, Вычисления в живых клетках: сборка генов у инфузорий , Springer, 2004, ISBN 3-540-40795-2
- Патрисия Баггетт, Анджей Эренфойхт, « Отрываясь от учебника математики: творческие проекты для классов K-6» , ISBN 1-56676-299-5
- Анджей Эренфойхт, Теро Харью, Гжегож Розенберг, Теория 2-структур: основа для декомпозиции и преобразования графов , World Scientific, 1999, ISBN 981-02-4042-2
Статьи
(доступно через «Виртуальную библиотеку науки»)
- Чэнь Чжун Чан , Анджей Эренфойхт, «Характеристика абелевых групп», Fundamenta Mathematicae , т. 51, № 2, 1962, стр. 141-147.
- Анджей Эренфойхт, «Применение игр к проблеме полноты формализованных теорий», Fundamenta Mathematicae , т. 49, № 2, 1960, стр. 129-141.
- Анджей Эренфойхт, «О теориях, категориальных по степени», Fundamenta Mathematicae , vol. 44, нет. 2, 1957, стр. 241–248.
- Анджей Эренфойхт, Анджей Мостовский , «Модели аксиоматических теорий, допускающих автоморфизмы», Fundamenta Mathematicae , 1956, vol. 43, нет. 1, стр. 50-68.
Смотрите также
Ссылки
- ^ "Симпозиум в честь 80-летия Анджея Эренфойхта, выдающегося профессора компьютерных наук". Университет Колорадо в Боулдере . Архивировано из оригинала 2016-03-04 . Получено 2012-08-19 .
- ^ Ян Мычельский , Гжегож Розенберг, Арто Саломаа (ред.): Структуры в логике и информатике, подборка эссе в честь Анджея Эренфойхта. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8 , страницы IX доступны для скачивания. Доступ 04-29-2009
- ^ Розенберг, Г. (5 октября 2012 г.). «Формальные и естественные вычисления: в честь 80-летия Анджея Эренфойхта (специальный выпуск)». Теоретическая информатика . 457 : 1–180. doi : 10.1016/j.tcs.2012.07.015 .
- ^ Анита Б. Феферман и Соломон Феферман , Альфред Тарский: Жизнь и логика , Cambridge University Press, 2004. ISBN 0-521-80240-7 , стр. 239–242.
Внешние ссылки