ГЕДЕЛЬ
ГЕДЕЛЬ (Godel) Курт (1906-78) — логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя) — из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- ГЕДЕЛЬ — ГЁДЕЛЬ (Gödel) Курт (27 апреля 1906, Брно, Австро-Венгрия – 14 января 1978, Принстон, США) – австрийский и американский логик и математик; окончил Венский университет; участвовал в работе Венского кружка, но довольно быстро отошел от него... Новая философская энциклопедия
- ГЕДЕЛЬ — ГЕДЕЛЬ (Godel) Курт (1906-78), американский математик. Родился в Чехословакии. Широко известен благодаря своей «неразрешимой» и «незавершенной» теореме, доказательство которой было впервые опубликовано в техническом журнале в Германии в 1931... Научно-технический словарь
