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