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

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

这要从如何定义一个概念说起。在逻辑学上,对于定义有一条不起眼的要求, 那就是 给出定义以后要证明其存在性。

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

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

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

好了,回到上帝是不是万能的问题上来。这里,实际上我们用到了一个概念叫做“上帝搬不动的石头”,我们有对它的存在性给出证明吗?如果它是不存在的,那么标题这个问题实际上就相当于在问“上帝能造出大于2的偶素数吗”,没有任何意义,不存在的东西上帝当然造不出来,这不能算他不万能。这样一来,如果你认为“上帝搬不动的石头”是存在的,那么其实你已经隐含了一个假设那就是上帝不 是万能的了,那么整个逻辑就是这样的:

    你假设上帝不是万能的
->存在上帝搬不动的石头
->上帝能造出来他搬不动的石头
->有种东西是上帝搬不动的
->上帝不是万能的
这仅仅说明,上帝不是万能的这个命题如果成立,在这个情景下不会导致矛盾,并不能说明什么更深刻的东西。所以说,上帝是不是万能的,通过这个这个问题是证明不了的……
+20  科创币    达闻西    2013/07/22 有道理,很严谨
+4  科创币    diy无线电    2013/07/23 不得不顶,因为不能证明,才让信仰钻了空子,若你证明了,我连神都敢舍弃。
+10  科创币    misakaikato    2013/07/24 高质量发帖
+25  科创币    f.子启    2013/07/26 赶快试试加25分,刚从加5分升到加25分,据说又要降了。。。。。。。。。
来自:科创总论 / 科学技术学
5
1
已屏蔽 原因:{{ notice.reason }}已屏蔽
{{notice.noticeContent}}
~~空空如也
达闻西
10年10个月前 IP:未同步
550958
有道理,很严谨
+1
科创币
f.子启
2013-07-22
高质量发帖
+1
科创币
【四方】
2013-07-23
高质量发帖———御坂御坂为了经验努力地学着说话
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
diy无线电
10年10个月前 IP:未同步
551129
不得不顶,因为不能证明,才让信仰钻了空子,若你证明了,我连神都敢舍弃。
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
达闻西
10年10个月前 IP:未同步
551231
果然我理解了当时送给虎哥1000块钱的时候……
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
misakaikato
10年9个月前 IP:未同步
551716
高质量发帖
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论
f.子启
10年9个月前 IP:未同步
552035
赶快试试加25分,刚从加5分升到加25分,据说又要降了。。。。。。。。。
引用
评论
加载评论中,请稍候...
200字以内,仅用于支线交流,主线讨论请采用回复功能。
折叠评论

想参与大家的讨论?现在就 登录 或者 注册

所属专业
上级专业
【四方】
学者 机友 笔友
文章
135
回复
1318
学术分
1
2013/03/23注册,4年8个月前活动
暂无简介
主体类型:个人
所属领域:无
认证方式:手机号
IP归属地:未同步
文件下载
加载中...
{{errorInfo}}
{{downloadWarning}}
你在 {{downloadTime}} 下载过当前文件。
文件名称:{{resource.defaultFile.name}}
下载次数:{{resource.hits}}
上传用户:{{uploader.username}}
所需积分:{{costScores}},{{holdScores}}下载当前附件免费{{description}}
积分不足,去充值
文件已丢失

当前账号的附件下载数量限制如下:
时段 个数
{{f.startingTime}}点 - {{f.endTime}}点 {{f.fileCount}}
视频暂不能访问,请登录试试
仅供内部学术交流或培训使用,请先保存到本地。本内容不代表科创观点,未经原作者同意,请勿转载。
音频暂不能访问,请登录试试
支持的图片格式:jpg, jpeg, png
插入公式
评论控制
加载中...
文号:{{pid}}
投诉或举报
加载中...
{{tip}}
请选择违规类型:
{{reason.type}}

空空如也

加载中...
详情
详情
推送到专栏从专栏移除
设为匿名取消匿名
查看作者
回复
只看作者
加入收藏取消收藏
收藏
取消收藏
折叠回复
置顶取消置顶
评学术分
鼓励
设为精选取消精选
管理提醒
编辑
通过审核
评论控制
退修或删除
历史版本
违规记录
投诉或举报
加入黑名单移除黑名单
查看IP
{{format('YYYY/MM/DD HH:mm:ss', toc)}}