У интуиции есть своя логика. Гёдель. Теоремы о неполноте - [13]
К 1930 году стало ясно, что Гильберт победил. Оставалось только помочь интуиционистам сохранить лицо и достойно сдаться. В Кёнигсберге, родном городе Гильберта (выбор, конечно, не случаен), был организован конгресс, посвященный основаниям математики. Он проводился с пятницы 5 сентября по воскресенье 7 сентября; на понедельник было назначено награждение Гильберта званием почетного гражданина Кёнигсберга. Все было готово к великой победе учителя.
В пятницу представляли свои работы менее значимые, неизвестные математики. В субботу выступали более значимые, среди них был Ханс Хан, руководитель докторской диссертации Гёделя. Брауэр, который враждовал с Гильбертом по причинам, выходившим далеко за рамки академической науки, не присутствовал; интуиционистскую точку зрения излагал Аренд Гейтинг. Гильберт, имевший проблемы со здоровьем, также отсутствовал, и его главным представителем был его ученик Джон фон Нейман. На конгрессе присутствовал и представитель логицизма, философ Рудольф Карнап. В воскресенье конгресс закрылся пленарным заседанием, на котором были подведены итоги точек зрения интуиционизма, формализма и логицизма. Резюме подвел Гейтинг. Завершая выступление, он сказал, что отношения между интуиционизмом и формализмом наконец-то прояснились и больше нет необходимости продолжать борьбу между этими школами: «Если выполнится программа Гильберта, даже интуиционисты примут бесконечность с распростертыми объятиями». Интуиционисты сдались. Гильберт победил.
Какое значение могут иметь жалкие остатки, немногочисленные, неполные, не связанные друг с другом единичные результаты, которые были выработаны интуиционистами, по сравнению с могущественным размахом современной математики.
Давид Гильберт об интуиционистской школе
Все очевидцы говорят, что именно в этот момент неизвестный молодой математик скромно поднял руку, прося слова. Он был худым, носил очки и, похоже, очень нервничал. Этот молодой человек, Курт Гёдель, объявил, что доказал следующую теорему: если требуется, чтобы доказательства проверялись механически, то невозможно задать аксиомы арифметики, которые позволили бы доказать все истины теории; всегда будут истинные утверждения, которые будет невозможно доказать на основе предложенных аксиом. (Сегодня это утверждение известно как первая теорема Гёделя о неполноте.) Более того, если предложенные аксиомы позволяют доказать довольно обширную часть арифметических истин, то невозможно проверить их непротиворечивость механическими методами. (Это вторая теорема Гёделя о неполноте.) Другими словами, программа Гильберта абсолютно нереализуема.
Мы можем представить себе сцену, которой на самом деле не было, но которая отражает состояние духа формалистов в тот воскресный вечер. Представим себе, что Гильберт звонит по телефону Джону фон Нейману, чтобы спросить его, как все прошло, и тот отвечает: «У меня одна хорошая новость и одна плохая. Хорошая — интуиционисты сдались. Плохая — Гёдель говорит, что и мы проиграли».
Как Гёделю удалось доказать свою теорему? Как можно доказать, что, независимо от предлагаемых аксиом, всегда будет существовать утверждение истинное, но недоказуемое на их основе? Доказательство Гёделя, один из самых больших интеллектуальных подвигов XX века, будет центральной темой следующей главы.
ГЛАВА 2
Первая теорема Гёделя
В первой теореме Гёделя о неполноте говорится, что при любом заданном множестве аксиом арифметики всегда будет существовать истинное арифметическое высказывание, которое невозможно доказать на основе этих аксиом, если пользоваться только теми методами доказательства, которые удовлетворяют программе Гильберта. Доказательство этой теоремы, по сути, состоит в том, чтобы получить самореферентное высказывание, которое говорит о себе: «Я недоказуемо».
После окончания Первой мировой войны Австро-Венгерская империя была разделена на части. Некоторые из них, такие как Австрия, Венгрия, Югославия и Чехословакия, стали отдельными странами. Другие вошли в состав уже существовавших государств, таких как Италия или Румыния. После этого раздела город Брно, в котором жила семья Гёделя, был присоединен к Чехословакии. Курт вспоминал, что с этого момента его отец всегда чувствовал себя австрийцем в изгнании. Возможно, это ощущение в какой-то степени повлияло на решение послать обоих сыновей учиться в Венский университет, чтобы они хотя бы таким образом могли вернуться на родину.
Гёдель поступил в Венский университет в 1923 году с намерением изучать физику. Можно предположить, что врожденное любопытство с самого раннего детства привело его к вопросам о том, почему вещи, подброшенные вверх, падают, или почему некоторые предметы плавают, а другие нет, или почему светит Солнце, — все они связаны с физикой. Однако основная причина, по которой он решил посвятить себя этой науке, по- видимому, сформировалась, когда Гёделю было 15 лет, после того как он прочитал о теории цвета Гёте и о противостоянии подходу Ньютона.
Очень мало известно о личной жизни Гёделя в студенческие годы. Он едва не женился на женщине, которая была на десять лет его старше, но родители воспротивились, и Курт отказался от своего намерения. Нет информации о других личных отношениях или близкой дружбе. По-видимому, юноша посвящал большую часть времени учебе. Но в университете его намерение посвятить себя физике вскоре пропало. В те годы в Вене преподавал Филипп Фуртвенглер, немецкий математик, специализировавшийся на высшей арифметике. Он родился в 1869 году в Эльце (Германия), в 1896-м защитил докторскую диссертацию в Геттингене под руководством Феликса Клейна, одного из самых выдающихся математиков конца XIX века.
Георг Кантор первым среди ученых начал с математической точностью исследовать бесконечность, представлявшую философский интерес. Его новаторский подход к математике воплотился в теории множеств, он сформулировал противоречащие интуиции понятия разных видов бесконечного. До работ, которые были изданы ученым в конце XIX века и стали фундаментальным вкладом в науку, бесконечность, следуя восходившей к Аристотелю научной традиции, понималась как полезная условность. Смелость Кантора стоила ему дорого: его идеи были жестко отвергнуты многими современниками, что, вероятно, послужило причиной его душевной болезни и преждевременной кончины.Прим.
Книга посвящена жизни и творчеству выдающегося советского кристаллографа, основоположника и руководителя новейших направлений в отечественной науке о кристаллах, основателя и первого директора единственного в мире Института кристаллографии при Академии наук СССР академика Алексея Васильевича Шубникова (1887—1970). Классические труды ученого по симметрии, кристаллофизике, кристаллогенезису приобрели всемирную известность и открыли новые горизонты в науке. А. В. Шубников является основателем технической кристаллографии.
Нильс Бор — одна из ключевых фигур квантовой революции, охватившей науку в XX веке. Его модель атома предполагала трансформацию пределов знания, она вытеснила механистическую модель классической физики. Этот выдающийся сторонник новой теории защищал ее самые глубокие физические и философские следствия от скептиков вроде Альберта Эйнштейна. Он превратил родной Копенгаген в мировой центр теоретической физики, хотя с приходом к власти нацистов был вынужден покинуть Данию и обосноваться в США. В конце войны Бор активно выступал за разоружение, за интернационализацию науки и мирное использование ядерной энергии.
Джеймс Клерк Максвелл был одним из самых блестящих умов XIX века. Его работы легли в основу двух революционных концепций следующего столетия — теории относительности и квантовой теории. Максвелл объединил электричество и магнетизм в коротком ряду элегантных уравнений, представляющих собой настоящую вершину физики всех времен на уровне достижений Галилея, Ньютона и Эйнштейна. Несмотря на всю революционность его идей, Максвелл, будучи очень религиозным человеком, всегда считал, что научное знание должно иметь некие пределы — пределы, которые, как ни парадоксально, он превзошел как никто другой.
Ежемесячный научно-популярный и научно-художественный журнал.
«Занимательное дождеведение» – первая книга об истории дождя.Вы узнаете, как большая буря и намерение вступить в брак привели к величайшей охоте на ведьм в мировой истории, в чем тайна рыбных и разноцветных дождей, как люди пытались подчинить себе дождь танцами и перемещением облаков, как дождь вдохновил Вуди Аллена, Рэя Брэдбери и Курта Кобейна, а Даниеля Дефо сделал первым в истории журналистом-синоптиком.Сплетая воедино научные и исторические факты, журналист-эколог Синтия Барнетт раскрывает удивительную связь между дождем, искусством, человеческой историей и нашим будущим.
Эта книга – захватывающий триллер, где действующие лица – охотники-ученые и ускользающие нейтрино. Крошечные частички, которые мы называем нейтрино, дают ответ на глобальные вопросы: почему так сложно обнаружить антиматерию, как взрываются звезды, превращаясь в сверхновые, что происходило во Вселенной в первые секунды ее жизни и даже что происходит в недрах нашей планеты? Книга известного астрофизика Рэя Джаявардхана посвящена не только истории исследований нейтрино. Она увлекательно рассказывает о людях, которые раздвигают горизонты человеческих знаний.