Эмиль Леон Пост (feb 11, 1897 – apr 21, 1954)

Description:

Американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.
В 1921 году Эмиль Пост защитил докторскую диссертацию в области математики в Колумбийском университете. В диссертации он изложил метод оценки пропозициональных формул с помощью таблиц истинности. В ней впервые получен ряд фундаментальных результатов в металогике для классической логики высказываний: непротиворечивость, дедуктивная полнота, развязность, функциональная полнота. В этой работе впервые построена многозначная логика с более чем 3 истинными значениями и с произвольным количеством выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счётное.
В 1943 Постом было впервые предложено общее понятие вычисления, которое имеет фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 публикуется, пожалуй, самая влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 впервые в истории математики (независимо от А. Маркова) был приведён пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А. Туэ (проблема равенства для полугрупп).

Added to timeline:

Date: