Навигация:
Тексты песен
Аккорды к песням
Рецепты
Наш словарик
Статьи
Популярное
|
|
Значение слов и биографии известных людей Список словА  Б  В  Г  Д  Е  Ж  З  И  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я
Значение слов и биографии известных людей : ГЕДЕЛЬ (Godel) Курт (1906-78) ГЕДЕЛЬ (Godel) Курт (1906-78) логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
Узнайте про: АДЗИСИКИ-ТАКА БОЛЬШОЕ НЕВОЛЬНИЧЬЕ ОЗЕРО (Great Slaver Lake) ГАМАРНИК Ян Борисович (1894-1937) АСУРЫ АВСТРО-ИТАЛО-ФРАНЦУЗСКАЯ ВОЙНА 1859 Наш словарик |
|
|