Густаво Эрнесто Пиньейро - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

формулировался по-другому, поскольку в 1930 году еще не было компьютеров.

Но именно в том месте и в то время, когда математики собрались, чтобы прийти к согласию о надежных методах рассуждений, Курт Гёдель поднял руку и попросил слова, чтобы рассказать о своей теореме о неполноте: если даже придерживаться методов, исключающих ошибку, всегда будут существовать истинные гипотезы, которые нельзя доказать, и математические проблемы, которые невозможно решить с помощью самых надежных методов. Мы можем иметь потенциальную способность решать проблемы (без уверенности в том, что решение правильное), но никогда не сможем одновременно иметь уверенность в своих методах и возможность решить все проблемы.

Гёдель представил две теоремы о неполноте, первая из которых также известна как теорема Гёделя, а вторая получила название второй теоремы Гёделя.

Эта книга — об истории открытия Гёделя и его следствиях для философии математики. В главе 1 описаны исторический процесс, приведший к полемике о методах доказательства в математике, и роль, которую сыграла в этой полемике теорема Гёделя. В главе 2 приведены сама теорема и объяснение ее доказательства. Но как на том историческом этапе, когда почти все методы математического доказательства были поставлены под сомнение, Гёделю удалось убедить всех в своей правоте? Ответ на этот вопрос проанализирован в главе 3, в то время как глава 4 посвящена другим работам математика, среди которых — исследования в теории относительности. В последней главе обсуждаются некоторые философские следствия теорем Гёделя, связанные с природой математической истины.

1906 Курт Гёдель родился 28 апреля в Брно, в Австро-Венгерской империи (современная Чешская Республика), в семье Рудольфа Гёделя и Марианны Хандшу. У него был только один старший брат, которого, как и отца, звали Рудольфом.

1912 Гёдель перенес приступ ревматической лихорадки. Эта болезнь стала катализатором его ипохондрии как доминирующей черты личности.

1923 Поступил в Венский университет, чтобы изучать теоретическую физику, однако, благодаря влиянию профессора Филиппа Фуртвенглера, занялся математикой.

1926 Приглашен в Венский кружок — группу интеллектуалов, основанную в 1922 году немецким философом Морицем Шликом для обсуждения науки и эпистемологии. Здесь Гёдель познакомился с дебатами вокруг теории доказательства и решил посвятить себя математической логике.

1929 Завершил докторскую диссертацию, которую представил в следующем году в Венском университете.

1930 С 5 по 7 сентября в Кёнигсберге проходил конгресс, посвященный теории доказательства и связанным с ней темам. На пленарном заседании 7 сентября Гёдель впервые провозгласил свою теорему о неполноте.

1931 Опубликована статья ученого «О формально неразрешимых предложениях Principia Mathematica у родственных систем», содержащая формулировку и доказательство его теоремы о неполноте.

1933 Назначен приват-доцентом Венского университета. Совершил серию поездок в США, где читал различные курсы и лекции.

1938 Женился на Адель Поркерт, разведенной танцовщице, на шесть лет старше его.

1939 Под давлением нацистов, пришедших к власти в Австрии, бежал с супругой США. В Европу они так больше и не вернулись.

1940 Присоединился к Институту перспективных исследований в Принстоне, где началась его дружба с Альбертом Эйнштейном.

1951 Прочитал Гиббсовскую лекцию, в которой проанализировал некоторые возможные философские следствия из своей теоремы о неполноте.

1978 Курт Гёдель скончался в Принстонской больнице вечером 14 января.

ГЛАВА 1 Кризис оснований

В начале XX столетия математика переживала один из самых глубоких кризисов. Первая треть века была наполнена спорами о том, какие методы рассуждения считать подходящими и нужно ли допускать существование бесконечности. Курту Гёделю было предназначено решительно проявить себя в данной ситуации. Но как назрел этот спор? Почему математики начали сомневаться в своей науке после более чем 2500 лет ее развития?

Все люди, даже самые великие, когда-то были детьми. Это прописная истина, но все же любопытно думать, что был день, когда Моцарт не знал даже названий музыкальных нот, было время, когда Леонардо да Винчи еще не смешивал краски... и период, когда Курт Гёдель не начал изучать логику. Пусть знания будущего ученого тогда были невелики, --">