Чи можливо застосувати теореми Курта Геделя до спростуванню створення теорії всього?

Теореми Геделя стверджують про неповноту арифметики Пеано (це один із способів аксіоматичного опису натуральних чисел). Сенс в тому, що в даній арифметиці існують твердження істинність яких неможливо довести/спростувати засобами самої арифметики. Дані теореми безпосередньо не можна узагальнити на теорію всього, проте вони дійсно змушують засумніватися в її створенні, раз навіть така проста і логічна аксіоматична система як арифметика Пеано не може повністю описати властивості натуральних чисел.

Але на мій погляд, основна проблема в подібних теоріях полягає не в їх аксіоматиці, а в тому, що будь-яка теорія - модель, яка неминуче буде в повному обсязі відповідати експериментальним фактам, таким чином, навіть якщо з точки зору математики все буде абсолютно коректно, теорія може виявитися неробочої і марною.

Думки користувачів інтернету

Olga Voloschuk

Спасибі за відповідь)




ЩЕ ПОЧИТАТИ