上帝能造出他自己都搬不动的石头吗?

标签: 上帝 石头 | 发表时间:2010-11-12 16:29 | 作者:Eagle Fantasy Charlie
出处:http://bullog.org/

小时候看《时间简史》,对里面一副插图里的话印象很深:“上帝能造出他自己都搬不动的石头吗?”,从此我便把它作为上帝不是万能的这一命题的证明。因为,如果你回答“能”的话,那么上帝就连某块石头都搬不动;而如果你回答“不能”的话,那么上帝就连一块满足某条性质的石头都造不出来,他也不是万能的。

但是,其实这个证明里面隐藏着一个致命的逻辑错误。

这要从如何定义一个概念说起。在逻辑学上,对于定义有一条不起眼的要求,那就是给出定义以后要证明其存在性。比如说我定义质数为除了1和它本身没有其他正约数的正整数,从理论上来说我得证明这种数是存在的,我们可以举个例子来证明其存在性,比如说2就是质数。这可能和我们这么多年的学习经验不符,我们学习数学概念的时候可从来没有见过什么存在性证明啊…我们学的大多数概念的存在性的证明都是比较显然(举个例子就可以了),因此在课本里从来不出现,但是这绝不意味着存在性证明没有用,尤其在抠逻辑漏洞的时候。

比如说吧,我要定义一种数叫做“蛋疼数”,他被定义为“大于2的偶质数”,显然蛋疼数就不存在。然后假如我基于蛋疼数演绎出来了一整套蛋疼理论,看上去完美无缺而且非常漂亮,可是回过头来一看,哎呀,蛋疼数居然不存在,那整个理论体系的根基就倒塌了。

再比如说,我要定义一种数叫做“牛逼数”,他被定义为“大于4的不能写成两个质数之和的偶数”,很明显牛逼数就是违反哥德巴赫猜想的数…这样,牛逼数的存在性证明实际上就是找到哥德巴赫猜想的反例,这可实在不是一件很显然的事情…

好了,回到上帝是不是万能的问题上来。这里,实际上我们用到了一个概念叫做“上帝搬不动的石头”,我们有对它的存在性给出证明吗?如果它是不存在的(也就是说它存在的话会跟现有数学体系有矛盾),那么标题这个问题实际上就相当于在问“上帝能造出大于2的偶素数吗”,没有任何意义。我们总不至于把“能造出两个互相矛盾的东西”作为“万能”的一个必要条件吧,所以不存在的东西上帝当然造不出来,这不能算他不万能。。。这样一来,如果你认为“上帝搬不动的石头”是存在的,那么其实你已经隐含了一个假设那就是上帝不是万能的了,那么整个逻辑就是这样的:你假设上帝不是万能的->存在上帝搬不动的石头->上帝能造出来他搬不动的石头->有种东西是上帝搬不动的->上帝不是万能的。。。这仅仅说明,上帝不是万能的这个命题如果成立,在这个情景下不会导致矛盾,并不能说明什么更深刻的东西。所以说,上帝是不是万能的,通过这个这个问题是证明不了的。。。

你想证明上帝不万能,没这么简单呢!

相关 [上帝 石头] 推荐:

上帝能造出他自己都搬不动的石头吗?

- nings - 宇宙的心弦
小时候看《时间简史》,对里面一副插图里的话印象很深:“上帝能造出他自己都搬不动的石头吗. ”,从此我便把它作为上帝不是万能的这一命题的证明. 因为,如果你回答“能”的话,那么上帝就连某块石头都搬不动;而如果你回答“不能”的话,那么上帝就连一块满足某条性质的石头都造不出来,他也不是万能的. 但是,其实这个证明里面隐藏着一个致命的逻辑错误.

剪刀、石头、布!

- 牧田 - Engadget 中国版
剪刀、石头、布是大家都会玩的游戏(解决了多少人生的困难啊 XD),在一切随机的前提之下,输、赢和平手的机率应该是刚好各三分之一. 纽约时报做了一个小猜拳机器人跟你玩,计算机分成两个难度等级:初学者(Novice)只会根据你的习惯来猜你下一个会出什么,而高难度(Veteran)等级则会从收集了超过二十万场剪刀、石头、布的数据库中,猜你的下一步会出什么(过了五局之后,就可以点右上的「See What the Computer is Thinking」看计算机是怎么猜的).

