/Теорема Гёделя гласит: в любом формальном языке существует истинное высказывание, которое нельзя доказать. В этом смысл неполноты. Дальше вопрос уходит немножко в сторону философии, т. е. если высказывание очень важное, то нужно расширять аксиоматическую базу, либо ждать, когда теорему докажут (как это случилось Большой теоремой Ферма или теоремой Пуанкаре). /
Comments 2
(The comment has been removed)
но то что мир не так прост как кажется-
это точно.
Reply
(The comment has been removed)
мир качественно бесконечен
Reply
Leave a comment