БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


Чёрч Алонзо

Значение слова "Чёрч Алонзо" в Большой Советской Энциклопедии


Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии
href="http://Cf-Californium.info/" title="Californium">Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.

 

  Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.

 

В Большой Советской Энциклопедии рядом со словом "Чёрч Алонзо"

Черути Джакомо | Буква "Ч" | В начало | Буквосочетание "ЧЁ" | Черче


Статья про слово "Чёрч Алонзо" в Большой Советской Энциклопедии была прочитана 1321 раз


Интересное