С помощью интернета подготовь краткое сообщение об одном из научных открытий 20 ве

Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно, Чехия), в немецкой семье. Отец Курта, Рудольф Гёдель, был управляющим текстильной фабрики. Окончив школу в 1923 году, Гёдель поступил в Венский университет. Там он два года изучал физику, но затем переключился на математику. В 1929 году защитил диссертацию и в 1930 году начал преподавать в Венском университете, участвуя в семинарах Венского кружка неопозитивизма. В 1934 году совершил поездку в США (Принстонский университет), где прочитал курс лекций «О неразрешимых теоремах формальных математических систем». В 1938 году он женился на Адель Поркерт, с которой познакомился в Венском клубе еще в 1927 году. В 1940 году он уехал в США, причём из-за опасности пути через Атлантику во время войны поехал через СССР и Японию. В США он получил работу в знаменитом Институте перспективных исследований (Принстонский университет). В 1951 году Гёдель получил высшую научную награду США — Эйнштейновскую премию, а в 1974 году — Национальную медаль науки. Гёдель был логиком и философом науки. Наиболее известное достижение Гёделя — это сформулированные и доказанные им теоремы о неполноте, опубликованные в 1931 году. Одна из них гласит, что любая эффективно аксиоматизируемая теория, в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения, является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость — возможность доказать любое высказывание: как истинное, так и ложное. Эффективная аксиоматизируемость понимается как возможность алгоритмически решить, является ли данное утверждение аксиомой. Доказанные Гёделем теоремы имеют широкие последствия как для математики, так и для философии (в частности, для онтологии и философии науки). Кроме того, Гёделю принадлежат работы в области дифференциальной геометрии и теоретической физики. В частности, он написал работу по общей теории относительности, в которой предложил вариант решения уравнений Эйнштейна, из которого следует, что строение вселенной может иметь такое устройство, в котором течение времени является закольцованным (метрика Гёделя), что теоретически допускает путешествия во времени. Большинство современных физиков считают это решение верным лишь математически и не имеющим физического смысла.