Энциклопедический словарь
"Гедель"

Главная - Энциклопедический словарь - буква Г - Гедель

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Гедель

будет выглядеть так: Что такое Гедель

Энциклопедический словарь"Гедель"

Энциклопедический словарь
"Гедель"