џндекс.Њетрика
Что такое Гёдель Курт, кто такой Гёдель Курт, что значит Гёдель Курт, значение слова Гёдель Курт, расшифровка Гёдель Курт, слово, словарь, термин, определение, пример слова, слова Гёдель Курт.

Dicru.infoDicRu.info - Большой энциклопедический словарь - БЭС.

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Гёдель Курт

Гёдель Курт (Gödel) (1906—1978), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) так называемые теоремы о неполноте (теоремы Гёделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
 
Кто такой Гёдель Курт, что такое Гёдель Курт, что значит Гёдель Курт, значение слова Гёдель Курт, расшифровка Гёдель Курт, слово, словарь, слова Гёдель Курт
Рейтинг@Mail.ru