Гедель (Godel) Курт (1906-78)

64

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

Значения в других словарях
Геда В

См. Хеда В.. ..

Гедда (Gedda) (Наст . Фам. Устинов) Николай (Р. 1925)

Шведский певец (лирический тенор). По происхождению русский. Выступает во многих оперных театрах мира, в т. Ч. В "Метрополитен-опера" (Нью-Йорк), с 60-х гг. - также на концертных эстрадах.. ..

Геденбергит

Минерал группы пироксенов, CaFe[Si2O6]. Крайний член изоморфного ряда геденбергитов - диопсид. Промежуточные члены называются салиты. Примеси Mn, Fe3+. Зеленые до черных лучистые агрегаты. Твердость 6. Плотность 3,5-3,6 г/см3. По происхождению контактово-метасоматический, гидротермальный.. ..

Геденштром Матвей Матвеевич (Ок . 1780-1845)

Российский исследователь севера Сибири. В 1808-10 руководил экспедициями по съемке и исследованию Новосибирских о-вов.. ..

Дополнительный поиск Гедель (Godel) Курт (1906-78) Гедель (Godel) Курт (1906-78)

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Гедель (Godel) Курт (1906-78)" в словаре Современный толковый словарь, подробное описание, примеры использования, словосочетания с выражением Гедель (Godel) Курт (1906-78), различные варианты толкований, скрытый смысл.

Первая буква "Г". Общая длина 29 символа