О проекте | Помощь    
   
 
   Энциклопедия Компьютеры Финансы Психология Право Философия   
Культура Медицина Педагогика Физика Спорт Спорт
 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
 
Га Гб Гв Гг Гд Ге Гж Гз Ги Гй Гк Гл Гм Гн Го Гп Гр Гс Гт Гу Гф Гх Гц Гч Гш Гщ Гъ Гы Гь Гэ Гю Гя
 

ГЕДЕЛЬ

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