送交者: 老椰子 于 July 10, 2009 14:32:35:
回答: 这句“所有的证明都存在问题”不知是否属实. 由 草绿 于 July 10, 2009 13:03:49:
对于他说的“所有的证明都存在问题”，我原来觉得他的本意是“所有的证明都没有证明[1+1]。如果他说的是“所有的证明的本身都有问题”，那问题就大了，那就需要找出这些问题才行，每一个证明至少找一个问题。不知这个工作做了没有。我非常怀疑“所有的证明的本身都有问题”，很难属实，因为如果只要“有一个证明的本身没有问题”，他的命题就错了。但是，我说“各证明本身没有问题”也属于不安全的说法，其实我不用这么强的否定，不必用全称量词去反驳全称量词。你的意见对。
“实质性”还是一个不确定的概念。也许可以把“实质性”定义为至少与某个真正的[1+1]证明（如果能够找到这样一个证明的话）有关，那就要在至少找到了一个[1+1]证明之后才可能发现。如果只要这些证明中有一个证明的结论或中间结论被用于这一个真正的证明中，或有其他相关性，他的命题就被推翻。这还不到头。因为[1+1]的证明的方法不一定唯一，所以他的命题永远不确定。
我也是外行，想东西不专业、不全面，读草绿君帖子受益。