Math.ru История математики

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

(11.02.1897 - 21.04.1954)

Пост Эмиль Леон (Post Emil Leon), род. 11.2.1897, Августов, ныне Польша ? ум. 21.4.1954, Нью-Йорк.

Американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью-Йоркском и других университетах США. Им получен ряд фундаментальных результатов в математической логике; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем (исчислений); доказательства функциональной полноты и дедуктивной полноты (в широком и узком смысле) исчисления высказываний; изучение систем многозначной логики с более чем 3 значениями истинности; одно из первых (независимое от А. М. Тьюринга) определении понятия алгоритма в терминах "абстрактной вычислительной машины" и формулировка основного тезиса теории алгоритмов о возможности описать любой конкретный алгоритм посредством этого определения; результаты о выразимости общерекурсивных функций и предикатов через примитивно рекурсивные, в частности т. н. теорема о нормальной форме; первые (одновременно с А. А. Марковым) доказательства алгоритмической неразрешимости ряда проблем математической логики и алгебры и др.

Источник: БСЭ