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

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


Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.).


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Пост Эмиль Леон" в других словарях:

  • Пост, Эмиль Леон — Emil Leon Post Матема …   Википедия

  • Пост Эмиль Леон — Пост, Эмиль Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • ПОСТ ЭМИЛЬ ЛЕОН —     ПОСТ ЭМИЛЬ ЛЕОН (Post Emu Leon) (11 февраля 1897, Августов, Польша 21 апреля 1954, Нью Йорк) американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом… …   Философская энциклопедия

  • Эмиль Леон Пост — Пост, Эмиль Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • Пост, Эмиль — Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • Эмиль Пост — Пост, Эмиль Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • Пост Э. — Пост, Эмиль Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • Пост Э. Л. — Пост, Эмиль Леон Emil Leon Post Математик Дата рождения: 11 февраля 1897 …   Википедия

  • Пост — Пост: В Викисловаре есть статья «пост» Пост (военное дело)  термин в военном деле. Пост должность, служебное положение, место в каком либо учреждении или на предприятии. Путевой пост разновидность раздельного пункта на железнодорожной линии …   Википедия

  • Пост (значения) — Пост  воздержание от принятия пищи по религиозным соображениям. Пост  место несения службы, связанной с охраной чего либо или с наблюдением за чем либо. Пост  отдельно взятое сообщение в форуме или блоге. пост   приставка,… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»