Эмиль Леон Пост
-
Биография Эмиля Поста
- Эмиль Пост — американский математик, внесший значительный вклад в теорию рекурсии и теорию вычислимости.
- Родился в 1897 году в Германии, эмигрировал в США в 1912 году.
- Получил образование в Принстонском университете, где его исследования привели к открытию неполноты математических принципов.
-
Математические достижения
- Разработал математическую модель вычислений, эквивалентную машине Тьюринга.
- Ввел метод «вспомогательных символов» для представления постгенеративных языков.
- Доказал неразрешимость проблемы почтовой корреспонденции, что стимулировало исследования в теории формальных языков.
-
Вклад в теорию полиадических групп
- Внес фундаментальный вклад в теорию полиадических групп, показав, что они являются повторяющимся умножением элементов нормальной подгруппы.
-
Избранные статьи
- Опубликовал множество важных статей, включая работы по теории рекурсии и теории вычислимости.
-
Влияние и наследие
- Его работы оказали значительное влияние на развитие компьютерных наук и теории вычислимости.
- Его вклад в теорию рекурсии и полиадические группы остается важным и актуальным.
Полный текст статьи: