Форум атеистов Рунета

Если вы о теореме Гёделя о неполноте (не знал, что она называется золотой). То она именно о неполноте.
Континуум-гипотеза однозначно доказывается в системе Цермело — Френкеля с аксиомой детерминированности.

В этом нет ничего удивительного, если не хватает аксиом, надо вводить. Какие-то задачи неразрешимы в целых числах, ввели дробные. Какие-то неразрешимы и в рациональных, ввели действительные.
Есть и в человеческом языке неразрешимые задачи, парадокс брадобрея, например. Бреет ли он себя сам? Можно решить набором уточняющих правил, но только брадобей нафиг не нужен. Там, где нужно правила добавили. Да и то не всегда. Правила дорожного движения полны, но противоречивы.

Забавно, что теореме Гёделя верующие придают какой-то глубокий мистический смысл о бессилии человеческого разума. Что-то есть такое, что мы не можем доказать, значит бог есть.
Хотя это что-то брадобрей, который не бреет себя сам.
Вообще как эта теорема появилась. Решаем задачи по алгебре, пользуемся теоремами, складываем, вычитаем, умножаем, переменные, преобразуем, ломаем голову. Порой десятки исписанных листов пока не докажем. Гильберт задал вопрос, а можно ли как-то формализовать этот процесс, автоматически преобразовывать переменные, чтобы решить любую задачу не ломая голову. (Компьютеров еще не было, но счетные автоматы уже появлялись, вдруг они бы с легкостью доказывали бы любую новую теорему.)

Гедель огорчил математическое сообщество. (Извиняюсь за очень вольный пересказ). Рассуждал так. Пусть система полна и непротиворечива. Пронумеруем каждую теорему. Выполним всевозможные перестановки. (Перестановки слов из мировой литературы). Если система непротиворечива, то придем к тому, что верно и то что Герасим утопил собачку, как и то, что он бросил ее под паровоз, а утопил Каренину. Пришли к противоречиям. Значит либо наш набор (Гедель говорил вообще-то только об арифметике) противоречив, либо мы что-то о Герасиме не знаем.

Т.е. надежда доказать любую теорему пользуясь логическими операндами несостоятельна.
И только. Ничего мистического.

В отличие от человека как мыслит ИИ мы понимаем. В литературе пишут, что никто не знает, как ИИ принимает решение. Это не так. ИИ галлюцинируют, разработчикам надо понять, где ошибка. Разбираются, находят. Сама нейросеть сохраняет протоколы. Там всё мышление идет по весовым коэффициентам набранным в процессе обучения. Известный пример, военные пытались научить нейросеть отличать БМП от танков. Пропустили сотню фотографий. ИИ научилась отличать без ошибок. Перешли к полномасштабным испытаниям. ИИ стал отвечать от фонаря. Когда стали разбираться, оказалось, что фотографии с танками на которых обучалась нейросеть были сделаны в солнечный день, а с БМП в пасмурный. ИИ сделала максимальный весовой коэффициент на освещение. Солнце значит танк, дождь - БМП. Триллионы дорожек из нейронов у человека мы так рассмотреть не можем. Только очень примерно тыкая электродами в мозг предполагать за что отвечает, тот или иной участок.

Никак нет.
В рамках любой системы аксиом найдутся утверждения, которые невозможно ни доказать, ни опровергнуть. Сколько бы дополнительных аксиом вы ни вводили. В этом и состоит смысл теоремы Гёделя.
Примером с теоремой Гёделя я хотел всего лишь сказать, что в ситуации, когда наличие разума у робота невозможно ни доказать, ни опровергнуть, ничего необычного нет.
Ваши длинные рассуждения ничего в этом не меняют.

_________________
Мудрость - это понимание своего бессилия перед глупостью.
Во имя овса и сена, и свиного уха

Верно, но это уже будет другое утверждение, которое нельзя доказать или опровергнуть. Например, постановлением Госдумы вводится новое правило. Разумный тот, кто умеет считать до ста! Законодательно одну проблему решили. Хотя с вводом нового правила возникают новые недоказуемые и не опровергаемые проблемы.

Любите вы без повода приврать про верующих. Ведь, врёте и не краснеете. Это ведь Анатолий Вассерман с помощью теоремы Геделя. доказал, что Бога нет.



Вопрос. Как часто я вспоминаю теорему Гёделя, чтобы доказать существование Бога? Примерно никогда.

_________________
Христос воскресе!

а каким образом если есть Бог, значит любое утверждение можно либо доказать, либо опровергнуть? разве тут не надо как то математически ввести бога в систему?
просто религиозного тезиса что хватает?

_________________
И свет во тьме светит, и тьма не объяла его..

тем более если говорить даже чисто о метафизическом введении Бога в систему-разве он там не вводится как абсолютная тайна?
неисповедимы пути и все дела-что запрещает что угодно доказывать и опровергать

_________________
И свет во тьме светит, и тьма не объяла его..

Вопросы не ко мне, а к Вассерману. Вот его пресуппозиция:

_________________
Христос воскресе!

ну как бы да..логично из этого сделать утверждение, что теорема Геделя к богу не применима

_________________
И свет во тьме светит, и тьма не объяла его..

Так она в принципе не применима ни к чему, кроме формальных систем.

Проблема Вассермана в том, что он мыслит совершенно недиалектически и полагает, что в природе нет противоречий.

_________________
Христос воскресе!

Вассерман, бесспорно, глупость сморозил.

_________________
Мудрость - это понимание своего бессилия перед глупостью.
Во имя овса и сена, и свиного уха