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