Справочник
|
|
Сборник статей
Статьи тематикам:
|
Справочник![]() Полный список слов справочника
ГЕДЕЛЬ (Godel) Курт (1906-78)логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.Случайная справкаВАЛЬДЕНГО (Valdengo) Джузеппе (р . 1914)АКВАВИВА (Aduaviva) Клавдио (1543-1615) "ВРЕМЕННОЕ ПРАВИТЕЛЬСТВО СЕВЕРНОЙ ОБЛАСТИ" ВАРЕНА (Varena) (до 1917 официальное название Ораны) ГАГИК I (? - 1020) |
|