Эмиль Пост родился на территории Российской империи в 1897 году городе Августов, который сейчас находится в Польше.
С юных лет Пост увлекался математикой и уже в 23 года становится доктором в Колумбийском университете. Его считают одним из отцов многозначной логики, а самым известным его изобретением, прославившим ученого, стала абстрактная вычислительная машина, получившая его имя. Вычислительная машина Поста была создана в один год с машиной Тьюринга, но чуть позже. Она также предназначалась для уточнения понятия алгоритма и алгоритмической разрешимости.
Пост считается одним из четырех столпов теории алгоритма и стоял у истоков современной вычислительной техники.
Кто такой Эмиль Пост и чем известен?
Эмиль Леон Пост — российский верноподданный, родившийся в конце 19 века на территории современной Польши, тогда входившей в состав Российской империи. За свои 57 лет (1897-1954) он прославился открытиями в области математики и логики. Его работы прежде всего посвящены изучению закономерностей в сформировавшейся уже позднее теории исчисляемости.
Поскольку Эмиль был из польских евреев, его родители покинули родную гавань и уплыли за океан. В мае 1904 года они обосновались в США. Самым первым его увлечением была астрономия.
Однако из-за трагедии в автомобильной катастрофе, которая стоила Эмилю левой руки, юный гений стал больше погружаться в математику. Уже в 1920 году он защитил докторскую по математике в Колумбийском университете, а позднее пост-докторскую в Принстонском. С 1936 года работал на факультете математики Нью-Йоркского Городского университета. В браке с Гертрудой Сингер родилась дочь.
В своем научном труде «Principia Mathematica» он ввел метод таблиц истинности, основанный на двух значениях «истина» и «ложь». Затем обобщил его до метода, который имел произвольное конечное число значений истинности.
Его работы в области математики предвосхитили будущие алгоритмические принципы работы компьютеров. Эмиль даже теоретически разработал работу вычислительной машины, которую назвали в его честь. Результатом научной деятельности также стало создание алгебры Поста и алгеброических классов Поста. Стоял в основе создания алгебры логики.
Прославился Эмиль Пост своими открытиями в области математики. Он основал многозначную математическую логиику. Именем изобретателя названа алгебра Поста, абстрактная вычислительная машина Поста. Также он уточнил понятие алгоритма.