Большой энциклопедический словарь - гедель (godel) курт
Связанные словари
Гедель (godel) курт
гедель (godel) курт
ГЕДЕЛЬ (Godel) Курт (1906-78) логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики. .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1062 | |
2 | 902 | |
3 | 810 | |
4 | 802 | |
5 | 768 | |
6 | 767 | |
7 | 724 | |
8 | 687 | |
9 | 623 | |
10 | 616 | |
11 | 597 | |
12 | 588 | |
13 | 586 | |
14 | 585 | |
15 | 574 | |
16 | 563 | |
17 | 563 | |
18 | 552 | |
19 | 538 | |
20 | 537 |