Философская энциклопедия - чёрч
Чёрч
ЧЁРЧ
(Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых функций (т. н. тезис Чёрча). В 1935 привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что проблема разрешения для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математич. логики. Ч. внёс существ. вклад в развитие комбинаторной логики; ему принадлежат исследования в области логич. семантики и модальной логики.
в рус. пер.: Введение в математич. логику, т. 1, М., 1960.
Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
.Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2302 | |
2 | 2256 | |
3 | 1389 | |
4 | 1346 | |
5 | 747 | |
6 | 728 | |
7 | 682 | |
8 | 661 | |
9 | 628 | |
10 | 610 | |
11 | 606 | |
12 | 557 | |
13 | 549 | |
14 | 538 | |
15 | 533 | |
16 | 526 | |
17 | 517 | |
18 | 512 | |
19 | 511 | |
20 | 510 |