淘客熙熙

主题:【原创】科学=2 -- wild007

共:💬129 🌺416 🌵12
全看分页树展 · 主题 跟帖
家园 同意,对歌德尔定理的描述完全不对路子

对现代逻辑就是完全没有认识。Taski的方案恰恰就包含了三个基础公理,并且把合取和析取统一解释为蕴含和取非,进一步区分了形式逻辑的两个层次——形式系统及其语义解释。把成真条件归于在语义系统和形式系统之间的映射。歌德尔证明经典命题逻辑的一致性不能由命题逻辑系统自身得出,他的证明基本上现在没几个人会去看的,因为现在教材里讲的都是用典范模型的方法来证明歌德尔定理。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河