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

Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.

???

Статью ещё никто не оценил по шкале оценок проекта

Сообщение об ошибке Править

Последнее сообщение: 8 лет назад3 сообщения3 человека в обсуждении

Перенесено со страницы ВП:Сообщения об ошибках#Алгоритмическая разрешимость.

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

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

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

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

К обсуждению. Sealle 14:30, 17 октября 2014 (UTC)Ответить[ответить]

Добавить тему