ВикиЧтение

ВикиЧтение

Большая Советская Энциклопедия (ПО)
БСЭ

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

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

Пост (Post) Эмиль Леон (11.2.1897, Августов, Польша, — 21.4,1954, Нью-Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью-Иоркском и др. университетах США. Им получен ряд фундаментальных результатов в математической логике ; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем (исчислений ); доказательства функциональной полноты и дедуктивной полноты (в широком и узком смысле) исчисления высказываний; изучение систем многозначной логики с более чем 3 значениями истинности; одно из первых (независимое от А. М. Тьюринга ) определении понятия алгоритма в терминах «абстрактной вычислительной машины» и формулировка основного тезиса теории алгоритмов о возможности описать любой конкретный алгоритм посредством этого определения; результаты о выразимости общерекурсивных функций и предикатов через примитивно рекурсивные, в частности т. н. теорема о нормальной форме; первые (одновременно с А. А. Марковым ) доказательства алгоритмической неразрешимости ряда проблем математической логики и алгебры и др.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.).

Читайте также

Великий пост

Великий пост Наутро после страшной попойки в Пасху поп подходит к холодильнику, вытаскивает бутылочку пива, выпивает ее одним глотком и умиротворенно говорит: — Пиво — это верное доказательство того, что Бог есть, что он нас любит и хочет, чтобы мы были счастливы… Из

Великий пост

Великий пост Наутро после страшной попойки в Пасху поп подходит к холодильнику, вытаскивает бутылочку пива, выпивает ее одним глотком и умиротворенно говорит: — Пиво — это верное доказательство того, что Бог есть, что он нас любит и хочет, чтобы мы были счастливы… Из

Великий пост

Великий пост Наутро после страшной попойки в Пасху поп подходит к холодильнику, вытаскивает бутылочку пива, выпивает ее одним глотком и умиротворенно говорит: — Пиво — это верное доказательство того, что Бог есть, что он нас любит и хочет, чтобы мы были счастливы… Из

ПОСТ-В

ПОСТ-В Группа образовалась в августе 1996 г. в Москве. Основу группы составили два безымянных коллектива, решивших «замутить» совместный проект и выбравших в качестве музыкального стиля хард-стеб-рок. Пока что музыканты в своем арсенале имеют демо запись из трех

Пост (воен.)

Пост (воен.) Пост (франц. poste, от лат. positus — поставленный) (военный), 1) военный объект, охраняемый и обороняемый часовым, а также место или участок местности, на котором часовой выполняет свои обязанности. В Советских Вооруженных Силах объекты, порядок организации и несения

«Нью-Йорк пост»

«Нью-Йорк пост» «Нью-Йорк пост» («The New York Post» — «Нью-Йоркская почта»), ежедневная вечерняя газета в США. Основана в 1801. Издаётся в Нью-Йорке. Отражает интересы влиятельных монополистических кругов США. Тираж (1974) свыше 708 тыс. экземпляров.

ПОСТ

ПОСТ «Мы назвались так потому, что занялись музыкой, когда, как нам казалось, все главное в ней уже было сказано, поэтому на нашу долю досталось только сочинить постскриптум», – объяснял историю названия легендарной питерской группы ПОСТ один из ее основателей,

Пост

Пост Пост — это когда мы воздерживаемся от всяких невоздержанностей. «Радио России» Поститься — значит воздерживаться от всякого вообще зла, будет ли оно состоять в деле, в слове или даже в мысли. Климент Александрийский (? — до 215), христианский богослов Когда