У интуиции есть своя логика. Гёдель. Теоремы о неполноте - [42]
Это приравнивает математику к естественным наукам. В физике, например, любая теория является предварительной. То, что гравитационное притяжение между двумя телами уменьшается согласно квадрату расстояния, — это предварительное утверждение, поскольку мы никогда не сможем проверить силу гравитационного притяжения для всех пар тел, существующих во Вселенной, на всех возможных расстояниях. Утверждение истинно... пока не найдена ситуация, в которой оно не работает.
Нечто подобное происходит с семантическими доказательствами; мы можем быть уверены, что из Р выводится Q... пока не найдем мир, в котором Р будет истинным, a Q не работает. В программе Гильберта предполагалось избавление от этой неточности и предлагались методы доказательства, правильность которых можно было бы проверить раз и навсегда.
Повторим сказанное выше: любое истинное арифметическое высказывание может быть доказано на основе аксиом Пеано, если мы допустим семантические методы. Но мы никогда не сможем быть абсолютно уверены в том, что эти семантические методы верны. Мы можем иметь точные и достоверные методы рассуждения, как хотел Гильберт, но в этом случае не сможем доказать все истины. Мы можем узнать потенциально все арифметические истины, но без уверенности в том, что наши методы корректны. Надежность и достоверность либо возможность узнать все истины — одно или другое, но не оба варианта одновременно.
Выше ли человеческий разум компьютера? Верно ли, что мы "думаем", в то время как компьютер просто "считает"? Или нет принципиальной разницы, и однажды технологический прогресс позволит нам создать искусственный интеллект, с которым мы встречаемся в научной фантастике?
Полемика на эту тему началась в середине XX века — с развитием первых электронных компьютеров. С тех пор были написаны десятки и даже сотни книг и статей с аргументами, опровержениями, дебатами и гипотезами на эту тему, но до сегодняшнего дня ответа так и нет.
Очевидно, что на нескольких страницах невозможно сделать обзор всех аргументов за или против. Упомянем лишь: теоремы Гёделя о неполноте несколько раз использовались в таких дискуссиях как аргумент в пользу того, что человеческий разум выше компьютера.
Прежде мы привели доказательство непротиворечивости аксиом Пеано, и наша человеческая способность воспринимать семантическое понятие "истины" убеждает нас в том, что оно верно. Однако во второй теореме Гёделя доказывается, что правильность этого доказательства не может быть проверена компьютером. Так мы нашли задачу (проверка правильности доказательства того, что аксиомы Пеано непротиворечивы), которую человеческий разум может осуществить, а компьютер нет (и эта невозможность принципиальна). Следовательно, человеческий разум выше компьютера.
В случае если математические предложения имеют отношение к действительности, они неточны, и наоборот, если они точные, они не имеют отношения к действительности.
Альберт Эйнштейн на лекции, прочитанной 27 января 1921 года
Аргумент кажется убедительным, но он не окончательный. Доказательство непротиворечивости аксиом Пеано основывается на нашей интуиции о том, что эти аксиомы являются истинными высказываниями. Но не ошибается ли наша интуиция? Она ведь подвела, например, Фреге, который в течение нескольких лет был убежден в непротиворечивости своих аксиом, пока Бертран Рассел не открыл, что одна из них противоречит самой себе. Возможно, когда-то в будущем новый Рассел покажет нам парадокс, следующий из аксиом Пеано, и скажет, что они все-таки противоречивы.
Следовательно, мы не можем хвастаться своим превосходством над компьютерами, поскольку никогда не будем уверенными в том, что наши семантические рассуждения верны. Нам нужно свыкнуться с возможностью того, что в будущем все (или почти все) наши рассуждения окажутся неверными.
Дискуссия, начатая с открытия парадокса Рассела, так и не закончилась. Три предположения, которые были сделаны в начале XX века, — интуиционизм, логицизм и формализм (или программа Гильберта) — провалились по разным причинам и не были заменены другой программой аналогичного уровня. Какова природа математических объектов? Существует ли промежуточный уровень между чисто синтаксическими и семантическими рассуждениями, который позволил бы превзойти неполноту теорем Гёделя, в то же время обеспечив непротиворечивость? Действительно ли существует категорическая разница между синтаксическим и семантическим? Или понятия, которые мы называем семантическими, являются всего лишь более сложными синтаксическими понятиями (в которых работают с группами символов вместо индивидуальных символов)? Существует еще много подобных вопросов, ответы на которые не найдены... к счастью.
Bell, Е.Т., Los grandes matemdticos, Buenos Aires, Losada, 2010.
Boyer, C., Historia de la matemdtica, Madrid, Alianza Editorial, 2007.
Godel, K., Sobrepropositions formalmente indetidibles de los Principia Mathematica у sistemas afines, Oviedo, KRK Ediciones, 2006.
Hofstadter, D., Godel, Eschery Bach (Un etemo у grdcil bucle), Barcelona, Tusquets, 1992.
Георг Кантор первым среди ученых начал с математической точностью исследовать бесконечность, представлявшую философский интерес. Его новаторский подход к математике воплотился в теории множеств, он сформулировал противоречащие интуиции понятия разных видов бесконечного. До работ, которые были изданы ученым в конце XIX века и стали фундаментальным вкладом в науку, бесконечность, следуя восходившей к Аристотелю научной традиции, понималась как полезная условность. Смелость Кантора стоила ему дорого: его идеи были жестко отвергнуты многими современниками, что, вероятно, послужило причиной его душевной болезни и преждевременной кончины.Прим.
Если вы читали о динозаврах в детстве, смотрели «Мир юрского периода» и теперь думаете, что все о них знаете, – в этой книге вас ждет много сюрпризов. Начиная c описания мегалозавра в XIX в. и заканчивая открытиями 2017 г., ученые Даррен Нэйш и Пол Барретт рассказывают о том, что сегодня известно палеонтологам об этих животных, и о том, как компьютерное моделирование, томографы и другие новые технологии помогают ученым узнать еще больше. Перед вами развернется история длиной в 150 миллионов лет – от первых существ размером с кошку до тираннозавра и дальше к современным ястребам и колибри.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Эта книга состоит из трех частей и охватывает период истории физики от Древней Греции и до середины XX века. В последней части Азимов подробно освещает основное событие в XX столетии — открытие бесконечно малых частиц и волн, предлагает оригинальный взгляд на взаимодействие технического прогресса и общества в целом. Книга расширяет представления о науке, помогает понять и полюбить физику.
Автор множества бестселлеров палеонтолог Дональд Протеро превратил научное описание двадцати пяти знаменитых прекрасно сохранившихся окаменелостей в увлекательную историю развития жизни на Земле. Двадцать пять окаменелостей, о которых идет речь в этой книге, демонстрируют жизнь во всем эволюционном великолепии, показывая, как один вид превращается в другой. Мы видим все многообразие вымерших растений и животных — от микроскопических до гигантских размеров. Мы расскажем вам о фантастических сухопутных и морских существах, которые не имеют аналогов в современной природе: первые трилобиты, гигантские акулы, огромные морские рептилии и пернатые динозавры, первые птицы, ходячие киты, гигантские безрогие носороги и австралопитек «Люси».
Легендарная книга Лоуренса Краусса переведена на 12 языков мира и написана для людей, мало или совсем не знакомых с физикой, чтобы они смогли победить свой страх перед этой наукой. «Страх физики» — живой, непосредственный, непочтительный и увлекательный рассказ обо всем, от кипения воды до основ существования Вселенной. Книга наполнена забавными историями и наглядными примерами, позволяющими разобраться в самых сложных хитросплетениях современных научных теорий.
Если наша планета не уникальна, то вероятность повсеместного существования разумной жизни огромна. Более того, за всю историю человечества у инопланетян было достаточно времени, чтобы дать о себе знать. Так где же они? Какие они? И если мы найдем их, то чем это обернется? Ответы на эти вопросы ищут ученые самых разных профессий – астрономы, физики, космологи, биологи, антропологи, исследуя все аспекты проблемы. Это и поиск планет и спутников, на которых вероятна жизнь, и возможное устройство чужого сознания, и истории с похищениями инопланетянами, и изображение «чужих» в научной фантастике и кино.