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

Пост, Эмиль Леон
Emil Leon Post
Дата рождения: 11 февраля 1897
Место рождения: Августов, Польша
Дата смерти: 21 апреля 1954
Место смерти: Нью-Йорк, США

Пост, Эмиль Леон (англ. Post Emil Leon, 11 февраля 1897, Августов (Польша) — 21 апреля 1954, Нью-Йорк) — американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.


Содержание

Важные публикации

  • E. L. Post, «Finite Combinatory Processes — Formulation 1», Journal of Symbolic Logic, 1, 103—105, 1936.
  • E. L. Post, «Formal Reductions of the General Combinatorial Decision Problem», American Journal of Mathematics, 65, 197—215, 1943.
  • E. L. Post, «Recursively enumerable sets of positive integers and their decision problems», Bulletin of the American Mathematical Society, 50, 284—316, 1944. In this article Post introduced the important concept of many-one reduction.

Дальнейшее чтение

  • Davis, Martin (1993). The Undecidable (Ed.), pp. 288—406. Dover. ISBN 0-486-43228-9. Reprints several papers by Post.
  • Davis, Martin (1994). «Emil L. Post: His Life and Work» in Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post. Birkhäuser: xi--xxviii. A biographical essay.

См. также

Ссылки

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home