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

1897-1954

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

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

Пост Эмиль Леон (Post Emil Leon) (11 февраля 1897, Августов, Польша – 21 апреля 1954, Нью-Йорк) – американский логик и математик. В 1920 году получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом университете и в колледже Нью-Йорка. Профессор колледжа с 1938 года. В диссертации, опубликованной в 1921 году, Пост изложил метод оценки пропозициональных формул посредством истинностных таблиц. В ней впервые получен ряд фундаментальных результатов в металогике для классической логики высказываний: непротиворечивость, дедуктивная полнота, разрешимость, функциональная полнота. В этой работе впервые построена многозначная логика более чем с 3 истинностными значениями и с произвольным числом выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счетно. После двадцати лет работы опубликовано полное описание решетки замкнутых классов, каждый класс строится эффективно, и показано, что каждый замкнутый класс имеет конечный базис. Эти классы названы классами Поста. Впервые определен критерий функциональной полноты, применяемый сейчас для произвольного множества функций многозначной логики. Алгебраический эквивалент многозначным логикам Поста получил название «алгебр Поста», которые интенсивно развиваются уже на протяжении полувека. В 1936 году независимо от работ Тьюринга, Чёрча и Клини уточнено понятие алгоритма в терминах, как бы сегодня сказали, компьютерной программы. Таким образом, Пост входит в четверку великих ученых, практически одновременно осознавших возможность уточнения общего представления об алгоритме. В 1943 году Постом было впервые предложено общее понятие исчисления, имеющее фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 году публикуется, по-видимому, наиболее влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 году впервые в истории математики (независимо от А.А. Маркова) был указан пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А Туэ (проблема равенства для полугрупп). Пост считал – и писал об этом К. Гёделю, – что за 15 лет до революционных гёделевских работ о неполноте, он уже имел эти теоремы, хотя и не в такой законченной форме.

А.С. Карпенко

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. III, Н – С, с. 292-293.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Исторические лица США (биографический указатель).

Сочинения:

Introduction to a general theory of elementary propositions. – «American Journal of Mathematics», 1921, v. 43, № 3 (Переиздано: From Frege to Godel. Cambr. (Mass.), 1967;

Finite combinatory processes – formulation I. – «The Journal of Symbolic Logic», 1936, v. 1 (рус. пер. в кн.: Успенский В.А. Машины Поста. М., 1979);

Two-valued iterative systems. – «Annals of Mathematical Studies», 1941, v. 5;

Formal reductions of the general combinatorial decision problem. – «American Journal of Mathematics», 1943, v. 65;

Recursively enumerable sets of positive integers and their decision problems. – «Bull. Amer. Math. Soc», v. 50, 1944 (Переиздано: The Undecidable, ed. M.Davis. N. Y., 1965);

Recursive unsovability of a problem of Thue. – «The Journal of Symbolic Logic», v. 12, 1947 (Переиздано: The Undecidable... 1965).

Литература:

Клини С.К. Введение в метаматематику. М., 1957;

Мальцев А.И. Итеративные алгебры Поста. Новосибирск, 1976;

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.;

Davis M. Emil Post's contributions to computer science. – Proceedings Fourth Annual Symposium on Logic in Computer Science. Washington, 1989;

Dwinger Ph. A survey of the theory of Post algebras and their generalizations. – Modern uses of multiple-valued logic. Dordrecht, 1977.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС