Структура реальности

Различные ошибки, которые математики во все времена допускали в том, что касается доказательства и определенности, вполне естественны. Настоящее обсуждение имеет своей целью привести нас к ожиданию того, что современная точка зрения тоже не будет вечной. Но уверенность, с которой математики натыкались на эти ошибки, а также их неспособность признать даже возможность ошибки во всем этом, на Мой взгляд, связана с древней и широко распространенной путаницей между методами математики и ее предметом. Сейчас я поясню это. В отличие от отношений между физическими категориями, отношения между абстрактными категориями независимы от каких бы то ни было непредвиденных фактов и законов физики. Они абсолютно и объективно определяются автономными свойствами самих абстрактных категорий. Математика, изучающая эти отношения и свойства, таким Образом, изучает абсолютно необходимые истины. Другими словами, Истины, изучаемые математикой, абсолютно определенны. Но это не говорит ни об определенности самого нашего знания этих необходимых истин, ни о том, что методы математики дают своим выводам необходимую им истинность. Как-никак, математика изучает еще и ложные утверждения и парадоксы. И это не означает, что выводы подобного изучения непременно являются ложными или парадоксальными.

Необходимая истина — это всего лишь предмет математики, а не награда за то, что мы занимаемся математикой. Математическая определенность не является и не может являться целью математики. Ее целью является даже не математическая истина, определенная или какая-нибудь еще. Ее целью является и должно являться математическое объяснение.

Почему же тогда математика работает так, как она работает? Почему она ведет к выводам, которые, несмотря на их неопределенность. Можно принимать и без проблем применять, по крайней мере, в течение тысячи лет? В конечном счете, причина в том, что некоторая часть нашего знания физического мира столь же надежна и непротиворечива. А когда мы понимаем физический мир достаточно хорошо, мы также понимаем, какие физические объекты имеют общие свойства с абстрактными. Но, в принципе, надежность нашего знания математики остается второстепенной по отношению к нашему знанию физической реальности. Обоснованность каждого математического доказательства полностью зависит от того, правы ли мы относительно правил, управляющих поведением каких-либо физических объектов, будь то генераторы виртуальной реальности, чернила и бумага или наш собственный мозг.

Таким образом, математическая интуиция — это вид физической интуиции. Физическая интуиция — набор эмпирических правил (некоторые из которых возможно врожденные, а большая часть — развившиеся в детстве), о том, как ведет себя физический мир. Например, у нас есть интуиция существования физических объектов и того, что эти объекты обладают определенными свойствами: формой, цветом, весом и положением в пространстве, некоторые из этих свойств существуют, даже когда за этими объектами не наблюдают. Другая интуиция заключается в том, что существует физическая переменная — время — по отношению к которой изменяются свойства, но, тем не менее, объекты способны сохранять свою идентичность с течением времени. Еще одна интуиция заключается в том, что объекты взаимодействуют и что это взаимодействие может изменить некоторые их свойства. Математическая интуиция описывает способ демонстрации свойств абстрактных категорий физическим миром. Одним из таких направлений интуиции является абстрактный закон или, по крайней мере, объяснение, лежащее в основе поведения объектов. Интуицию, предполагающую, что пространство допускает замкнутые поверхности, отделяющие «внутреннюю часть» от «наружной части», можно уточнить, преобразовав ее в математическую интуицию множества, разделяющего все на члены и нечлены этого множества. Однако дальнейшее уточнение математиками (начиная с опровержения Расселом теории множеств Фреге) показало, что эта интуиция перестает быть точной, когда рассматриваемое множество содержит «слишком много» членов (слишком большую степень бесконечности членов).