Словарь кроссвордиста - черч
Черч
черч
1. Американский математик и логик, внесший вклад в основы информатики, прославившийся разработкой теории лямбда-исчислений, последовавшей за его знаменитой статьёй 1936 года, в которой он показал существование «неразрешимых задач». .
Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3884 | |
2 | 2892 | |
3 | 2300 | |
4 | 2272 | |
5 | 2123 | |
6 | 2050 | |
7 | 2043 | |
8 | 2004 | |
9 | 1927 | |
10 | 1760 | |
11 | 1723 | |
12 | 1626 | |
13 | 1558 | |
14 | 1497 | |
15 | 1476 | |
16 | 1432 | |
17 | 1429 | |
18 | 1423 | |
19 | 1387 | |
20 | 1328 |