Чёрч, Алонзо

1903-1995

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

ФОРУМ ХРОНОСА

НОВОСТИ ХРОНОСА

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Алонзо Чёрч

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

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

Чёрч, Алонзо (1903-1995) — американский логик, философ, математик, профессор Принстонского университета (с 1947). Работы Чёрча относятся к различным областям логики.

Чёрч (Church) Алонзо (14 июня 1903, Вашингтон — 1995) — американский логик, математик, профессор Принстонского (1929—1967) и Калифорнийского (с 1967) университетов. Внес значительный вклад в математическую логику, теорию алгоритмов, компьютерную математику. Развивал так называемый функциональный подход в основаниях математики, инициированный М. И. Шейнфинкелем. На основе введенного им оператора функциональной абстракции X (ламбда-оператор) Чёрч построил исчисления Х-конверсии и ввел понятие Х-определимости: функция X определима, если она может быть представлена как объект некоторого Х-исчисления; следовательно, эффективно вычислима. Таким образом, понятие Х-определимости уточняет интуитивное понятие алгоритма. Чёрч привел первый пример (1935, опубликован в 1936) неразрешимого перечислимого множества. Доказал (1936) неразрешимость проблемы разрешения для узкого исчисления предикатов. Выдвинул (1936) так называемый тезис Чёрча: всякая эффективно вычислимая функция является общекурсивной. Чёрч известен также исследованиями в области логической семантики и модальной логики. Ему принадлежит известная «Библиография математической логики» от ее истоков до 1935 включительно. Чёрч — один из основателей журнала «Journal of Symbolic Logic» (1936) и его редактор до 1979.

3. А. Кузичева, А. С. Кузичев

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. IV, с. 352.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

A Set of Postulates for the Foundation of Logic.— «Annal Mathe- mathic», 1932, ser. 2, v. 33, N 2; 1933, ser. 2, v. 34, N 4;

An Insolvable Problem of Elementary Number Theory.— «American Journal Mathemathic», 1936, v. 58, N 2;

The Calcul of Lambdacjnversion. Princeton, 1951;

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

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС