Головна
Українська Радянська Енциклопедія
Енциклопедичний словник-довідник з туризму
Юридична енциклопедія - Шемшученко Ю.С.
 
Головна arrow Українська Радянська Енциклопедія arrow порт-поу arrow ПОСТ
   

ПОСТ

(Post) Еміль Леон (11.ІІ 1897, Августов, Польща—21.IV 1954, Нью-Йорк) — амер. математик і логік. Читав лекції в Колумбійському, Нью-Йоркському та ін. університетах США. Основні праці П. стосуються математичної логіки й основ математики. Займався питаннями несуперечливості й функціональної повноти алгебри логіки; вивчав системи багатозначної логіки; дав (незалежно від А. М. Тьюрінга) одне з перших визначень поняття алгоритму в термінах "абстрактної обчислювальної машини" (осн. об'єкт алгоритмів теорії) і в термінах спец. числень (т. з. числень Поста); запровадив поняття степенів нерозв'язності алгоритмічних проблем; одночасно й незалежно від рад. математика А. А. Маркова (молодшого, 1903—79) довів нерозв'язність ряду проблем матем. логіки й алгебри тощо.

 

Схожі за змістом слова та фрази