Энциклопедия
энциклопедия
 
На главную Написать письмо
АБВГДЕЖЗИЙКЛМНОПРСТУФХЦЧШЩЫЭЮЯ
НОВОСТИ

Гедель

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



ГейгельГейгельский Заповедник
ГейгерГейгеровский Счетчик
ГейдельбергГейдельбергские Романтики
Гейдельбергский Университет им . Карла РупрехтаГейдельбергский Человек
Гейден Петр АлександровичГейденгайн
ГейдрихГейер
ГейерГейзе П .
ГейзенбергГейзер
ГейзерихГейлинкс
Гей-люссакГей-люссака Законы


РЕКЛАМА