американский математик. По национальности поляк. Работал в США. Основные труды относятся к математической логике и основаниям математики. В 1947 г. он и А. А. Марков независимо друг от друга доказали неразрешимость проблемы тождества слов для полугрупп. Независимо от Я. Лукасевича он анализирует m-значную логику. В основаниях математики им была поставлена проблема: можно ли все степени неразрешимости линейно упорядочить посредством отношения «рекурсивно относительно». Эта проблема Поста была решена отрицательно почти одновременно Р. Фридбергом и А. А. Мучником. Известны нормальная система Поста, Поста исчисление, Поста классы, алгебры Поста, машина Поста и др.
Досье личности
ПОСТ Эмиль Леон
Имя латиницей: Post Emil Leon
Пол: мужской
Дата рождения: 11.02.1897
Место рождения: Польша
Дата смерти: 21.04.1954 Возраст (57)
Знак зодиака: Водолей
По восточному: Петух
География: ЕВРОПА, ПОЛЬША, СЕВЕРНАЯ АМЕРИКА, США.
Ключевые слова: знание, логик, математик, наука.
Anno: 1947
Эмиль Леон ПОСТ
- А. И. Бородин. Биографический словарь деятелей в области математики. - Киев, Радянська школа, 1979
- http://ru.wikipedia.org