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

共:💬129 🌺416 🌵12 新:

经济管理

同意，对歌德尔定理的描述完全不对路子

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

全看分页树展 · 主题跟帖

相关回复上下关系8
- - 🙂你应该就事论事逐条批驳他对科学的歪曲 mach 字44 2012-07-05 19:27:47
    🙂别难为他了 3 wild007 字504 2012-07-06 08:12:10
    🙂我支持你 mach 字259 2012-07-06 08:56:49
    🙂同意，对歌德尔定理的描述完全不对路子
    🙂哥德尔定理百度一下很容易 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

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

版面群落趣味社区帮助常见问题网站简介基本河规隐私条款使用条款广告说明