Эмиль Леон Пост

В 1921 году Эмиль Леон Пост пришел к выводу о полноте исчисления высказываний, эффективно отобразив логические основы «Principia Mathematica». Его карьера развивалась благодаря значительным математическим исследованиям в Соединенных Штатах, начиная с ранних докторских исследований в Колумбийском университете и заканчивая многолетней преподавательской деятельностью в Сити-колледже Нью-Йорка.

Академический фундамент

Пост родился в Августове в 1897 году и в детстве переехал в Нью-Йорк. Он учился в средней школе Таунсенд-Харрис и получил степень бакалавра в Сити-колледже Нью-Йорка, прежде чем получить докторскую степень в Колумбийском университете в 1920 году под руководством Кассиуса Джексона Кейзера. Его ранний профессиональный путь включал год постдокторантуры в Принстонском университете, работу в Корнеллском университете и преподавание в средней школе, прежде чем в 1932 году он получил должность преподавателя в Сити-колледже Нью-Йорка.

Логика и вычислимость

Пост независимо разработал таблицы истинности и расширил теорию элементарных высказываний. В 1936 году он сформулировал модель вычислений, эквивалентную машине Тьюринга, которую теперь называют машиной Поста — Тьюринга. Его работа о канонических системах, опубликованная в 1943 году, установила методы переписывания строк, которые остаются фундаментальными для современного проектирования языков программирования. В 1946 году он ввел проблему соответствия Поста, чтобы продемонстрировать неразрешимость в формальных языках.

Полиадические группы и проблема Поста

Помимо вклада в теорию вычислимости, Пост проводил обширные исследования полиадических (или n-арных) групп. Его статья 1940 года содержала фундаментальную теорему, доказывающую, что такие структуры могут быть выражены через стандартные групповые операции. Позже, в своем выступлении перед Американским математическим обществом в 1944 году, он предложил вопрос о существовании невычислимого рекурсивно перечислимого множества со степенью Тьюринга, меньшей, чем у проблемы остановки, — задача, известная сегодня как проблема Поста.

Управление здоровьем

Начиная со времени работы в Принстоне, Пост боролся с маниакальными приступами. По совету врачей он ограничил продолжительность своих ежедневных исследований тремя часами. В 1929 году он женился на Гертруде Зингер, у них родилась дочь Филлис Пост Гудман. Пост умер от сердечного приступа в Нью-Йорке в 1954 году после электрошоковой терапии от депрессии и был похоронен на кладбище Маунт-Хеброн.

Краткие факты

- Рождение: 1897, Августов - Смерть: 1954, Нью-Йорк - Образование: Сити-колледж Нью-Йорка, Колумбийский университет - Супруга: Гертруда Зингер - Дочь: Филлис Пост Гудман - Ключевой вклад: Проблема соответствия Поста - Место захоронения: Кладбище Маунт-Хеброн

Вопросы читателей

### В чем заключалась важность диссертации 1921 года?

Она доказала, что исчисление высказываний в «Principia Mathematica» было полным, что означает, что все тавтологии были теоремами.

### Открыл ли Пост теорему Гёделя о неполноте первым?

Пост был близок к этому открытию во время пребывания в Принстоне в 1921 году, но не опубликовал свои идеи в то время.