五千年(敝帚自珍)

主题:【原创】对唯物主义的批判——拒斥所谓的【不言自明】 -- 涉雪之狐

共:💬93 🌺29
全看分页树展 · 主题 跟帖
家园 这就够了,我们已无争辩的必要。

严格来说——我的说法,仅仅是一个推论。而非事实。
我认为,作语言和逻辑研究的人,对严谨的要求应该是深入骨髓的。老实说,你先前说话的随意,很大程度上损害了你的credit。

也许你不以为然,但是这种事是存在的。记得熊庆来还是谁说过,有一段时间无数人声称自己证明了歌德巴赫猜想,数学所每天都要收到成麻袋的证明稿件。在费劲力气审阅了一些稿件后,数学所的专家不得不拒绝审阅类似的稿件,因为成本太高。数学证明跟你的文章有点像,都是有着大量的专业语言,论证过程繁复而且有绝对的逻辑过程。任何一点细微的逻辑错误就可能导致整个证明的无效。但是这种逻辑错误又是很难一眼看出的。做过程序编译的人都能理解这个困难。这样的话,你能想象一个初等代数都会算错的人,证明了歌德巴赫猜想?虽然这也不是没有可能。这就是我质疑你的一些似是而非的说法的原因。我的理解是,一个数论大牛的初等代数应该是没有问题的。

至于

在此,我想——你可能只注意了艾耶尔的证实原则的第一选言部分。而对于第二选言部分,好像未曾注意。(艾耶尔的证实原则——语言表述是一选言命题)

你太抬举我了,我完全不知道你在说什么。呵呵。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河