海纳百川 :: 阅读主题 - 洋洋洒洒四千字，一个反例就可以驳倒

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 洋洋洒洒四千字，一个反例就可以驳倒－评芦笛＂愚蠢就是力量（三）＂

作者

洋洋洒洒四千字，一个反例就可以驳倒－评芦笛＂愚蠢就是力量（三）＂

所跟贴

混子
[博客]
[个人文集]

游客

标题: 这样吧, 叫兽你能不能把＂伪善也是善＂的推理简单提供一下 (258 reads) 时间: 2002-6-26 周三, 下午1:15

其实兜了那么大一个圈子, 说白了, 关键是那机器证明的tes语句返回的是FALSE! 而套用您的"伪证"的"证"是否是"伪"的, 这问题根本不重要, --机器就不会跳转到那些语句上. 不知您注意到没有, 机器随后执行的语句估计可不是什么好deal哈.

显示文章:

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件

[ Page generation time: 0.604432 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]