(Godel) Курт (1906-78) - логик и математик . Родился вАвстро-Венгрии, с 1940 в США. Труды по математической логике и теориимножеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), изкоторых, в частности, следует, что не существует полной формальной теории,где были бы доказуемы все истинные теоремы арифметики.
Что такое Гедель? Значение слова Гедель в энциклопедическом словаре
Гедель - (Godel) Курт (1906-78) - логик и математик. Родился вАвстро-Венгрии, с 1940 в США. Труды по математической логике и теориимножеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), изкоторых, в частности, следует, что не существует полной формальной теории,где были бы доказуемы все истинные теоремы арифметики.
Гедель
Узнайте лексическое, прямое, переносное значение следующих слов:
- Гейдельбергские Романтики - т. н. второе поколение немецких романтиков,литературные кружки 180509 ...
- Гейгеровский Счетчик - детектор частиц. Представляет собой газонаполненныйдиод (обычно цилиндрический) с ...
- Гейгельский Заповедник - на западе Азербайджана; филиал ""Эльдарская сосна"" уникальная роща ...
- Гейбл - (Gable) Кларк (190160) американский киноактер. С 1932 ...
- Гей - (Gay) Джон (16851732) английский поэт и драматург. ...
- Гезиты - (англосаксон. gesith товарищ) дружинники в Англии ...
- Гезенк - (нем. Gesenk) подземная вертикальная горная выработка, не ...
- Гегард - Айриванк (арм. пещерный монастырь, основан в 4 ...
- Гевьон - (др.исл. дающая) в скандинавской мифологии богиня, связанная ...
- Гевелинг - Николай Владимирович (18971946) российский ученый металловед,заслуженный деятель ...
- Геварт - (Gevaert) Франсуа (18281908) бельгийский музыковед, композитор.Труды по ...
- Гевара - (Guevara) Антонио де (14801545) испанский писатель, историк ...
- Гебры - приверженцы зороастризма в Иране. В Индии потомков гебров ...
- Гебра - (Хебра) (Hebra) Фердинанд (18161880) австрийский врач, один ...
- Моро - (от исп. moro мавр) группа народов ...