Богословский спор

Комиссар Катар

Вопрос Катару:
Древний богословский спор — сколько чертей может уместиться на кончике иглы?

Ответ:
Ну, богословием тут не пахнет, тем более есть и индийский вариант вопроса — сколько слонов может поместиться на кончике иглы. Речь идет о геометрии и немного о математике.
Теорема Гёделя о неполноте простыми словами утверждает, что в любом формальном языке существует истинное высказывание, которое нельзя доказать. Я не согласен с этой теоремой и готов прямо сейчас доказать обратное, противоречащее опыту религий и теории Большого взрыва.
Согласно этой теореме, в достаточно богатых формальных непротиворечивых системах, содержащих арифметику (или, например, теорию множеств), всегда находятся неразрешимые формулы, которые одновременно и недоказуемы, и неопровержимы.
Именно в поддержку своей первой теоремы о неполноте, Гёдель создал вторую.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость этой арифметики.
Теорема Гёделя на самом деле обычный математический парадокс, каких в самой математике существует десятки разновидностей. Но общество приняла этот парадокс за какую-то чудодейственную теорему, решение которой поможет создать искусственный интеллект (ИИ), либо доказать его невозможность и всё в этом стиле. Особенно в последнее время, когда неискушенные в математике правители носятся с искусственным интеллектом, как Хрущев с кукурузой.
В теореме Гёделя говорится о свойствах некой абстрактной системы. Вы будете удивлены, но невероятно «грамотного и подкованного» абсолютно во всем Путина, в теме ИИ развели адепты арифметики Пеано.
Я не буду сложно рассказывать про эту математику, просто сообщу, что арифметика Пеано — система, получаемая заменой аксиомы индукции системой аксиом на языке логики первого порядка и добавлением символов операций сложения и умножения. Сложно пояснил?
Тогда проще. В основе всех языков программирования лежит парадокс математики Пеано — одна из систем аксиом для натуральных чисел. Сегодня известны и другие числа.
Так вот, смысл теоремы в том, что существует некая формула в арифметике Пеано, доказать которую невозможно доказать или опровергнуть самими средствами этой арифметики. Вот и весь парадокс ИИ — нельзя доказать его отсутствие или его существование.
Сейчас мы с ним разберемся, по нашему, по-штурмански и по-лоцмански, а это люди хорошо знающие математику. Хочу напомнить, что штурманский факультет. который закончил автор этой миниатюры, был в одной из самых передовых авиационных бурс бывшего СССР и воздушную навигацию мы проходили совместно с такими дисциплинами, как «Высшая математика», «Теоретическая механика», «Начертательная геометрия», «Самолетовождение» и прочие науки, перед которыми студенческий «Сопромат» будущих инженеров, просто детская игра в «буку». И поверьте, готовили нас серьезные люди. Тем более штурманский специалист прежде всего математик прикладной, решающий прежде всего мысленные эксперименты.
Ну, что, посрамим Гёделя и Пиано, а заодно всех айтишников во главе с впечатлительным ВВП? Тогда я предлагаю от себя не теорему неполноты, а аксиому переизбытка.
Как то я пояснил, что Святую Троицу о невозможности понимания которой человеческим умом толкуют попы (тут дело все в том, какой у кого ум), можно объяснить точкой, линией и углом. Есть у меня такая ЗАКОНОДАТЕЛЬНАЯ работа.
Здесь же я предлагаю развить ее, взяв в основу точку, линию и плоскость.
Точка не содержит прямых, линия имеет только одну прямую, а в плоскости можно получить только две перпендикулярные друг другу прямые.
Что мы получаем? Область ноля или 0-мерное пространство, шкалу одномерного пространства, и дву-мерное пространство.
Пересечение прямых даст точку, пересечение плоскостей — линию. Допустим пространств больше — Т.
Но тогда, при пересечении двух Т-мерных пространств появится (Т-1) -мерное пространство. А это значит, что при пересечении двух т-мерных пространств является (Т-1) — мерное пространство!
Делаем вывод: любой Т-мерный континуум образован двумя (Т+1) мерными пространствами, каждый из которых образован двумя и более (Т+2) мерными пространствами и так далее до бесконечности.
А теперь аксиома Катара.
НАЛИЧИЕ ОДНОЙ ЕДИНСТВЕННОЙ ТОЧКИ ЯВЛЯЕТСЯ УСЛОВИЕМ СУЩЕСТВОВАНИЯ ДЛЯ НЕЕ БЕСКОНЕЧНОГО ЧИСЛА БЕСКОНЕЧНОМЕРНЫХ ПРОСТРАНСТВ.
Есть точка — появилось пространство переизбытка.
Ну а теперь ответ на ваш вопрос. Это начало дифференциального исчисления: может ли величина, бесконечно стремящаяся к нулю, достигнуть своей цели, и в чем различие между нулевым значением и функцией, стремящейся к нулю. Это вопрос о соотношении максимально малой, но все же реальной величины, и нуля.
Вопрос о кончике иглы и чертях это аналог математического вопроса: Имеет ли точка на прямой соседние точки.
Если точка на прямой не имеет соседних точек, то пространство непрерывно, т.к. согласно определению между любыми точками бесконечно много точек; С моделью такого пространства работают математики. Тогда чертей на игле нет ни одного.
У точки на прямой две соседние точки — пространство дискретно, а не непрерывно. Тогда чёрт помещается один.
У точки на прямой бесконечно много соседних точек. Такое возможно только, если неопределённость есть неотъемлемое свойство пространства. Оно квантовано. Это как античное определение движения как одновременное состояние бытия и не бытия объекта в точке. Тогда чертей на кончике иглы бесконечно много. Это наиболее соответствует современным физическим представлениям о квантованности нашего пространства.