主题：【原创】科学=2 -- wild007
共:💬129 🌺416 🌵12
复 思而不学则殆
对现代逻辑就是完全没有认识。Taski的方案恰恰就包含了三个基础公理，并且把合取和析取统一解释为蕴含和取非，进一步区分了形式逻辑的两个层次——形式系统及其语义解释。把成真条件归于在语义系统和形式系统之间的映射。歌德尔证明经典命题逻辑的一致性不能由命题逻辑系统自身得出，他的证明基本上现在没几个人会去看的，因为现在教材里讲的都是用典范模型的方法来证明歌德尔定理。
- 相关回复 上下关系8
🙂你应该就事论事逐条批驳他对科学的歪曲 mach 字44 2012-07-05 19:27:47
🙂同意，对歌德尔定理的描述完全不对路子
🙂哥德尔定理百度一下很容易 1 wild007 字668 2012-07-06 08:24:46
🙂你不做那些基于细节的训练是不可能理解其中的思想的 10 fride 字851 2012-07-06 16:05:34
🙂其实思考的方向和目的不同会带来很多的误解 3 wild007 字2155 2012-07-06 22:33:27
🙂【原创】科学方法和辩证法 1 wild007 字3035 2012-07-05 08:06:25