Современный толковый словарь - гедель (godel) курт (1906-78)
Гедель (godel) курт (1906-78)
гедель (godel) курт (1906-78) логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики. .
Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1126 | |
2 | 822 | |
3 | 818 | |
4 | 810 | |
5 | 795 | |
6 | 762 | |
7 | 758 | |
8 | 663 | |
9 | 635 | |
10 | 610 | |
11 | 583 | |
12 | 572 | |
13 | 571 | |
14 | 567 | |
15 | 566 | |
16 | 549 | |
17 | 539 | |
18 | 535 | |
19 | 535 | |
20 | 531 |