Эмиль Леон Пост родился в ортодоксальной еврейской семье, проживавшей недалеко от Белостока. В 1897 году его отец Арнольд эмигрировал в Соединённые Штаты. Когда у отца наладились дела, семья (семилетний Эмиль, его две сестры и мать) тоже переехала из Царской России в Нью-Йорк. Семья жила в комфортабельном доме в Гарлеме.

В детском возрасте Эмиль увлекался астрономией, однако несчастный случай перечеркнул планы парня - в 12-летнем возрасте он потерял левую руку. Перед окончанием школы Эмиль подал запрос в несколько обсерваторий - не помешает ли его недостаток профессии астронома. Полученные ответы удержали его от реализации детских амбиций, и Эмиль занялся математикой.

В 1921 году Эмиль Пост защитил докторскую диссертацию в области математики в Колумбийском университете. В диссертации он изложил метод оценки пропозициональных формул с помощью таблиц истинности. В ней впервые получен ряд фундаментальных результатов в металогике для классической логики высказываний: непротиворечивость, дедуктивная полнота, развязность, функциональная полнота. В этой работе впервые построена многозначная логика с более чем 3 истинными значениями и с произвольным количеством выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счётное.

1920-1921 учебный год Пост провёл на постдокторских студиях в Принстонском университете. Именно здесь у него случился первый приступ маниакально-депрессивного психоза. Эта болезнь сопровождала Поста в течение всей его жизни. Он достаточно восстановился после этого первого нападения и получил должность преподавателя в Корнеллском университете, однако второе нападение заставило его прекратить преподавание в Университете. В 20-х годах Эмиль Пост зарабатывал на жизнь, преподавая математику в George Washington High School в Нью-Йорке. Со своим врачом Пост разработал режим, который был назначен с целью исключить посторонние возбуждения, которые вели к нападениям психоза. Режим позволял Посту заниматься наукой и исследованиями всего 3 часа в день.

Несмотря на такой режим и большую учебную нагрузку (16 часов в неделю) Пост смог в этот период опубликовать свои влиятельные труды. Его брак с Гертрудой Сингер в 1929 несомненно поспособствовал стабильности его жизни. Жена ассистировала Эмилю, печатая его статьи и письма, а также занималась ежедневными финансами семьи.

В 1932 году Эмиль Пост получил должность на факультете математики Сити Колледжа в Нью-Йорке. Проработав месяц, он оставил должность, однако вернулся в 1935 году и оставался на посту до самой смерти в 1954 году от сердечного приступа во время электрошока.

Эмиль Пост входит в четвёрку великих учёных, которые практически одновременно осознали возможность уточнения общего представления об алгоритме. В 1943 Постом было впервые предложено общее понятие вычисления, которое имеет фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 публикуется, пожалуй, самая влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 впервые в истории математики (независимо от А. Маркова) был приведён пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А. Туэ (проблема равенства для полугрупп). Пост считал - и писал об этом Курту Геделю, - что за 15 лет до революционных гёделевских работ о неполноте, у него уже имелись эти теоремы, хотя и не в такой завершённой форме.

