Обсуждение:Алгоритмическая разрешимость

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Сообщение об ошибке[править код]

"... но она полна относительно своей стандартной интерпретации — это следует из теоремы Гёделя о полноте." - это категорически неверно. Например: выводимые в формальной арифметике формулы составляют перечислимое множество: истинные в стандартной модели - нет. Или еще пример - Теорема Гудстейна, верное в стандартной модели утверждение, невыводимое в формальной арифметике.

А теорема Гёделя о полноте тут вообще ни при чем, она не говорит ничего о стандартной модели арифметики.

Автор сообщения: Илья 46.188.123.152 20:45, 16 октября 2014 (UTC)

Я закрою сообщение на данной странице, как малоинформативное и не подлежащее разбору тут. Илья, если хотите - откройте на странице обсуждения статьи тему с подробным обоснованием и необходимыми источниками. Заинтересованные участники обсудят, и откорректируют статью. --Drakosh 14:09, 17 октября 2014 (UTC)
К обсуждению. Sealle 14:30, 17 октября 2014 (UTC)