Десятая задача Гильберта — «раз и навсегда установить определенность математических методов», найдя набор правил вывода, достаточный для всех обоснованных доказательств, и затем доказать состоятельность этих правил в соответствии с их собственными нормами.

Теорема Геделя о неполноте — доказательство того, что десятая задача Гильберта не имеет решения. Для любого набора правил вывода существуют обоснованные доказательства, которые эти правила не определяют как таковые.

Резюме

Сложные и автономные абстрактные категории объективно существуют и являются частью структуры реальности. Существуют логически необходимые истины об этих категориях, которые и составляют предмет математики. Однако, эти истины невозможно знать определенно. Доказательства не дают их выводам определенность. Обоснованность конкретной формы доказательства зависит от истинности наших теорий о поведении объектов, с помощью которых мы осуществляем доказательство. Следовательно, математическое знание наследственно производно и полностью зависит от нашего знания физики. Постижимые математические истины — это в точности то бесконечно малое меньшинство, которое можно передать в виртуальной реальности. Однако непостижимые математические категории (например, среды Кантгоуту) тоже существуют, т. к. они сложным образом появляются в наших объяснениях постижимых категорий.

Я сказал, что вычисление всегда было квантовой концепцией, потому что классическая физика несовместима с интуицией, создавшей основу классической теории вычисления. То же самое относится ко времени. За тысячу лет до квантовой теории время было первой квантовой концепцией.

<p>Глава 11</p><p>Время: первая квантовая концепция</p>

Как движется к земле морской прибой,

Так и ряды бессчетные минут,

Сменяя предыдущие собой,

Поочередно к вечности бегут.

Уильям Шекспир (Сонет 60)

Даже будучи одним из наиболее знакомых свойств физического мира, время имеет репутацию глубоко загадочного. Загадка — часть самого понятия времени, с которым мы растем. Святой Августин, например, сказал:

«Что же тогда есть время? Если никто не спросит меня, я знаю; если я захочу объяснить это тому, кто спросит, я не знаю» (Confessions[18]).

Мало кто считает, что расстояние загадочно, но то, что время загадочно, знают все. И вся загадочность времени проистекает из его основного логического свойства, а именно, что настоящий момент, который мы называем «сейчас», не стационарен, а постоянно движется в направлении будущего. Это движение называется потоком времени.

Мы увидим, что потока времени не существует. Тем не менее, такое представление совершенно обыденно. Мы принимаем это как должное настолько, что это принимается в самой структуре нашего языка. В книге A Comprehensive Grammar of the English Language[19] Рэндольф Квирк и его соавторы объясняют концепцию времени с помощью диаграммы, показанной на рисунке 11.1. Каждая точка на линии представляет конкретный стационарный момент. Треугольник «» показывает, где на линии расположена «непрерывно движущаяся точка, настоящий момент». Считается, что она движется слева направо. Некоторые люди, как Шекспир в процитированном выше сонете, считают определенные события «стационарными», а саму линию движущейся мимо них (справа налево на рисунке 11.1), так что моменты из будущего проносятся мимо настоящего момента, чтобы стать прошлыми моментами.

«…время можно считать линией (теоретически, линией бесконечной длинны), на которой расположен, как постоянно движущаяся точка, настоящий момент.

Все что находится перед настоящим моментом, — в будущем, все что находится за настоящим моментом, — в прошлом».

Рис. 11.1. Общеизвестная концепция времени, принятая в английском языке (основанная на Квирк и др. A Comprehensive Grammar of the English Language, с. 175)

Перейти на страницу:

Поиск

Похожие книги