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

63

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

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

ГЕДА В. - см. Хеда В.. ..

Гедда (Gedda) Николай

ГЕДДА (Gedda) (наст. Фам. Устинов) Николай (р. 1925) - шведский певец (лирический тенор). По происхождению русский. Выступает во многих оперных театрах мира, в т. Ч. В "Метрополитен-опера" (Нью-Йорк), с 60-х гг. - также на концертных эстрадах.. ..

Геденбергит

ГЕДЕНБЕРГИТ - минерал группы пироксенов, CaFeГЕДЕНШТРОМ Матвей Матвеевич (ок. 1780-1845) - российский исследователь севера Сибири. В 1808-10 руководил экспедициями по съемке и исследованию Новосибирских о-вов.. ..

Гедеонов Степан Александрович

ГЕДЕОНОВ Степан Александрович (1816-78) - российский историк, театральный деятель, почетный член Петербургской АН (1863). Директор Эрмитажа (1863-78) и императорских театров (1867-75). Труд "Варяги и Русь" (против норманнской теории).. ..

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

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

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

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