(Post Emil Leon) (11 февраля 1897, Августов, Польша – 21 апреля 1954, Нью-Йорк) – американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом университете и в колледже Нью-Йорка. Профессор колледжа с 1938. В диссертации, опубликованной в 1921, Пост изложил метод оценки пропозициональных формул посредством истинностных таблиц. В ней впервые получен ряд фундаментальных результатов в "металогике" для классической "логики высказываний" : непротиворечивость, дедуктивная полнота, разрешимость, функциональная полнота. В этой работе впервые построена "многозначная логика" более чем с 3 истинностными значениями и с произвольным числом выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счетно. После двадцати лет работы опубликовано полное описание решетки замкнутых классов, каждый класс строится эффективно, и показано, что каждый замкнутый класс имеет конечный базис. Эти классы названы классами Поста. Впервые определен критерий функциональной полноты, применяемый сейчас для произвольного множества функций многозначной логики. Алгебраический эквивалент многозначным логикам Поста получил название «алгебр Поста», которые интенсивно развиваются уже на протяжении полувека. В 1936 независимо от работ Тьюринга, Чёрча и Клини уточнено понятие "алгоритма" в терминах, как бы сегодня сказали, компьютерной программы. Т.о., Пост входит в четверку великих ученых, практически одновременно осознавших возможность уточнения общего представления об алгоритме. В 1943 Постом было впервые предложено общее понятие исчисления, имеющее фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 публикуется, по-видимому, наиболее влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 впервые в истории математики (независимо от "А.А.Маркова" ) был указан пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А Туэ (проблема равенства для полугрупп). Пост считал – и писал об этом "К.Гёделю" , – что за 15 лет до революционных гёделевских работ о неполноте, он уже имел эти теоремы, хотя и не в такой законченной форме.
Сочинения:
Introduction to a general theory of elementary propositions. – «American Journal of Mathematics», 1921, v. 43, № 3 (Переиздано: From Frege to Godel. Cambr. (Mass.), 1967;
Finite combinatory processes – formulation I. – «The Journal of Symbolic Logic», 1936, v. 1 (рус. пер. в кн.: Успенский В.А. Машины Поста. М., 1979);
Two-valued iterative systems. – «Annals of Mathematical Studies», 1941, v. 5;
Formal reductions of the general combinatorial decision problem. – «American Journal of Mathematics», 1943, v. 65;
Recursively enumerable sets of positive integers and their decision problems. – «Bull. Amer. Math. Soc», v. 50, 1944 (Переиздано: The Undecidable, ed. M.Davis. N. Y., 1965);
Recursive unsovability of a problem of Thue. – «The Journal of Symbolic Logic», v. 12, 1947 (Переиздано: The Undecidable... 1965).
Литература:
Клини С.К. Введение в метаматематику. М., 1957;
Мальцев А.И. Итеративные алгебры Поста. Новосибирск, 1976;
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.;
Davis M. Emil Post"s contributions to computer science. – Proceedings Fourth Annual Symposium on Logic in Computer Science. Washington, 1989;
Dwinger Ph. A survey of the theory of Post algebras and their generalizations. – Modern uses of multiple-valued logic. Dordrecht, 1977.
А.С.Карпенко

Пост Эмиль Леон.

›

Эмиль Леон Пост (англ. Post Emil Leon , 11 февраля 1897, Августов, Царство Польское (ныне Польша) - 21 апреля 1954, Нью-Йорк) - американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста , классы Поста функций алгебры логики; предложил абстрактную вычислительную машину - машину Поста.

Биография

Эмиль Леон Пост родился в ортодоксальной еврейской семье, проживавшей недалеко от Белостока. В 1897 году его отец Арнольд эмигрировал в Соединенные Штаты. Когда у отца наладились дела, семья (семилетний Эмиль, его две сестры и мать) тоже переехала с Царской России в Нью-Йорк. Семья жила в комфортабельном доме в Гарлеме.

В детском возрасте Эмиль увлекался астрономией, однако несчастный случай перечеркнул планы парня - в 12-летнем возрасте он потерял левую руку. Перед окончанием школы Эмиль подал запрос в несколько обсерваторий - не помешает ли его недостаток профессии астронома. Полученные ответы удержали его от реализации детских амбиций и Эмиль занялся математикой.

В 1921 году Эмиль Пост защитил докторскую диссертацию в области математики в Колумбийском университете. В диссертации он изложил метод оценки пропозициональных формул с помощью таблиц истинности. В ней впервые получен ряд фундаментальных результатов в металогике для классической логики высказываний: непротиворечивость, дедуктивная полнота, развязность, функциональная полнота. В этой работе впервые построена многозначная логика более чем 3 истинными значениями и с произвольным количеством выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счетное.

1920-1921 учебный год Пост провел на постдокторских студиях в Принстонском университете. Именно здесь у него случился первый приступ маниакально-депрессивного психоза. Эта болезнь сопровождала Поста течение всей его жизни. Он достаточно восстановился после этого первого нападения и получил должность преподавателя в Корнельском университете, однако второе нападение заставил его прекратить преподавание в Университете. В 20-х годах Эмиль Пост зарабатывал на жизнь преподавая математику в George Washington High School в Нью-Йорке. Со своим врачом Пост разработал режим, который был назначен с целью исключить посторонние возбуждения, которые вели к нападениям психоза. Режим позволял Посту заниматься наукой и исследованиями всего 3 часа в день.

Несмотря на такой режим и большое учебную нагрузку (16 часов в неделю) Пост смог в этот период опубликовать свои влиятельные труды. Его брак с Гертрудой Сингер в 1929 несомненно поспособствовал стабильности его жизни. Жена ассистировала Эмилю, печатая его статьи и письма, а также занималась ежедневными финансами семьи.

В 1932 году Эмиль Пост был назначен на факультет математики Сити Колледжа в Нью-Йорке. Проработав месяц, он оставил должность, однако, вернулся в 1935 году, и оставался на посту до самой смерти в 1954 году от сердечного приступа во время электрошока.

Эмиль Пост входит в четверку великих ученых, которые практически одновременно осознали возможность уточнения общего представления об алгоритме. В 1943 Постом было впервые предложено общее понятие вычисления, которое имеет фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 публикуется, пожалуй, самая влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 впервые в истории математики (независимо от А Маркова) был приведен пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А. Туэ (проблема равенства для полугрупп). Пост считал - и писал об этом Курту Геделю, - что за 15 лет до революционных геделевських работ о неполноте, у него уже имелись эти теоремы, хотя и не в такой завершенной форме.

Дальнейшее чтение
  • Davis, Martin (1993). The Undecidable (Ed.), pp. 288–406. Dover. ISBN 0-486-43228-9. Reprints several papers by Post.
  • Davis, Martin (1994). «Emil L. Post: His Life and Work» in Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhäuser: xi-xxviii. A biographical essay.
См. также
  • Машина Поста
  • Критерий Поста

Частично использовались материалы сайта http://ru.wikipedia.org/wiki/

«История вычислительной техники» - Машина Лейбница 1881г. Ручной период автоматизации вычислений. Механический период автоматизации вычислений. Аналитическая машина Бэббиджа. Логарифмическая линейка. Абак. История развития вычислительной техники. В СССР создана РВМ-I. Основные этапы развития вычислительной техники. Разностная машина Бэббиджа 1892г.

«История создания вычислительной техники» - Г.В.Лейбниц. Язык программирования. Большие интегральные схемы. История вычислительной техники. Логарифмическая линейка. Быстродействие. ЭНИАК. Потребность в автоматизации обработки данных. Докомпьютерная эпоха. Француз Блез Паскаль. Джон Преспер Экерт и Джон Уильям Мокли. Изобретение транзистора. Б.Паскаль.

«Создание компьютера» - Кто и где применяет компьютер? Возникновение компьютеров. Что можно делать с помощью компьютера? Современный компьютер. И вот в ХХ веке человек создал замечательную вещь, грандиозное изобретение. Из чего состоит компьютер? Первые компьютеры. 1946 год. Компьютер.

«История создания персональных компьютеров» - Вильгодт Теофилович Однер (1846 - 1905). Вильгельм Шиккард (1592 - 1635). История создания компьютера. Заполни пустые строки таблицы. Готфрид Вильгельм Лейбниц (1646 - 1716). Чарльз Беббидж (1792 - 1871). Развитие вычислительной техники. Суан-пан. Леонардо да Винчи (1452 - 1519). Поколения ЭВМ. Блез Паскаль (1623 - 1662).

«История развития поколений вычислительной техники» - Чертежи. Первая программистка мира. Английский математик. Шаг в развитии. Первые представители компьютеров III поколения. Личность в истории. Американский предприниматель. Персональный компьютер IBM. Компания IBM. Питер Нортон. Китайские счеты. Время выполнения программы. Первая отечественная ЭВМ. Разработки отечественной вычислительной техники.

«Развитие ЭВМ» - Рождение ЭВМ. Первое поколение ЭВМ. Второе поколение ЭВМ. Современные персональные компьютеры. Идеи Бэббиджа стали реально воплощаться в жизнь в конце 19 века. Обычно считается, что период с 1975 г. принадлежит компьютерам четвертого поколения. ЭВМ пятого поколения - это ЭВМ будущего. Четвертое поколение ЭВМ.

(Post Emu Leon) (11 февраля 1897, Августов, Польша - 21 апреля 1954, Нью-Йорк) - американский логик и математик. В 1920 получил степень доктора философии в Колумбийском университете. Читал лекции по математике и логике в этом университете и в колледже НьюЙорка. Профессор колледжа с 1938. В диссертации, опубликованной в 1921, Пост изложил метод оценки пропозициональных формул посредством истинностных таблиц. В ней впервые получен ряд фундаментальных результатов в металогике для классической логики высказываний: непротиворечивость, дедуктивная полнота, разрешимость, функциональная полнота. В этой работе впервые построена многозначная логика более чем с 3 истинностными значениями и с произвольным числом выделенных значений. Здесь же установлено, что множество замкнутых классов в классической логике счетно. После двадцати лет работы опубликовано полное описание решетки замкнутых классов, каждый класс строится эффективно, и показано, что каждый замкнутый класс имеет конечный базис. Эти классы названы классами Поста. Впервые определен критерий функциональной полноты, применяемый сейчас для произвольного множества функций многозначной логики. Алгебраический эквивалент многозначным логикам Поста получил название «алгебр Поста», которые интенсивно развиваются уже на протяжении полувека. В 1936 независимо от работ Тьюринга, Чёрча и Клини уточнено понятие алгоритма в терминах, как бы сегодня сказали, компьютерной программы. Т. о., Пост входит в четверку великих ученых, практически одновременно осознавших возможность уточнения общего представления об алгоритме. В 1943 Постом было впервые предложено общее понятие исчисления, имеющее фундаментальное значение для доказательства неразрешимости ряда проблем математики. В 1944 публикуется, по-видимому, наиболее влиятельная работа Поста, где в первоначальном виде излагается теория степеней неразрешимости, а в 1947 впервые в истории математики (независимо от А А. Маркова) был указан пример «внутриматематической» неразрешимой массовой алгоритмической проблемы, а именно проблемы А. Туэ (проблема равенства для полугрупп). Пост считал - и писал об этом К. Геделю, - что за 15 лет до революционных гёделевских работ о неполноте, он уже имел эти теоремы, хотя и не в такой законченной форме.

Соч.: Introduction to a general theory of elementary propositions.- «American Journal of Mathematics», 1921, v. 43, № 3 (Переиздано: From Frege to Godel. Cambr. (Mass.), 1967; Finite combinatory processes - formulation I.- «The Journal of Symbolic Logic», 1936, v. (рус. пер. в кн.: Успенский В. А. Машины Поста. М., 1979); Two-valued iterative systems.- «Annals of Mathematical Studies», 1941, v. 5; Formal reductions of the general combinatorial decision problem.- «American Journal of Mathematics», 1943, v. 65; Recursively enumerable sets of positive integers and their decision problems.- «Bull. Amer. Math. Soe», v. 50, 1944 (Переиздано: The Undecidable, ed. M. Davis. N. Y, 1965); Recursive unsovability of a problem ofThue.- «The Journal of Symbolic Logic», v. 12, 1947 (Переиздано: The Undecidable... 1965)

Лит.: Кдини С. К. Введение в метаматематику. М., 1957; Мальцев А. И. .Итеративные алгебры Поста. Новосибирск, 1976; Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и классы Поста. M.; Davis M. Emil Posts conlributions to computer science.- Proceedings Fourth Annual Symposium on Logic in Computer Science. Wishington, 1989; Dwinger Ph. A survey of the theory of Post algebras and their generalizations.- Modern uses of multiple-valued logic. Dordrecht, 1977.

А. С. Карпенко

Другие новости по теме.