Главное > Рациональность
Сложность гипотез. Бритва Оккама и индукция Соломонова
Muyyd:
А я говорю о том, что в поисках того, что же лежит за простыми кварками нельзя прыгать к сложному Богу, минуя множество других, более простых гипотез. Даже говорить о Боге слишком рано - происходит контаминация мышления. В комментах Skywrath про закварки ничего не говориться. Вот что там:
--- Цитата: Skywrath от 06 Декабря 2015, 12:55 --- Бог, являясь эффективно всемогущим - не создаёт условных вероятностей, так что теорема Байеса эффективно бесполезна и в лучшем случае подтверждает, что Бог не отвечает на ваши молитвы
--- Конец цитаты ---
Теорема Байеса может больше, чем анализировать причинно-следственную связь, описываемую условными вероятностями. Она можете еще и измерять сложность и выявлять (вкупе с машинным обучением - формализацией бритвы Оккама - индукцией Соломонова) ошибочность интуитивного понимания сложности человеческим мозгом, прячущим сложность коноцептов за простыми словами и своей сложной архитектурой.
Kroid:
А с этим я полностью согласен.
upd я имею ввиду первые два предложения, до того, как вы отредактировали сообщение.
Muyyd:
Кто-то кого-то недопонял. Но кто, кого и в чем? :)
Skywrath:
--- Цитата: Muyyd ---Только потому что ваш мозг скрывает от вас сложность этих трех слов.
--- Конец цитаты ---
Проблема в том, что здесь нет ничего сложного. Вы представляете, что перечисление возможных взаимодействий на языке программного кода должно якобы занять много строчек кода, но это не так. В предположении о том, что вы вообще способны описывать кодом программы некие взаимодействия, которое вы должны принимать в подобных размышлениях, вы имеете тривиальное решение. Достаточно просто написать программу, перечисляющую все программы и она предоставит все возможные и невозможные взаимодействия со всем, что можно формализовать, если не представить. Это программа по своей природе будет являться самой короткой, создавшей верное описание. В большинстве случаев. Точно так же, вы можете закодировать любые другие абсолютные свойства, которые можно представить, так как все они тривиальны. Разум, который не является тривиальным свойством, закодирован так быть не сможет, но Бог не обязан быть разумен. Хотя, это и отбросит часть религиозных доктрин. Это похоже на то, как программа перечисляющая бесконечность всех чётных чисел оказывается короче той, которая должна назвать пять специфично выбранных констант, занимающих много места в коде. Все абсолютные категории тривиально структурированы.
Al1:
--- Цитата: Skywrath от 07 Декабря 2015, 06:36 ---Проблема в том, что здесь нет ничего сложного.
--- Конец цитаты ---
Проблема в том, что идея того или иного Б-га как инициатора большого взрыва попросту ничего не объясняет, не предсказывает. В гипотетической программе, описывающей динамику вселенной с самого её возникновения, её можно записать только если ни на что не влияющим комментарием (однако, увеличивающим длину кода). Что-то вроде
%Брахман увидел сон%
%как Шива разрушил очередную вселенную и создал новую%
%в которой некий Яхве внезапно начал носится над бездною. Со временем он обнаружил, что вокруг как-то мрачновато, и провозгласил "Да будет свет!"%
%и случился большой взрыв. (зав каф теологии при МИФИ А.Я.Попов доклад окончил. Передаю слово физикам:%
(А дальше начинается код, реально описывающий начальные условия вселенной, которые в любом случае тут бы шли, с комментарием или без. И по этим данным можно предсказать дальнейшие условия, т.е. начинаются причинно-следственные связи.)
Навигация
Перейти к полной версии