Философский словарь - чёрч (сhurch) алонзо
Чёрч (сhurch) алонзо
чёрч (сhurch) алонзо
(род. 14 июня 1903, Вашингтон) – амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Чёрча «Введение в математическую логику», т. 1, 1960. .Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 848 | |
2 | 754 | |
3 | 734 | |
4 | 654 | |
5 | 581 | |
6 | 533 | |
7 | 525 | |
8 | 506 | |
9 | 502 | |
10 | 493 | |
11 | 473 | |
12 | 460 | |
13 | 447 | |
14 | 443 | |
15 | 442 | |
16 | 437 | |
17 | 421 | |
18 | 418 | |
19 | 417 | |
20 | 415 |