Анджей Эренфойхт
Анджей Эренфойхт | |
|---|---|
| Рожденный | 8 августа 1932 г. |
| Национальность | Польский американец |
| Альма-матер | Варшавский университет |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Университет Колорадо в Боулдере |
| Докторантура | Анджей Мостовский |
| Докторанты | Дэвид Хаусслер Юджин Майерс |
Анджей Эренфойхт (англ. Польский: [ˈand.ʐɛj ˈɛrɛnfɔjxt] , родился 8 августа 1932 года) — польско-американский математик и учёный-компьютерщик .
Жизнь [ править ]
Анджей Эренфойхт сформулировал игру Эренфойхта-Фрэссе , используя метод туда и обратно, описанный в Ролана Фрэссе докторской диссертации . В честь Эренфойхта также названа последовательность Эренфойхта-Мицельского .
В 1971 году Эренфойхт был одним из основателей факультета компьютерных наук Университета Колорадо в Боулдере . В настоящее время он преподает и занимается исследованиями в университете, где вместе с Патрицией Баггетт руководит проектом «отрыва»; Проект, основанный на практических занятиях, направлен на повышение интереса старшеклассников к математике и технологиям.
Двое учеников Эренфойхта, Юджин Майерс и Дэвид Хаусслер , внесли свой вклад в секвенирование человеческого генома . Вместе с Гарольдом Габоу, Россом МакКоннеллом и Гжегожем Розенбергом они выступили на двухдневном симпозиуме Университета Колорадо в 2012 году, посвященном 80-летию Эренфойхта. [1]
В его честь вышли два выпуска журнала: один — к его 65-летию в « Конспектах лекций по информатике» ; [2] и один, которому исполнилось 80 лет, по теоретической информатике . [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 , vol. 51, нет. 2, 1962, стр. 141–147.
- Анджей Эренфойхт, «Применение игр к проблеме полноты формализованных теорий» , Fundamenta Mathematicae , vol. 49, нет. 2, 1960, стр. 129–141.
- Анджей Эренфойхт, «О категориальных теориях в степени» , Основы математики , т. 44, нет. 2, 1957, с. 241-248.
- Анджей Эренфойхт, Анджей Мостовский , «Модели аксиоматических теорий, допускающих автоморфизмы» , Fundamenta Mathematicae , 1956, том. 43, нет. 1, стр. 50-68.
См. также [ править ]
- Список поляков - Математика
Ссылки [ править ]
- ^ «Симпозиум по случаю 80-летия Анджея Эренфойхта, заслуженного профессора компьютерных наук» . Университет Колорадо в Боулдере . Архивировано из оригинала 4 марта 2016 г. Проверено 19 августа 2012 г.
- ^ Ян Мицельский , Гжегож Розенберг, Арто Саломаа (ред.): Структуры в логике и информатике, Подборка эссе в честь Анджея Эренфойхта. Конспекты лекций по информатике 1261 Springer 1997, ISBN 3-540-63246-8 , страницы IX доступны для скачивания . По состоянию на 29 апреля 2009 г.
- ^ Розенберг, Г. (5 октября 2012 г.). «Формальные и естественные вычисления: в честь 80-летия Анджея Эренфойхта (специальный выпуск)» . Теоретическая информатика . 457 : 1–180. дои : 10.1016/j.tcs.2012.07.015 .
- ^ Анита Б. Феферман и Соломон Феферман , Альфред Тарский: жизнь и логика , Cambridge University Press, 2004. ISBN 0-521-80240-7 , стр. 239–242.
Внешние ссылки [ править ]
- Веб-сайт Эренфойхта в Университете Колорадо
- Отрыв от сайта учебников по математике. Архивировано 10 марта 2010 г. в Wayback Machine.
- Анджей Эренфойхт на DBLP библиографическом сервере
- Анджей Эренфойхт в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |