Про теорему Гёделя о неполноте
Oct. 23rd, 2015 04:38 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timur_nechaev77 posting in ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}
stop_rpcВ интернет-баталиях продвинутые верующие любят ссылаться на теорему Гёделя о неполноте, как на математическую аналогию необходимости существования Бога. Как этот аргумент "умножить на ноль"? Вот три примера в порядке сложности:
=====================================
1) Из теоремы Гёделя следует, что и Бог кое-чего не знает.
=====================================
2) Теорема Гёделя верна не в любой системе, а только в формальной. Это ограничение области теоремы Гёделя многое меняет! Наш мир не является "формальным". В реальности у человечества есть средство опыт и его повторяемость, соответственно ОПЫТ критерий истины и никак по другому! Опыта, научного и повторимого доказывающего существование Бога нет, следовательно Бога не существует.
=====================================
3) Теорема Гёделя означает следующее:
Любая система аксиом достаточно богатая, что бы с ее помощью можно определить арифметику, будет либо не полна, либо противоречива. Не полная система — это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя не доказать, ни опровергнуть. Противоречивая — это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать и опровергнуть.
Поскольку окружающая нас природа не содержит таких вот противоречий, она не содержит ни одного явления, которое можно одновременно считать и существующим и не существующим. В силу этого понятно, что любая система аксиом описывающая природу будет не полна, постоянно будут возникать ситуации, которое не возможно исследовать на основании уже существующих выявленных законов природы, это значит что придется постоянно выявлять все новые и новые законы. Но Бог по определению — есть конечная причина всех причин, с точки зрения математики — это означает, что введение аксиомы о боге — делает всю нашу аксиоматику полной. Если есть бог — значит любое утверждение можно либо доказать, либо опровергнуть ссылаясь на Бога. Но по Гёделю полная система аксиом неизбежно противоречива. Т.е. если мы считаем, что бог существует, мы вынуждены прийти к выводу, что в природе возможны противоречия а поскольку противоречий нет, иначе весь наш мир рассыпался от этих противоречий, приходится прийти к выводу что существование бога не совместимо со существованием природы.
P.S.
=====================================
1) Из теоремы Гёделя следует, что и Бог кое-чего не знает.
=====================================
2) Теорема Гёделя верна не в любой системе, а только в формальной. Это ограничение области теоремы Гёделя многое меняет! Наш мир не является "формальным". В реальности у человечества есть средство опыт и его повторяемость, соответственно ОПЫТ критерий истины и никак по другому! Опыта, научного и повторимого доказывающего существование Бога нет, следовательно Бога не существует.
=====================================
3) Теорема Гёделя означает следующее:
Любая система аксиом достаточно богатая, что бы с ее помощью можно определить арифметику, будет либо не полна, либо противоречива. Не полная система — это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя не доказать, ни опровергнуть. Противоречивая — это значит, что можно сформулировать утверждение, которое средствами этой системы можно и доказать и опровергнуть.
Поскольку окружающая нас природа не содержит таких вот противоречий, она не содержит ни одного явления, которое можно одновременно считать и существующим и не существующим. В силу этого понятно, что любая система аксиом описывающая природу будет не полна, постоянно будут возникать ситуации, которое не возможно исследовать на основании уже существующих выявленных законов природы, это значит что придется постоянно выявлять все новые и новые законы. Но Бог по определению — есть конечная причина всех причин, с точки зрения математики — это означает, что введение аксиомы о боге — делает всю нашу аксиоматику полной. Если есть бог — значит любое утверждение можно либо доказать, либо опровергнуть ссылаясь на Бога. Но по Гёделю полная система аксиом неизбежно противоречива. Т.е. если мы считаем, что бог существует, мы вынуждены прийти к выводу, что в природе возможны противоречия а поскольку противоречий нет, иначе весь наш мир рассыпался от этих противоречий, приходится прийти к выводу что существование бога не совместимо со существованием природы.
P.S.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2015-10-23 06:36 am (UTC)no subject
Date: 2015-10-23 07:20 am (UTC)========================
+500!))
no subject
Date: 2015-10-24 05:17 am (UTC)За что, простите? За то, что бога нет?
> А в вышеприведенном тексте вычленить оскорблений чуйств гораздо сложнее
Не понимаю, зачем их вычленять...
no subject
Date: 2015-10-24 12:34 pm (UTC)За то, что утверждение "бага нет" оскорбляет верующих. Например:
http://snob.ru/selected/entry/53139?v=1444909663
Суд не руководствуется здравым смыслом, он руководствуется статьёй закона. И если в законе написано, что за оскорбление чуйств полагается наказание, то наказание последует.
>Не понимаю, зачем их вычленять...
Чтоб оскорбиться, подать в суд, получить известность в качестве борца за веру, и верить что попадет в рай за то, что выявил врага бога.
no subject
Date: 2015-10-24 03:58 pm (UTC)no subject
Date: 2015-10-24 05:55 pm (UTC)