Пост Еміль

Матеріал з Вікіпедії — вільної енциклопедії.

Еміль Пост (пол. Emil Leon Post) (11 лютого 1897 — 21 квітня 1954) — польсько-американський математик та логік. Вніс суттєвий вклад у формування теорії обчислюваності.

[ред.] Досягнення

Паралельно з А. Тьюрінгом ввів (і вперше — у 1936 році — опублікував) уточнення поняття алгоритму у вигляді абстрактної обчислювальної машини. Нині такі абстракції-"машини" дещо несправедливо називаються машинами Тьюрінга, рідше машинами Тьюрінга-Поста або машинами Поста-Тьюрінга.
Є родоначальником алгебри логіки. Повністю дослідив пропозиційну логіку, розглядувану як система (алгебра) пропозиційних функцій, зокрема описав всі її підалгебри.
Ввів гранично загальне поняття канонічного числення, яке узагальнює поняття логічного числення на випадок систем, в яких відбуваються будь-які дискретні процеси. Теорія канонічних числень є одночасно узагальненням і логічного синтаксису, і теорії алгоритмів, оскільки алгоритми також є частинним випадком канонічних числень (інший варіант цієї ж теорії запропонував Р. М. Смалліан, ввівши в якості первинного поняття формальної системи).