上帝和DSB

- Hauza - 奇小怪
来自中国,中华人民共和国,那啥,我们那块儿的各种破事儿估计您也有所耳闻,知道您仙务繁忙,我就不多罗嗦了. 我想讨教的是:为什么会有恁多的乱象、恶象. 啊呀上帝是这样---我们内国家三十年前闹了场文化大革命,整整十年,全方面的浩劫,再往前数我们又打了场内战,三四年,满目疮痍,再再往前数,让邻邦日本. 哦那些事儿您应该都门儿清,总而言之,就是说我们由此上溯一百年,基本上没怎么正经建设,发展国力,被其他国家甩的挺老远的,我们要是不“高速发展”,咋弥补与世界的差距.

用户是上帝

- Jeff - DBA Notes
因为今天在微博上抱怨支付宝在Mac下控件的问题,又想起了「用户是上帝」这句话. 恐怕每个人都听过这句话,也有很多人、很多公司将这句话写入公司章程,写在墙上,甚至挂在嘴边,但是很少有人真的把这句话放在心里. 静下心来仔细想一下,发现自己过去可能没有明白「用户是上帝」这说法到底有什么含义. 用户是上帝,不是说对于上帝的所有需求或是要求,你都去满足,那样你无形中在心里将上帝当作了魔鬼,切记不要轻易出卖自己产品的灵魂,不要动不动被用户所驱使.

剪刀石头布常胜秘笈

- rockr - 果壳网 guokr.com - 果壳网
(文/Ed Yong)2007年,一场紧张激烈的国家锦标赛在拉斯维加斯落幕,杰米•兰格里奇的口袋里又多了5万美金. 没错,它就是超级剪刀、石头、布. 不要以为“剪刀石头布”是哄小孩儿的简单游戏. 虽然游戏规则一目了然——布能包住石头、石头可以砸烂剪刀、剪刀又是布的克星,但它可不是一个靠运气就能取胜的游戏.

【随笔】MC是个好石头!——写在与MC石头合作之后。

- Lambda - site.douban.com
最近MC石头很火,继旅行团、DJliman之后,衣湿也与MC石头开展了合作. 参见视频:《MC石头vs衣湿乐队》. 我知道MC石头其实很早,早在去年圣诞时候我做的一首特别歌曲也是截取了MC石头的经典音频,但由于这次合作的关系,我跟MC石头才有了更直接的接触. 在我看来,从MC石头身上,我们可以发掘出一个成色十足的励志故事,一个真真实实、看得见摸得着的中国梦,比李开复之流整天灌的鸡精汤要有味道得多.

数学家 vs. 上帝

- 虫虫 - 科学松鼠会
原作地址:http://abstrusegoose.com/395.

原谅他是上帝的事

- Woooon - 乐淘吧
甲:姐,如果有人伤害你,你多久会原谅他. 乙:原谅他是上帝的事,我的任务是送他去见上帝. 精辟 12条风趣语录俏皮又搞笑. GIF趣图,不要总以为躺在温柔乡就是一件幸福的事. [风物志]Pari_Dukovic:纽约街拍[23P]. [风物志]去德国不要错过这些 [13p]. 一张图告诉你什么是电影分级制.

TBBT.S05E04:上帝粒子在哪里?

- Jacky - 果壳网 guokr.com - 果壳网
作者:Steed 在《生活大爆炸》第 5 季第 4 集里,Sheldon 养成了一个新的习惯:所有跟生活琐事相关的决定,他都改用掷骰子的方法来决定. 虽然骰子 “掷” 出的决定经常让 Sheldon 很无语,但至少成效还是让他满意的:在坚持了几个星期之后,他不仅在重量级期刊上合作发表了两篇论文,还夸口说: “I'm close to figuring out why the Large Hadron Collider has yet to isolate the Higgs boson particle”.