Теорема Гёделя о неполноте говорит о неполноте чего? Можно ли сформулировать смысл этой теоремы простыми словами?

4 года назад от Бешеный пёс

1 ответ

0 голосов
Простыми нельхя, она говорит о неполноте формальной логической системы, то есть есть некая система аксиом из которых можно вывести кучу теорем, так вот всегда найдется теорема, которая будет истинной в этой системе, но доказать её истинность средствами системы нельзя
4 года назад от Даниил Хвороствокий

Связанные вопросы

2 ответов
Про спутники вокруг земли.
3 года назад от Виктор Нестеров
1 ответ
Периодический треск в газовом котле chaffoteaux
5 месяцев назад от Елена Юрченко
3 ответов
Транспортный звездный корабль, какой он для Вас?
3 года назад от Даша Сорокина