Анджей Эренфойхт
Анджей Эренфойхт | |
|---|---|
| Рожденный | 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.
- Анджей Эренфойхт, Анджей Мостовский , "Модели аксиоматических теорий, допускающих автоморфизмы" , Основы математики , 1956, т. 1, с. 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 библиографическом сервере
- Анджей Эренфойхт в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |