Об AGI и формализмах.

[deep_econom]

Почему я не использую формализмы, не доказываю какие-то теоремы касательно AGI и моих воззрений на AGI?

1. Особой нужды нет. Главнее суть.
2. Мои утверждения могут быть правильны/верны/истинны, но недоказуемы (например в рамках ZFC). Привет Гёделю (Теоремы о неполноте).
3. Опираться в таких вещах на аксиоматику, где верны такие вещи как теорема об удвоении шара (парадокс/теорема Банаха-Тарского, ZFC) странно.

ps
Теоремы Гёделя о неполноте
https://ru.wikipedia.org/wiki/Теоремы_Гёделя_о_неполноте

Парадокс Банаха - Тарского (также называется парадоксом удвоения шара...) - теорема в теории множеств, утверждающая, что трёхмерный шар равносоставлен двум своим копиям.
https://ru.wikipedia.org/wiki/Парадокс_Банаха_-_Тарского