У интуиции есть своя логика. Гёдель. Теоремы о неполноте - [39]
Среди неизданных бумаг выделяется текст Гиббсовской лекции, которую Гёделя пригласили прочитать на ежегодной встрече Американского математического общества, состоявшейся в Провиденсе 26 декабря 1951 года. По свидетельствам, Гёдель ограничился тем, что быстро прочел подготовленную заранее рукопись и даже не предоставил права на вопросы и комментарии в конце, хотя его встречали громкими аплодисментами, вызванными редкой возможностью лично увидеть гения такого уровня.
В последующие годы Гёдель занимался тем, что исправлял и завершал рукопись с намерением опубликовать ее, однако ему так и не удалось придать ей форму, которая удовлетворяла бы его самого. В конце концов лекция была опубликована в 1994 году как часть сборника под названием "Курт Гёдель, неизданные очерки".
Чем так интересна Гиббсовская лекция? В ней Гёдель очень детально (больше, чем в любой другой своей работе) изложил собственное понимание философских следствий из своих теорем о неполноте. В этой лекции он утверждал: теоремы доказывают, что математический платонизм — правильная позиция философии математики.
Вопрос состоит в следующем: математика создается или открывается? Это человеческое творение, или ученые открывают факты, существующие во внешней реальности независимо от них?
Платонизм утверждает, что математические объекты имеют объективное существование, и работа ученых состоит в том, чтобы открывать характеристики этих объектов. Платон был уверен, что наши ощущения — только деформированное отражение высшей действительности, существующей в "мире идей". В этом самом мире живут и объекты, исследуемые математиками.
Знаменитая теорема Гёделя о неполноте показывает, что нет никаких формальных [синтаксических] методов доказательства, с помощью которых можно доказать все математические истины.
Уиллард ван Орман Куайн о теореме Гёделя
Противоположная позиция, которая обычно называется формализмом и в которой собраны некоторые идеи интуиционизма и программы Гильберта, утверждает, что математика — это творение человека, подобное музыке. С этой точки зрения математика — лингвистическая (синтаксическая) игра, в которой есть некоторые отправные точки (аксиомы) и логические правила, позволяющие осуществлять операции на их основе. Работа ученого состоит в том, чтобы открыть, куда нас заведут правила игры (что, по сути, не сильно отличается от работы шахматиста, который ищет оптимальный ход в определенной позиции). Если, согласно платонизму, математические объекты существуют сами по себе, а ученые открывают их свойства, то формализм утверждает обратное: математические объекты и их свойства существуют лишь благодаря ученым. У обеих позиций есть сильные и слабые стороны, и они существуют в математической мысли параллельно друг другу. Современный философ математики Джон Барроу пишет: "Математики — формалисты с понедельника по пятницу и платонисты по выходным".
То есть для повседневной работы, для доказательства теорем и написания статей формалистская позиция является более подходящей, поскольку в конечном счете любая истина основывается на аксиомах, выбор которых не нуждается в дальнейших подтверждениях (в формализме требуется только, чтобы аксиомы были непротиворечивыми, но они не обязаны отражать внешнюю истинность). Однако по выходным, когда математики расслабляются, они чувствуют, что работают с "истинными объектами", существование которых независимо и реально (что бы это ни означало).
Обе позиции четко разделены в отношении вопроса континуум-гипотезы. В предыдущей главе мы увидели, что континуум-гипотеза (СН) неразрешима относительно аксиом теории множеств. Так истинна она или ложна? Для чистого формалиста (хотя сегодня таких почти не существует) ответ не имеет смысла. Аксиомы — это правила игры, выбранные произвольно, не отражающие никакую внешнюю "истинность"; существуют только синтаксические понятия "доказуемого" и "недоказуемого", а не понятия "истинности" или "ложности". Согласно этой точке зрения так же законно добавить в теорию множеств новую аксиому, при которой СН будет доказуема, как и добавить другую аксиому, при которой она будет опровергнута. Две различные теории множеств могут существовать параллельно друг другу так же, как одновременно существуют различные виды шахмат (например, китайские и японские), которые допускают варианты правил игры, и нет необходимости думать, что существуют "истинные" шахматы.
Для платонизма, наоборот, аксиомы теории множеств отражают истину, которая существует объективно и в которой СН либо истинна, либо ложна, и не хватает всего лишь аксиомы, которая позволила бы решить вопрос.
Гёдель был убежденным платонистом и в статье, опубликованной в 1947 году под названием "Что представляет собой проблема континуума Кантора?", писал: "Следует отметить [...], что с точки зрения, принятой здесь, доказательство неразрешимости гипотезы Кантора на основе аксиом, принятых в теории множеств, [...] в какой-то степени решило бы проблему. Итак, если принять, что значение первичных символов теории множеств [...] корректно, то понятия и теоремы теории множеств описывали бы некую точно определенную действительность, в которой гипотеза Кантора должна была бы быть истинной или ложной". Позже, в 1963 году, дополнив доказательство о неразрешимости СН, Пол Коэн согласился с этой точкой зрения и рискнул предположить, что гипотеза Кантора на самом деле ложна.
Георг Кантор первым среди ученых начал с математической точностью исследовать бесконечность, представлявшую философский интерес. Его новаторский подход к математике воплотился в теории множеств, он сформулировал противоречащие интуиции понятия разных видов бесконечного. До работ, которые были изданы ученым в конце XIX века и стали фундаментальным вкладом в науку, бесконечность, следуя восходившей к Аристотелю научной традиции, понималась как полезная условность. Смелость Кантора стоила ему дорого: его идеи были жестко отвергнуты многими современниками, что, вероятно, послужило причиной его душевной болезни и преждевременной кончины.Прим.
Эта книга состоит из трех частей и охватывает период истории физики от Древней Греции и до середины XX века. В последней части Азимов подробно освещает основное событие в XX столетии — открытие бесконечно малых частиц и волн, предлагает оригинальный взгляд на взаимодействие технического прогресса и общества в целом. Книга расширяет представления о науке, помогает понять и полюбить физику.
Автор множества бестселлеров палеонтолог Дональд Протеро превратил научное описание двадцати пяти знаменитых прекрасно сохранившихся окаменелостей в увлекательную историю развития жизни на Земле. Двадцать пять окаменелостей, о которых идет речь в этой книге, демонстрируют жизнь во всем эволюционном великолепии, показывая, как один вид превращается в другой. Мы видим все многообразие вымерших растений и животных — от микроскопических до гигантских размеров. Мы расскажем вам о фантастических сухопутных и морских существах, которые не имеют аналогов в современной природе: первые трилобиты, гигантские акулы, огромные морские рептилии и пернатые динозавры, первые птицы, ходячие киты, гигантские безрогие носороги и австралопитек «Люси».
К созданию невозможного вечного двигателя одни изобретатели приступали, игнорируя законы природы, другие же, не зная их, действовали на авось. В наше время, в эпоху расцвета науки и техники, едва ли есть серьёзные изобретатели, которых увлекала бы бесплодная в своей основе идея создания вечного двигателя.
Легендарная книга Лоуренса Краусса переведена на 12 языков мира и написана для людей, мало или совсем не знакомых с физикой, чтобы они смогли победить свой страх перед этой наукой. «Страх физики» — живой, непосредственный, непочтительный и увлекательный рассказ обо всем, от кипения воды до основ существования Вселенной. Книга наполнена забавными историями и наглядными примерами, позволяющими разобраться в самых сложных хитросплетениях современных научных теорий.
Если наша планета не уникальна, то вероятность повсеместного существования разумной жизни огромна. Более того, за всю историю человечества у инопланетян было достаточно времени, чтобы дать о себе знать. Так где же они? Какие они? И если мы найдем их, то чем это обернется? Ответы на эти вопросы ищут ученые самых разных профессий – астрономы, физики, космологи, биологи, антропологи, исследуя все аспекты проблемы. Это и поиск планет и спутников, на которых вероятна жизнь, и возможное устройство чужого сознания, и истории с похищениями инопланетянами, и изображение «чужих» в научной фантастике и кино.
Книга немецкого историка, востоковеда, тюрколога, специалиста по истории монголов Бертольда Шпулера посвящена истории и культуре Золотой Орды. Опираясь на широкий круг источников и литературы, автор исследует широкий спектр вопросов: помимо политической истории он рассматривает религиозные отношения, государственный строй, право, военное дело, экономику, искусство, питание и одежду.