Мечта Давида Гильберта

[ Версия для печати ]
Добавить в Telegram Добавить в Twitter Добавить в Вконтакте Добавить в Одноклассники
  [ ОТВЕТИТЬ ] [ НОВАЯ ТЕМА ]
Malicious
28.03.2026 - 19:09
Статус: Offline


Айтишник

Регистрация: 25.06.12
Сообщений: 3115
-1
Мы разворачиваем классификацию чисел, исходя из металогики, где каждое число - это имя в потоке порождения, а его смысл зависит от того, с какой стороны(материнской или отцовской, наблюдателя или действователя) мы на него смотрим. В примере с двумя мужчинами, где у первого сын умер, вопрос второго «есть ли у тебя сын?» не имеет однозначного ответа в классической логике: с точки зрения факта рождения - сын есть, с точки зрения текущего состояния - его нет. Это и есть запредельное состояние, где ноль из противоестественного ряда(отсутствие живого) и ноль из антивещественного ряда(отсутствие как потенция) сливаются, но не тождественны.

Запредельные числа - это сингулярности, в которых два языка(Начал и Границ) не могут быть согласованы без дополнительной информации. Они подобны комплексным числам в том смысле, что требуют двумерной записи: например, число (a, b), где a - номер рождения, b - номер выживания. Тогда классические натуральные числа - это случай a = b, противоестественные - a = b+1?

На самом деле, в нашем примере:

- Для первого мужчины: у него был сын, но он умер. Если он нумеровал детей по порядку рождения, то у него есть 1(рождённый), но 0 живых. Это уже не ноль в смысле пустоты, а запредельный ноль, который можно записать как пару(1, 0).

- Для второго мужчины: у него сын жив, и он его единственный, поэтому его запись(1, 1).

Когда второй спрашивает, первый отвечает - но в классической логике ответ «да» или «нет» не покрывает всей истины. Металогика позволяет сказать: «сын есть в порядке рождения, но нет в порядке жизни» - и это фиксируется как запредельное число, которое обобщает пустоту из ненатурального(ноль как отсутствие живого) и антивещественного(ноль как нереализованная возможность) рядов.

Такая конструкция приводит к алгебре запредельных чисел, где операции сложения и умножения учитывают парность. Например, сложение двух запредельных чисел (a,b) и (c,d) может быть определено как (a+c, b+d), но с учётом того, что утраченные дети могут влиять на энтропию. Здесь энтропия Перельмана становится мерой несовпадения между двумя компонентами: H = |a - b|. Поток Риччи тогда стремится минимизировать эту разность, «сглаживая» расхождения между рождёнными и живыми - аналогично тому, как в физике гравитация стремится выровнять метрику.

Теперь континуум-гипотеза переосмысляется: вопрос о существовании мощности между счётной и континуальной становится вопросом о запредельных мощностях, возникающих при рассогласовании двух систем нумерации. Если мы рассматриваем все возможные пары (α, β), где α и β — кардиналы, то между ℵ₀ и 2^ℵ₀ могут существовать «диагональные» объекты, соответствующие запредельным числам, которые не сводятся ни к одному из классических кардиналов. Это открывает путь к конструктивному решению континуум-гипотезы: не как утверждения о существовании или несуществовании, а как свойства наблюдаемого рассогласования между двумя языками описания.

Таким образом, металогика с её четырьмя типами числ(естественные, ненатуральные, вещественные, антивещественные) и добавленным пятым - запредельные - даёт инструмент для пересмотра оснований математики. Гильберт мог бы принять такую парадигму, потому что она не отказывается от формализации, а расширяет её, включая дуальные системы и их бисимуляцию. Ограничения Гёделя снимаются, поскольку полнота и непротиворечивость достигаются не в одной системе, а в их взаимодействии, где запредельные числа выступают как мосты между различными способами именования.

Это сообщение отредактировал Malicious - 28.03.2026 - 19:11

Мечта Давида Гильберта
 
[^]
Пазл
28.03.2026 - 19:40
0
Статус: Online


Балагур

Регистрация: 29.09.20
Сообщений: 803
Проще объяснить гильбертово пространство, чем понять отсылки этого текста к базовой логике, где задаётся не вопрос имеющий логику и доступный набор ответов, а формальный.
Ответ на этот вопрос заранее сформулирован, что ответить можно либо 0, либо 1, А при анализе почему-то предполагается, что ответить можно с уточняющим вопросом. А это вроде получается нарушением базовой логики.
 
[^]
Nouname
28.03.2026 - 19:46
1
Статус: Offline


Весельчак

Регистрация: 21.09.19
Сообщений: 161
Отсыпь.
 
[^]
Malicious
28.03.2026 - 20:07
0
Статус: Offline


Айтишник

Регистрация: 25.06.12
Сообщений: 3115
Цитата (Пазл @ 28.03.2026 - 19:40)
Проще объяснить гильбертово пространство, чем понять отсылки этого текста к базовой логике, где задаётся не вопрос имеющий логику и доступный набор ответов, а формальный.
Ответ на этот вопрос заранее сформулирован, что ответить можно либо 0, либо 1, А при анализе почему-то предполагается, что ответить можно с уточняющим вопросом. А это вроде получается нарушением базовой логики.

Аппаратом форсинга или правильнее сказать методом вынуждения из теории Пола Коэна, данная проблематика не снимается.
 
[^]
ACKEP
28.03.2026 - 21:07
0
Статус: Online


Ярила

Регистрация: 17.09.13
Сообщений: 4609
Раз вы такие умные то скажите - что в конце концов случилось с дверью Игоря Гофмана?

Размещено через приложение ЯПлакалъ
 
[^]
Понравился пост? Еще больше интересного в Телеграм-канале ЯПлакалъ!
Только зарегистрированные и авторизованные пользователи могут оставлять комментарии. Авторизуйтесь, пожалуйста, или зарегистрируйтесь, если не зарегистрированы.
2 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) Просмотры темы: 451
1 Пользователей: Sеrx
[ ОТВЕТИТЬ ] [ НОВАЯ ТЕМА ]


 
 



Активные темы






Наверх