Please enable JavaScript.
Coggle requires JavaScript to display documents.
Курт Фридрих Гёдель (1906-1978) - Coggle Diagram
Курт Фридрих Гёдель (1906-1978)
Австрийский логик, математик и философ математики, Родился 28 апреля 1906 года в г.Брюнн (Австрия), а умер уже в США 14 января 1978 года
Окончил школу в 1923 году и поступил в Венский университет, где 2 года изучал физику, а затем переключился на математику.
С 1926 по 1938 участвовал в семинарах Венского философского кружка неопозитивистов
Преподавал во многих институтах (Венском, Принстонском и др), часто читал лекции в разных странах
Значимые награды
В 1951 году Гёдель получил высшую научную награду США — Эйнштейновскую премию;
В 1974 году Курта наградили Национальной медалью науки США;
Память
В 1993 году учреждена премия в области теории вычислительных систем имени Курта Гёделя
В 1985 году его именем назван астероид (3366)
В Австрии в городе Вена есть «Аллея Гёделя»
При Венском университете существует Исследовательский центр по математической логике имени Гёделя
В честь учёного назван ряд научных теорем и понятий (например, Метрика Гёделя, Нумерация Гёделя, Функция Гёделя и др.)
Достоинства
В 1957 году был избран членом Американской академии искусств и наук
В 1968 году стал иностранным членом Лондонского королевского общества
В 1955 году стал членом Национальной академии наук США
7 сентября 1930 года на научном конгрессе по основаниям математики Гёдель обнародовал две теоремы о неполноте и противоречивость, которые принести ему известность
«Если формальная арифметика S непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость S» - Теорема о противоречивости
«Если формальная система S непротиворечива, то в ней невыводимы обе формулы B и ¬B (инверсия B); иначе говоря, если система S непротиворечива, то она неполна, и B служит примером неразрешимой формулы» - Теорема о неполноте
Сферы применения
1) Поиск нематериальных единиц (например, существование Бога, вера, время и др.)
2) Логические задачи на истину и ложь
Интересные факты:
3) С 1930-х годов у математика обнаруживались признаки психических проблем
4) Плотно общался и дружил с Альбертом Эйнштейном на протяжении 20 лет (до самой смерти Эйнштейна)
2) Проявлял способности к языкам ещё с детства (знал немецкий, французский и английский)
5) Жена Адель была старше учёного на 6 лет, и родители Курта были против их брака
1) Из-за боязни призыва на фронт во время Второй мировой войны в 1940г. переехал в США
6) Многие считали его евреем, но это была ложь
7) На собеседовании при получении гражданства США он попытался доказать, что Конституция США формально и логически неполна и не гарантирует от установления диктатуры, но был вежливо остановлен