Пост Еміль Леон
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Пост Еміль Леон

Пост (Post) Еміль Леон (11.2.1897, Серпня, Польща, — 21.4,1954, Нью-Йорк), американський математик і логік. Читав лекції з математики і логіки в Колумбійському, Нью-Іоркськом і ін. університетах США. Їм отриманий ряд фундаментальних результатів в математичній логіці ; одне з найбільш споживаних визначень понять несуперечності і повнота формальних систем ( числень ) ; докази функціональною повнота і дедуктивної повноти (у широкому і вузькому сенсі) числення висловів; вивчення систем багатозначної логіки з більш ніж 3 значеннями істинності; одне з перших (незалежне від А. М. Т'юринга ) визначенні поняття алгоритму в термінах «абстрактної обчислювальної машини» і формулювання основної тези теорії алгоритмів про можливість описати будь-який конкретний алгоритм за допомогою цього визначення; результати про виразиму загальнорекурсивних функцій і предикатів через примітивно рекурсивні, зокрема т.з. теорема про нормальній формі; перші (одночасно з А. А. Марковом ) докази алгоритмічної нерозв'зності ряду проблем математичної логіки і алгебри і ін.

  Літ.: Кліні С. До., Введення в метаматематику, пер.(переведення) з англ.(англійський), М., 1957 (є літ.(літературний)).