Чем прославился Эмиль Пост, выдающиеся американский логик и математик, Вы узнаете из этой статьи.
Чем прославился Эмиль Пост?
Он является основателем многозначной логики. Его основные работы посвящены математической логике. Имя ученого носит алгебра Поста, абстрактная вычислительная машина Поста и классы функций алгебры Поста. В ХХ столетие господствовали работы таких известных математиков и аналитиков как Клини, Тьюринга, Черча. Но американский логик, независимо от них, впервые уточнил понятие алгоритма в компьютерной программе, как бы сказали современные ученые.
Он вошел в пятерку ученых, которые осознали важность уточнения представления об алгоритмах.
В своей диссертации на научную должность, которая была опубликована в 1921 год, он изложил свой метод оценивания пропозициональных формул при помощи истинностных таблиц. В ходе исследований им впервые были получены фундаментальные результаты по металогике для высказываний в классической логике — дедуктивная полнота, непротиворечивость, функциональная полнота и разрешимость.
Двадцать лет упорного труда завершились описанием решетки замкнутых классов, где каждый класс имел полное описание, эффективное строение, а также конечный базис. Позже они будут названы именем математика. Им впервые было определено критерии функциональной полноты, которые сегодня применяются в многозначной логике для определения произвольного множества функций.
В 1943 году Пост предложил ввести в науку понятие общего исчисления. Оно имело громадное значение для доведения неразрешимости ряда проблем математики. А в 1944 году публикуется его основная работа под названием «Recursively enumerable sets of positive integers and their decision problems», в которой он изложил в первоначальном варианте теорию степеней неразрешимости.
Эмиль Пост в 1947 году впервые за всю историю математики указал, как решить «внутриматематическую» неразрешимую массовую алгоритмическую проблему – проблему равенства полугрупп.
Надеемся, что из этой статьи Вы узнали, чем прославился Эмиль Пост.
