Вопросы к Поиску с Алисой

Примеры ответов Поиска с Алисой

Главная / Другое / Может ли какое-то утверждение быть принципиально недоказуемым?

Вопрос из Яндекс Кью

22 ноября

#Философия #Логика #ТеорияПознания #ПринципыНедоказуемости

Может ли какое-то утверждение быть принципиально недоказуемым?

Алиса

На основе источников, возможны неточности

Как это работает?

Да, какое-то утверждение может быть принципиально недоказуемым. yandex.ru ru.ruwiki.ru

Согласно теореме Гёделя о неполноте, в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое утверждение. ru.ruwiki.ru ru.wikipedia.org

Некоторые примеры таких утверждений:

5-й постулат Евклида недоказуем с помощью остальных аксиом классической геометрии; ru.ruwiki.ru

аксиома выбора и континуум-гипотеза недоказуемы в теории множеств с аксиоматикой Цермело — Франкеля (ZF); ru.ruwiki.ru

теорема Париса–Харрингтона недоказуема в арифметике Пеано. ru.ruwiki.ru

philosophy.stackexchange.com

Найти в Поиске

Примеры полезных ответов Поиска с Алисой на вопросы из разных сфер. Вопросы сгенерированы нейросетью YandexGPT для актуальных тем, которые определяются на базе обобщённых запросов к Поиску с Алисой.

Пожаловаться на контент

Пользовательское соглашение

Связаться с нами

Задать новый вопрос

Как это работает?