Обсуждение:Алгоритмическая разрешимость
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Сообщение об ошибке[править код]
"... но она полна относительно своей стандартной интерпретации — это следует из теоремы Гёделя о полноте." - это категорически неверно. Например: выводимые в формальной арифметике формулы составляют перечислимое множество: истинные в стандартной модели - нет. Или еще пример - Теорема Гудстейна, верное в стандартной модели утверждение, невыводимое в формальной арифметике.
А теорема Гёделя о полноте тут вообще ни при чем, она не говорит ничего о стандартной модели арифметики.
Автор сообщения: Илья 46.188.123.152 20:45, 16 октября 2014 (UTC)
- Я закрою сообщение на данной странице, как малоинформативное и не подлежащее разбору тут. Илья, если хотите - откройте на странице обсуждения статьи тему с подробным обоснованием и необходимыми источниками. Заинтересованные участники обсудят, и откорректируют статью. --Drakosh 14:09, 17 октября 2014 (UTC)
К обсуждению. Sealle 14:30, 17 октября 2014 (UTC)
