Ассоциации к слову «Гедель»

Современный толковый словарь

ГЕДЕЛЬ (Godel) Курт (1906-78), логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.

Мудрые слова

Где только мысль ясна, там ясно изложенье, Там нужные слова придут без затрудненья.
Никола Буало-Депрео