Чёрч Алонзо это:

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


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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Чёрч Алонзо" в других словарях:

  • Чёрч Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

  • Чёрч, Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон …   Википедия

  • Чёрч — (англ. Church [tʃɜː(ɹ)tʃ], букв. «церковь»)  английская фамилия. Известные носители: Чёрч, Алонзо (1903 1995)  американский математик и логик. Чёрч, Ричард (1784 1873)  английский офицер, участник войны за независимость… …   Википедия

  • ЧЁРЧ —         (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… …   Философская энциклопедия

  • Чёрч А. — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

  • Чёрч — (Church)         Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947 1967). С 1967 профессор математики и философии Калифорнийского университета (Лос Анджелес). Работы Ч. относятся к… …   Большая советская энциклопедия

  • Алонзо Чёрч — …   Википедия

  • Черч, Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

  • Черч Алонзо — Алонзо Чёрч (англ. Alonzo Church; 14 июня 1903, Вашингтон, США 11 августа 1995, Хадсон, Огайо, США) американский математик и логик, внесший вклад в основы информатики. Получил степень бакалавра в Принстонском университете в 1924 году, и… …   Википедия

  • Список логиков —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»