Большая Советская Энциклопедия.

Большая Советская Энциклопедия (цитаты)

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

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

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

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 20.07.2018 15:46:40


15:37 Московский школьник произвел фурор в британском «Голосе» после провала в России
15:27 Земфира высказалась об акции Pussy Riot на ЧМ, геях и неприязни к Монеточке
15:26 Американский «Геркулес» перевернулся в воздухе
15:20 Украинца привязали к столбу и повесили на него табличку «Я ватник»
15:14 За налет на дом бывшего прокурора задержали садовника
15:11 ВДНХ вернули былое величие
15:11 Американка исправила изуродованный хирургом нос пиявками
14:56 Черчесов назвал лучший матч на чемпионате мира
14:16 Познер посетовал на безобразие из-за снятого из эфира Первого канала интервью