谁能和我聊聊哥德尔定理的

一直受到这个定理的迷惑，一直没有很好的理解，特别是关于算法理论的，我们现在的程序构造是完备的吗？

解决方案 »

  1.   

    一切尽在google中http://www.kxwsl.com/ReadNews.asp?NewsID=1235
      

  2.   

    这个文章写得不好，霍金说他怀疑物理学及是否可以找到支配宇宙运行的终极规律，他依据的说法就是哥德尔定理。由此可见，哥德尔定理并不只是局限在数论的。关于定理的本身和详细的证明过程的原始文字，我一直没找到，google上面都是科普，都是用类比的方法在解释，很难让人进行深入思考。
      

  3.   

    computability 的书里都提到 理解不深刻
      

  4.   

    <font color='red'>签名</font>
      

  5.   

    http://www.ads4cn.com/newsbar/refferer.asp?valenhua
      

  6.   

    关于Godel不完全定理的较详细的说明可参看：
    http://www.math.hawaii.edu/~dale/godel/godel.html#CantorUncountability
      

  7.   

    要看书，可看Kleene 1952年写的"Introduction to Metamathematics＂，
    中文已经有翻译，叫"元数学导论"．
    这本书是供数学系而且是研究生读的，另外，写得有些乱．
      

  8.   

    我也没看懂，现在大概是这样理解的：在定义一个系统时，总会出现依赖更底层的东西的情况，而那个更底层的东西往往会使该系统不完美。
    这就像：
    高级语言无法覆盖所有的机器指令，编写操作系统还得靠汇编
    Java、.Net号称跨平台，但实际上是还得在不同平台上安装它们的虚拟机
      

  9.   

    ckp(surge) 
    推荐罗杰。彭罗斯的《皇帝新脑》。
    ----
    《皇帝新脑》的92年有中文译本　归于第一推动丛书．
    第２集的　<数学：确定性的丧失>　也不错　
    歌德尔曾给出过一个类似＂这个命题是错误的＂有差异的变异体：在1934年5月4日，a做单一陈述
    ＂a 在1934年5月4日所说的每一句话都是假的＂；歌德尔定理也是同样针对　形式主义逻辑的　．
      

  10.   

    .NET-Club-9  （20152522）！.NET开发俱乐部仅提供开发交流平台，实现资源互补，共同进步！谢绝聊天！
    进群需有.NET开发经验
    欢迎广大。NET开发者踊跃加入
      

  11.   

    .NET-Club-9  （20152522）！.NET开发俱乐部仅提供开发交流平台，实现资源互补，共同进步！谢绝聊天！
    进群需有.NET开发经验
    欢迎广大。NET开发者踊跃加入
      

  12.   

    .NET-Club-9  （20152522）！.NET开发俱乐部仅提供开发交流平台，实现资源互补，共同进步！谢绝聊天！
    进群需有.NET开发经验
    欢迎广大。NET开发者踊跃加入
      

  13.   

    kingtoo008() ：
    你们提供的价格已经没有竞争力了，很多服务公司都能提供１G／100元的服务。
      

  14.   

    人工神经网络（ANN）具有自然神经网络的自学习和自适应的特性。