ПОСТ
(Post) Эмиль Леон (11.2.1897,
Августов, Польша,- 21.4.1954, Нью-Йорк), американский математик и логик.
Читал лекции по математике и логике в Колумбийском, Нью-Йоркском и др.
ун-тах США. Им получен ряд фундаментальных результатов в математической
логике,
одно
из наиболее употребительных определений понятий непротиворечивости
и
полноты формальных систем (исчислений), доказательства функциональной
полноты
и
дедуктивной полноты (в широком и узком смысле) исчисления высказываний;
изучение систем многозначной логики с более чем 3 значениями истинности;
одно из первых (независимое от А. М. Тьюринга)
определений понятия
алгоритма
в терминах "абстрактной вычислительной машины" и формулировка основного
тезиса теории алгоритмов о возможности описать любой конкретный алгоритм
посредством этого определения; результаты о выразимости общерекурсивных
функций и предикатов через примитивно рекурсивные, в частности т. н. теорема
о нормальной форме; первые (одновременно с А. А. Марковым) доказательства
алгоритмической неразрешимости ряда проблем математич. логики и алгебры
и др.
Лит.: Клини С. К., Введение в метаматематику,
пер. с англ., М., 1957 (имеется лит.).
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я