首页 > TAG信息列表 > BCJC

BCJC:59哥德尔对图灵之影响

哥德尔(1906∽1978)生于捷克.卒于美国.是爱因斯坦的好朋友.是数学家.逻辑学家、哲学家.他认为健全的哲学思想与成功的科学研究相关.发展了冯.诺伊曼和伯奈斯的工作. 1931年发表《不确定定理》. 1935年.图灵得知此论文.开始思考这样的算法是不存在的. 1936年发表了《论可计算

BCJC 59弗雷格与可计算数

弗雷格(1848∽1925)德国数学家、逻辑学家.哲学家.是分析哲学的奠基人. 众周所知.数学是最具气质的学科.自毕达哥拉斯提出万物皆数.希望把数理逻辑视为世界运行的机制. 弗雷格作为数理逻辑的创史人.他继承了莱布尼兹计划. 他想用某种不用逻辑的方法来发展逻辑.他用精确的语法

BCJC:59《论可计数》第三页