ЧЁРЧЧЕРЧЕН

ЧЁРЧ Алонзо

Найдено 3 определения термина ЧЁРЧ Алонзо

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [современное]

ЧЁРЧ (Church) Алонзо

род. 14 июня 1903, Вашингтон) - амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Черча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Черча "Введение в математическую логику", т. 1, 1960.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

ЧЁРЧ Алонзо

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

ЧЁРЧ Алонзо

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

Соч.: A Set of Postulates for the Foundation of Logic.— «Annal Mathemathic», 1932, sei. 2, v. 33, N 2; 1933, sei. 2, v. 34, N 4; An Insolvable Problem of Elementary Number Theory.— «American Journal Mathemathic», 1936, v. 58, N 2; The Calcul of Lambda-cjnversion. Princeton, 1951; Введение в математическую логику, т. 1. М-, I960.

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Новая философская энциклопедия

Найдено схем по теме ЧЁРЧ Алонзо — 0

Найдено научныех статей по теме ЧЁРЧ Алонзо — 0

Найдено книг по теме ЧЁРЧ Алонзо — 0

Найдено презентаций по теме ЧЁРЧ Алонзо — 0

Найдено рефератов по теме ЧЁРЧ Алонзо — 0