Эмиль Пост (1897-1954)

Информатика и ИКТ 10-11 класс Семакин, Информатика 10-11 класс Семакин, Эмиль Пост

В детстве Эмиль Леон Пост очень хотел стать астрономом.
Он родился в польском местечке Августов. На рубеже веков его родители эмигрировали за океан и обосновались в Нью-Йорке. В школе Эмиля постигло несчастье: он лишился левой руки. Можно ли с таким дефектом заниматься астрономией? Сотрудник Главной обсерватории США ответил на запрос юноши, что работа с астрономическим оборудованием требует использования обеих рук.
С мечтой пришлось расстаться. Теперь Поста все более влекла математика. Получив образование в Нью-Йоркском городском колледже, он в 1917 г. удостаивается степени бакалавра. Магистром он стал в 1918 г., а докторскую диссертацию защитил в 1920 г.
В ту пору он сотрудничал в Колумбийском университете и внимательно изучал трехтомник «Принципы математики». Его опубликовали в 1910-1913 гг. англичане А. Уайтхед и Б. Рассел. Авторы замахивались на многое: они пытались представить весь набор понятий, аксиом и теорем математики как подмножества соответствующих множеств на языке логики. Нетривиальность и грандиозность задачи импонировали Посту. Практическим выходом его раздумий был вклад в начала современной теории доказательств, который нашел отражение в диссертации. В ней Пост предложил также новую идею построения логических систем.
В 1920-1921 гг. Пост пребывал в Принстонском университете. Здесь он вплотную подошел к формулировке теоремы о фундаментальной неполноте любой формальной логики. Эта жемчужина математической логики стала достижением немца Курта Гёделя лишь в 1931 г.
В первом номере американского Журнала символической логики за 1936 г. Пост напечатал статью, в которой давал оригинальную интерпретацию понятия «алгоритм». Предложенная им абстрактная конструкция позднее получила название машины Поста. Ученый показал, что любой конечный вычислительный процесс можно свести к манипулированию конечным последовательным набором из нулей и единиц. Одновременно к подобному выводу пришел и А. Тьюринг.
Идеи, заключенные в абстрактной машине Поста, предвосхитили изложение принципов построения компьютеров.