古代印度，中国和西方的数学家是如何探索“零”和“无穷”概念的？ 2024-12-15

问：印度数学家如婆罗摩笈多（ Brahmagupta ）和阿耶波多（ Aryabhata ）为什么在研究天文学和数字时引入了 “ 零 ” 和 “ 无穷 ” ...

(605)次阅读|(0)个评论

《图灵注释》简介（Charles Petzold） 2024-12-14

这是《图灵注释》一书作者 Charles Petzold 自己写的引言摘要： https://www.charlespetzold.com/books/ 任何探索过计算机历史、技术或理论的人都可能遇 ...

(554)次阅读|(0)个评论

图灵文章《论可计算数及其在判定问题上的应用》的第9章译文 2024-12-11

§9.     可计算数的范围 还没有人试图证明 “ 可计算 ” 的数包括所有被自然视为可计算的数，所有能给出的论证本质上都必然是对 ...

(949)次阅读|(1)个评论

[转载]图灵社区访谈《图灵注释》作者Charles Petzold的节选 2024-12-11

以下是 2012 年图灵社区访谈《图灵注释》作者 Charles Petzold 的节选 : https://m.ituring.com.cn/article/19078 注：《图灵注释》（ The Annotated ...

(129)次阅读|(0)个评论

可计算性和能行可计算性 - 图灵1936年论文的附录 2024-12-09

1936 年，丘奇在《美国数学杂志》 (American Journal of Mathematics ）上发表了题为 “ 初等数论中的不可解问题 ” （ An unsolvable problem of ele ...

(756)次阅读|(0)个评论

波斯特评论图灵的“论可计算数及其在判定问题中的应用”（1947） 2024-12-08

图灵回应埃米尔 · 波斯特（ Emil Post ）对 1936 年论文 “On Computable Numbers, with an Application to the Entscheidungsproblem” 的评论（ 图灵回应Po ...

(335)次阅读|(0)个评论

图灵回应波斯特的批评 - 一封写给丘奇信件的草稿 2024-12-08

亲爱的丘奇教授， 我附上了我的论文《类型理论的实用形式》的校样和重印订单。 看到克莱尼（Stephen  Kleene ） 对波斯特（Emile  Post） （关 ...

(286)次阅读|(0)个评论

查看更多