Пост, Эмиль Леон - Биография

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

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

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.

См. также

Машина Поста
Критерий Поста

Ссылки

Article source: http://ru.wikipedia.org/wiki/Пост,_Эмиль_Леон

The article is about these people:

Emil Leon Post

This information is published under GNU Free Document License (GFDL).

You should be logged in, in order to edit this article.

Discussion

Please log in / register, to leave a comment

Retrieved from "http://www.jewage.org/wiki/en/Article:%D0%9F%D0%BE%D1%81%D1%82,_%D0%AD%D0%BC%D0%B8%D0%BB%D1%8C_%D0%9B%D0%B5%D0%BE%D0%BD_-_%D0%91%D0%B8%D0%BE%D0%B3%D1%80%D0%B0%D1%84%D0%B8%D1%8F"