Лингвофорум

Что за мания с этими теоремами Гёделя? А если я даже не хочу знать, что это такое?

Цитата: Nevik Xukxo от августа 31, 2020, 11:46
Что за мания с этими теоремами Гёделя? А если я даже не хочу знать, что это такое?

Это к теме относится.
Когда Гёдель доказал свои теоремы, некоторые решили, что найдено научное доказательство бытия Бога.
Если это так, то ответ на вопрос в заголовке темы - однозначное "да".

Цитата: Flos от августа 31, 2020, 12:24
Когда Гёдель доказал свои теоремы, некоторые решили, что найдено научное доказательство бытия Бога.

Странное решение, ИМХО.

Вопрос в другом - применимы ли в вопросе существования Творца теории, в которых имеются не доказуемые и не опровержимые предложения.

(сообщение исправил. автозамена убрала пробелы после "не". извиняюсь.)

Творение не может доказать творца, у творения просто нет возможностей для этого, принципиально.

Цитата: Nevik Xukxo от августа 31, 2020, 12:50
Творение не может доказать творца, у творения просто нет возможностей для этого, принципиально.

Ваши дети не могут Вас пнуть, и прислушаться к ответу на это действие?))

Цитата: Nevik Xukxo от августа 31, 2020, 12:50
Творение не может доказать творца, у творения просто нет возможностей для этого, принципиально.

Как-то так, да.

Цитата: Осипов А.И. от Непротиворечивость формальной теории не м.быть установлена средствами, которые м.быть формализованы в самой этой теории. Т.е.необходимо быть за пределами этой системы. Но тогда встает вопрос о непротиворечивости этой более широкой системы. И так нет предела.

Рассыпалась многовековая мечта, что математика – царица наук. Т.е.создание даже самых совершенных систем еще не означает, что эти системы не противоречивы.

«В наст. время м. считать доказанным несводимость знания к идеалу абс. строгости. Даже из математики невозможно изгнать нестрогости. Все это свидетельствует о том, что любая система человеч. знания вкл. в себя элементы, не могущие быть обоснованы, и вообще без таких элементов не м.существовать вообще никакая науч. система знаний».

Я неправильно выше написал, конечно. Не доказательство Бога, а скорее недоказуемость.

Цитата: kemerover от августа 31, 2020, 07:10
Какие ещё детские финты? Это вы тут всё путаете каким-то противоречащим самому себе релятивизмом.

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

Цитата: Easyskanker от августа 31, 2020, 13:50Речь не об изменении кода Вселенной в рилтайме, это ее просто уничтожит, а о том, что возможно написать другой код. Упираться именно в изменение на ходу, в процессе работы программы, абсурд.

В рамках Вашей аналогии - не факт. У нашей Вселенной есть как минимум один признак ограничений, неизбежных при эмуляции - однонаправленность времени. Этот фактор позволит системе без подобного ограничения проводить отладку любого рода)

Любятъ наши люди логическую эквилибристику.
Только вѣра нерацiональна. Вѣра возникаетъ не изъ логики, а изъ какихъ-то глубинныхъ психологическихъ потребностей. Или изъ соцiальныхъ (когда выгодно).

Вера отдельно, Творец отдельно.

Цитата: Mass от августа 31, 2020, 13:57
В рамках Вашей аналогии - не факт. У нашей Вселенной есть как минимум один признак ограничений, неизбежных при эмуляции - однонаправленность времени. Этот фактор позволит системе без подобного ограничения проводить отладку любого рода)

То есть у вас все равно получается не Вселенная, а какая-то другая вселенная.

Цитата: Easyskanker от августа 31, 2020, 14:06То есть у вас все равно получается не Вселенная, а какая-то другая вселенная.

Только в итоге, не в процессе, и при наличии достаточного количества артефактов при "переписывании" мы этот процесс заметим.

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

Так что осталось Вам подобные артефакты найти, и тогда, как ни смешно, Ваша аналогия будет иметь право на жизнь в качестве гипотезы)

Моя аналогия неверна, как и любое сравнение неверно. Но мне достаточно того, что она близка к тому, что я понимаю по своей логике.

Цитата: Easyskanker от августа 31, 2020, 14:04
Вера отдельно, Творец отдельно.

Вера нужна людям, Творцу нужны люди. То есть, вера Творцу в принципе и не нужна, это уже выбор людей, во что они там верят.

Цитата: Mass от августа 31, 2020, 14:10
если отладка будет проводиться

Вот отладку Вселенной я как раз не признаю. Это нам, простым смертным, надо всё отлаживать и переписывать, а Творец рангом повыше, потому делает как надо с первого раза.

Цитата: Easyskanker от августа 31, 2020, 14:16
а Творец рангом повыше, потому делает как надо с первого раза.

А если он постоянно творит вселенные? Тогда ему просто не до людей, его дело - творить.

Вай бы и нот.

Цитата: Easyskanker от августа 31, 2020, 14:18
Вай бы и нот.

И мы даже не узнаем, какой номер у нашей вселенной.

Я бы еще одну грубую аналогию провел, с Dwarf Fortress. Запустил процесс генерации Вселенной, и смотри, как миллиарды лет пролистываются. Что там отлаживать, если весь цимес как раз в псевдослучайности? Если и менять параметры, то в самом алгоритме генерации, и перед генерацией, а не во время нее.

Цитата: Easyskanker от августа 31, 2020, 14:20
Я бы еще одну грубую аналогию провел, с Dwarf Fortress.

Цитата: Mass от августа 31, 2020, 14:24

Offtop

Инсталляшка всего 14,61 метра? Что, серьёзно?

Представил себе картинку. Бог. Его компьютер. Инсталлятор нашей вселенной - около 15 мегов.

Цитата: Mass от августа 31, 2020, 14:24

Offtop

Инсталляшка всего 14,61 метра? Что, серьёзно?

Цитата: Nevik Xukxo от августа 31, 2020, 14:26
Представил себе картинку. Бог. Его компьютер. Инсталлятор нашей вселенной - около 15 мегов.

Всё по принципам. Только тут кукенквакен - инсталлятор биосферы Земли может оказаться в разы больше по весу, чем инсталлятор всей остальной Вселенной.

Цитата: Easyskanker от августа 31, 2020, 14:27

Offtop

У символьной версии видел 6 с копейками.