超图灵计算

  超图灵计算 (2009-08-09 23:45:11) 标签： 教育 分类： 工做篇 1. 图灵的历史贡献php        阿兰·图灵[1]是一位天才的数学家，最先对歌德尔[2]关于“逻辑没法刻画全部数学公理”的证实进行了扩展，指出计算机不能彻底证实数学命题。这里数学与计算机的联系后来被发展成了计算机科学的数学基础，如同物理学和其余天然科学中的数学基础同样。本文指出，图灵机并不适于做为解决

>>阅读原文<<