Десятая задача Гильберта
— «раз и навсегда установить определенность математических методов», найдя набор правил вывода, достаточный для всех обоснованных доказательств, и затем доказать состоятельность этих правил в соответствии с их собственными нормами.Теорема Геделя о неполноте
— доказательство того, что десятая задача Гильберта не имеет решения. Для любого набора правил вывода существуют обоснованные доказательства, которые эти правила не определяют как таковые.Сложные и автономные абстрактные категории объективно существуют и являются частью структуры реальности. Существуют логически необходимые истины об этих категориях, которые и составляют предмет математики. Однако, эти истины невозможно знать определенно. Доказательства не дают их выводам определенность. Обоснованность конкретной формы доказательства зависит от истинности наших теорий о поведении объектов, с помощью которых мы осуществляем доказательство. Следовательно, математическое знание наследственно производно и полностью зависит от нашего знания физики. Постижимые математические истины — это в точности то бесконечно малое меньшинство, которое можно передать в виртуальной реальности. Однако непостижимые математические категории (например, среды Кантгоуту) тоже существуют, т. к. они сложным образом появляются в наших объяснениях постижимых категорий.
Глава 11
Время: первая квантовая концепция
Как движется к земле морской прибой,
Так и ряды бессчетные минут,
Сменяя предыдущие собой,
Поочередно к вечности бегут.
Даже будучи одним из наиболее знакомых свойств физического мира, время имеет репутацию глубоко загадочного. Загадка — часть самого понятия времени, с которым мы растем. Святой Августин, например, сказал:
«Что же тогда есть время? Если никто не спросит меня, я знаю; если я захочу объяснить это тому, кто спросит, я не знаю» (
Мало кто считает, что расстояние загадочно, но то, что время загадочно, знают все. И вся загадочность времени проистекает из его основного логического свойства, а именно, что настоящий момент, который мы называем «сейчас», не стационарен, а постоянно движется в направлении будущего. Это движение называется
Мы увидим, что потока времени не существует. Тем не менее, такое представление совершенно обыденно. Мы принимаем это как должное настолько, что это принимается в самой структуре нашего языка. В книге
«…время можно считать линией (теоретически, линией бесконечной длинны), на которой расположен, как постоянно движущаяся точка, настоящий момент.
Все что находится перед настоящим моментом, — в будущем, все что находится за настоящим моментом, — в прошлом».
Рис. 11.1. Общеизвестная концепция времени, принятая в английском языке (основанная на Квирк и др.