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

Чтобы не обвиняли меня в офтопе, предоставляю вашему вниманию доказательство существования Бога, сделанное математиком Куртом Гёделем.
Опубликовано Оксфордским университетом:

Тут 1 и 2 умные люди перевели на понятный язык.

Возражения касались соответствия логического доказательства физическому миру.
Здесь Гёдель использует модальную логику. Это логика где есть понятия "возможность" и "необходимость". Взаимосвязь между ними можно прочитать, например, в книге А.А. Ивина "Логика" для студентов социальных и гуманитарных специальностей (философов, юристов, лингвистов, социологов, политологов, журналистов и др.).

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


Итак, существует научное доказательство существование Бога.

_________________
"Первый глоток из стакана естествознания делает атеистом, но на дне стакана ожидает Бог." Вернер Карл Гейзенберг, лауреат Нобелевской премии по физике

Дополнение. Здесь Гёдель доказывает именно логическую необходимость, которая должна выполняться с необходимостью, а не логическую возможность, которая может произойти или не может.

_________________
"Первый глоток из стакана естествознания делает атеистом, но на дне стакана ожидает Бог." Вернер Карл Гейзенберг, лауреат Нобелевской премии по физике

Не существует, расслабьтесь.
Данное доказательство не научное, а логическое, вернее псевдологическое, так как принимается ряд допущений, принципиально и логически никак и не из ничего не вытекающих.
Для тех, кто не силен в математике – данное «доказательство» ничем не лучше, чем «доказательство Сестры- « если мир сложный, то значит сложность программируема и значит есть программатор, сиречь разумный дизайнер»
Для тех, кто разбирается в математике – присвоение функции P свойств, чисто логический домысел, вся последующая «аксиоматика» строится на принятии «домысла» за факт.

Зачем такие сложности? Достаточно было дать аксиому, что бог = 0 и у вас бы получилось полное многообразие бесконечностей с корреляцией по входным параметрам. (блииин, что написал, даже сам с первого раза вряд ли объясню)

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

Разбиралось неоднократно. Достаточно начать с аксиом.
1) Позитивное+Позитивное = Позитивное.
Верно конечно для чисел, но хрен с шоколадом мало кто будет есть, хотя по отдельности - с удовольствием, а иными смесями хороших вещей и отравиться можно. В жизни не катит.
2) Позитивное и Негативное взаимоисключающи.
Опять зависит от обстоятельств и не жизненно. Одно и тоже в разных условиях может быть и позитивным и негативным.
Соответсвенно, Аксиома 3 о необходимости Позитива(Негатива) быть Позитивом(Негативом) вызывает возражения.

Теперь следует определение 1) Бог - это тот, кто обладает всеми Позитивами без изъятия.
а также необходимость бытию присутсвовать среди позитивных качеств, откуда уже чисто технически выводится, что если существовать хорошо, то совокупность всего хорошего существует.

Можно сказать, что Гедель исследовал, при каких посылках возможность Бога влечет его необходимость. И эти посылки сводятся к постулированию возможности бытия абсолютного совершенства. Что по сути есть древнее онтологическое "доказательство".

_________________
Исторический опыт человечества доказывает и отсутствие богов и 2*2=4. Не исключено, дальнейшая история покажет, что и Бог есть и 2*2=5. Но последнее более вероятно.

Для математика достаточно логической непротиворечивости аксиом. Связь с реальным миром, действительно, дело десятое.

_________________
Свободу Pussy Riot!
Entia non sunt multiplicanda sine necessitate
NO GODS, NO MASTERS
Атеисты не отрицательные, а положительные, ибо положили с прибором на все религии. (С)Евгений Анатольевич

Вот Иммануил Кант в опровержении онтологического доказательства и говорит, что бытие не может входит в число предикатов субъекта.

Неприлично спустя 230 лет снова впадать в указанное противоречие.

На самом деле, Гедель и не впадает. Он слегка ослабил исходные посылки, или можно сказать, сформулировал их явно. Доказательство, которое критиковал Кант было примерно:
"Бог есть абсолютное совершенство. Абсолютное совершенство не может мыслиться без бытия (Ай-яй, ... возражает Кант). Значит Бог сушествует"

Гедель: "Если абсолютное совершенство возможно, то оно необходимо".
Остается выяснить - возможно или нет? Т.е. то, что критиковал Кант, вынесено Геделем во внелогическое предположение.

_________________
Исторический опыт человечества доказывает и отсутствие богов и 2*2=4. Не исключено, дальнейшая история покажет, что и Бог есть и 2*2=5. Но последнее более вероятно.

Или вообще бинарное оружие замутить...

_________________
Поиск истины - вот единственное занятие, достойное героя

Доказательство Ансельма. Слышали. Бог не может не существовать, поскольку это противоречит его определению.