Пост, Эмиль Леон (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.
См. также
- Машина Поста
- Критерий Поста
Ссылки
Эта информация опубликована в соответствии с GNU Free Documentation License (лицензия свободной документации GNU).
Вы должны зайти на сайт под своим именем для того, чтобы иметь возможность редактировать эту статью
Пост, Эмиль Леон
Обсуждения
Пожалуйста войдите / зарегистрируйтесь, чтобы оставить комментарий