(Godel) Курт (1906-78) - логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
|
| Издательство «Спец-Адрес» представляет | - Энциклопедия «Лучшие люди России»:
- «Персона»
- «Надежные бизнес - партнеры»
- «Российская федерация»
- «Родины славные сыны»
- «Мировые открытия, Научные разработки, Внедрения»
- «Лидеры Российской экономики»
- «Цвет российской культуры»
- «Медицина и здравоохранение»
- «Образование»
- Справочник «Юристы Москвы»
- Справочник «Лучшие строительные фирмы Москвы»
- Справочник «Ваше здоровье»
|
|