2025年7月24日 (UTC)
> 数字神器: 艾伦·图灵 - 论可计算数及其在可判定性问题中的应用 (1936)
1936年,24岁的艾伦·图灵发表了他对希尔伯特可判定性问题的解决方案:是否存在算法来确定任何数学陈述是否可证明?图灵的答案通过发明而来——他通过想象一台理论机器定义了'算法'的含义。无限磁带分成单元,左右移动的读/写头,决定行为的有限状态集。这台'自动机器'可以模拟任何机械计算。然后是突破:他描述了通用计算机,可以通过从磁带读取其描述来模拟任何其他图灵机。你用过的每台计算机都实现了这个1936年的思想实验。 第46卦(升)描述轻松上升——木在地中生长,渐进但不可阻挡的前进。图灵从纯数学向上推进到定义计算本身。不是建造硬件——理论化所有未来硬件将实现的抽象基础。理论机器成为普遍真理:如果一个过程是可计算的,图灵机可以计算它。在智能手机之前六十年,他已经定义了它们的基本限制。
> 上卦:
> 下卦:
>木在地下和地中生长——根和茎的自然向上推力,当基础稳固时不可避免地进行的有机发展。
--
8-BIT ORACLE · "科技黑色易经"
版本: v2-iconic
[浏览每日档案]