Гёдель Курт(28.04.1906 — 14.01.1978)

2
Записей показано: 2, всего у данной персоны: 2

Австрийский логик, матема­тик и фило­соф матема­тики. Окон­чил Вен­ский уни­вер­си­тет, участ­во­вал в семи­на­рах Вен­ского фило­соф­ского кружка нео­по­зи­ти­ви­стов, осо­бый инте­рес про­явил к матема­ти­че­ской логике и тео­рии дока­за­тельств. Наи­бо­лее изве­стен как автор тео­рем о непол­ноте (1931), гла­сящим, что при любом выборе аксиом арифме­тики суще­ствуют тео­ремы, кото­рые невозможно ни дока­зать, ни опро­верг­нуть. Из этого сле­дует, что программа Д. Гиль­берта по обос­но­ва­нию матема­тики не может быть реа­ли­зо­вана. Также дока­зал, что отрица­ние кон­ти­нуум-гипо­тезы Г. Кан­тора недо­ка­зу­емо в стан­дарт­ной акси­о­ма­тике тео­рии множеств.

Литература о персоне и её трудах

Данилов Ю. А. На далеких Гёделевых островах. — 2008  Данилов Ю. А. На далеких Гёделевых островах // Юлий Александрович Данилов. Прекрасный мир науки. — М. : Прогресс-Традиция, 2008. — С. 265—273.Успенский В. А. Гёдель. — 2014  Успенский В. А. Гёдель // Успенский В. А. Труды по нематематике. — 2-е изд., испр. и доп. — Кн. 2. — М. : ОГИ ; Фонд «Математические этюды», 2014. — С. 421—422.
Про­должая исполь­зо­вать дан­ный сайт, вы выража­ете согла­сие с усло­ви­ями его исполь­зо­ва­ния