JК
Белый свет :: Рюкер Руди
Страница: 272 из 283Особенно если на подхвате окажутся представители смежной специальности — физики-теоретики, которым в XX веке не раз пришлось убеждать и себя, и коллег, что абстрактные миры математиков на самом деле куда как реальны, только мы этого раньше не замечали…
Труд математиков и писателей-фантастов (тех, что претендуют на приставку «научные») удивительно схож прежде всего в методе. И те и другие для начала формулируют какую-нибудь аксиому — сколь угодно «нереальную», даже, на первый взгляд, абсолютно бредовую, — а затем с помощью логически выверенных теорем на базе этой аксиомы строят целый мир. Внутренне непротиворечивый и, как говорят математики, «полный».
С единственной оговоркой: как раз для профессионалов-математиков их «миры» (системы) полными никогда не будут, на то существуют знаменитые теоремы Геделя.
Если грубо, то говорят они о следующем: в любой замкнутой системе обязательно найдется утверждение, которое невозможно ни доказать, ни опровергнуть, находясь в рамках этой же системы.
Фантасты этого ограничения не знают — да и никто не станет требовать от их построений «математической» строгости. По крайней мере для обыденного сознания достаточно того, что и писатели-фантасты, и ученые-математики заняты построением миров — цельных, многомерных, внутренне непротиворечивых, на каких бы невероятных основаниях эти миры ни покоились.
Чтобы закончить с этой «теоретической» вводкой, приведу любимый Пример. Писатель-фантаст волен вообразить себе любой мир — даже тот, где люди ходят на головах.
Труд математиков и писателей-фантастов (тех, что претендуют на приставку «научные») удивительно схож прежде всего в методе. И те и другие для начала формулируют какую-нибудь аксиому — сколь угодно «нереальную», даже, на первый взгляд, абсолютно бредовую, — а затем с помощью логически выверенных теорем на базе этой аксиомы строят целый мир. Внутренне непротиворечивый и, как говорят математики, «полный».
С единственной оговоркой: как раз для профессионалов-математиков их «миры» (системы) полными никогда не будут, на то существуют знаменитые теоремы Геделя.
Если грубо, то говорят они о следующем: в любой замкнутой системе обязательно найдется утверждение, которое невозможно ни доказать, ни опровергнуть, находясь в рамках этой же системы.
Фантасты этого ограничения не знают — да и никто не станет требовать от их построений «математической» строгости. По крайней мере для обыденного сознания достаточно того, что и писатели-фантасты, и ученые-математики заняты построением миров — цельных, многомерных, внутренне непротиворечивых, на каких бы невероятных основаниях эти миры ни покоились.
Чтобы закончить с этой «теоретической» вводкой, приведу любимый Пример. Писатель-фантаст волен вообразить себе любой мир — даже тот, где люди ходят на головах.