Эмиль Леон Пост | |
---|---|
Родился | 11 февраля 1897 г.. Августов, Губернаторство Сувалки, Конгресс Польша, Российская Империя. (ныне Польша) |
Умер | 21 апреля 1954 (1954-04-21) (в возрасте 57). Нью-Йорк, США |
Alma mater | Городской колледж Нью-Йорка (BS, 1917). Колумбийский университет (A.M. 1918 г., канд. 1920) |
Известен по | Формулировке 1. Задача почтовой корреспонденции. Доказательство полноты исчисления высказываний Principia. Формула обращения Поста. Решетка Поста. Теорема Поста |
Научная карьера | |
Области | Математика, логика |
Учреждения | Принстонский университет |
Диссертация | Введение в общую теорию Элементарных предложений (1920) |
Советник доктора | Кассиус Джексон Кейзер |
Эмиль Леон Пост (; 11 февраля 1897 - 21 апреля 1954) был польским по рождению американец математик и логик. Он наиболее известен своей работой в области, которая в конечном итоге стала известна как теория вычислимости.
Сообщение родилось в Августове, Губернаторство Сувалки, Конгресс Польша, Российская Империя (ныне Польша) в польско-еврейскую семью, иммигрировавшую в Нью-Йорк Сити в мае 1904 года. Его родителями были Арнольд и Перл Пост.
Пост интересовался астрономией, но в возрасте двенадцати лет потерял левую руку в автомобильной катастрофе. Эта потеря стала серьезным препятствием на пути к карьере профессионального астронома, что привело к его решению заняться математикой, а не астрономией.
Пост учился в средней школе Таунсенда Харриса и продолжил обучение в Городской колледж Нью-Йорка в 1917 году со степенью бакалавра по математике.
После получения докторской степени по математике в 1920 году в Колумбийском университете под руководством Кассиуса Джексона Кейзера он сделал докторскую степень в Принстонском университете в 1920–1921 учебном году. Затем Пост стал учителем математики в средней школе в Нью-Йорке.
Пост женился на Гертруде Сингер в 1929 году, от которой у него родилась дочь Филлис Гудман. Пост тратил максимум три часа в день на исследования по совету своего врача, чтобы избежать маниакальных приступов, которые он испытывал с тех пор, как провел год в Принстоне.
В 1936 году он был назначен на факультет математики в Городском колледже Нью-Йорка. Он умер в 1954 году от сердечного приступа после лечения электрошоком от депрессии ; ему было 57 лет.
В своей докторской диссертации, позже сокращенной и опубликованной как «Введение в общую теорию элементарных предложений» (1921), Пост доказал, среди прочего, что исчисление высказываний Principia Mathematica было полным: все тавтологии являются теоремами, учитывая аксиомы Principia, правила подстановки и modus ponens. Пост также разработал таблицы истинности независимо от Людвига Витгенштейна и C. С. Пирс и нашел им хорошее математическое применение. Жан ван Хейенорт в хорошо известном справочнике по математической логике (1966) перепечатал классическую статью Поста 1921 года, в которой изложены эти результаты.
Находясь в Принстоне, Пост был очень близок к открытию неполноты Principia Mathematica, что Курт Гёдель доказал в 1931 году. Пост сначала не смог опубликовать свои идеи, поскольку считал, что ему нужна «полная»
В 1936 году Пост разработал, независимо от Алана Тьюринга, математическую модель вычислений, которая по сути была эквивалентна Модель машины Тьюринга. Намереваясь, что это первая из серии моделей эквивалентной мощности, но возрастающей сложности, он назвал свою статью Формулировка 1. Эту модель иногда называют «машиной Поста» или машиной Пост-Тьюринга, но ее не следует путать с машинами тегов Поста или другими специальными разновидностями канонической системы Поста, вычислительная модель, использующая перезапись строк и разработанная Постом в 1920-х годах, но впервые опубликованная в 1943 году. Техника перезаписи Поста теперь повсеместно применяется в спецификациях и дизайне языков программирования, и поэтому лямбда-исчисление Черча является заметное влияние классической современной логики на практические вычисления. Пост разработал метод «вспомогательных символов», с помощью которого он мог канонически представить любой постгенеративный язык и даже любую вычислимую функцию или множество вообще.
Системы соответствия были введены Постом в 1946 году, чтобы дать простые примеры неразрешимости. Он показал, что проблема почтовой корреспонденции (PCP) удовлетворения их ограничений, в общем, неразрешима. Было показано, что с двумя парами строк PCP разрешима в 1981 году. Известно, что он неразрешим, когда используются 9 пар (однако Стивен Вольфрам (2002) предположил, что он также неразрешим с помощью всего 3 пар). Неразрешимость его проблемы почтовой корреспонденции оказалась именно тем, что было необходимо для получения результатов неразрешимости в теории формальных языков.
в влиятельном обращении к Американскому математическому обществу в 1944 году он поднял вопрос о существовании невычислимого рекурсивно перечислимого множества, степень Тьюринга которого меньше, чем у проблемы остановки. Этот вопрос, который стал известен как проблема Поста, стимулировал множество исследований. Она была решена утвердительно в 1950-х, введя мощный метод приоритета в теорию рекурсии.
Пост внес фундаментальный и по-прежнему важный вклад в теория полиадических или n-арных групп в длинной статье, опубликованной в 1940 году. Его основная теорема показала, что полиадическая группа - это повторное умножение элементов нормальной подгруппы группы, такое что фактор-группа циклическая порядка n - 1. Он также продемонстрировал, что полиадическая групповая операция на множестве может быть выражена в терминах групповой операции на том же множестве. В статье содержится много других важных результатов.