Еміль Пост
З Вікіпедії, безкоштовно encyclopedia
Еміль Леон Пост (пол. Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста. Найбільш відомий своїми досягненнями у теорії рекурсії.
Коротка інформація Еміль Леон Пост, пол. Emil Leon Post ...
Еміль Леон Пост | |
---|---|
пол. Emil Leon Post | |
Ім'я при народженні | пол. Emil Leon Post |
Народився |
11 лютого 1897(1897-02-11)[1][2][…] Августув, тодішня Російська імперія, сьогодні Польща |
Помер |
21 квітня 1954(1954-04-21)[1][2][…] (57 років) Нью-Йорк, США |
Поховання | Маунт-Геброн[3][4] |
Громадянство | США |
Діяльність | математик, філософ, логік, викладач університету |
Галузь | математика |
Alma mater | Колумбійський університет |
Науковий керівник | Cassius Jackson Keyserd[5] |
Знання мов | англійська[6] |
Заклад | Сіті Коледж[2], Принстонський університет[2], Колумбійський університет[2], Корнелльський університет[2] і George Washington Educational Campusd[2][7] |
Magnum opus | Проблема збіжності Поста, Post's inversion formulad, Решітка Поста, Критерій Поста[d] і Числення Поста |
Закрити
У Вікіпедії є статті про інших людей із прізвищем Пост.