艾伦·图灵 - 论可计算数及其在可判定性问题中的应用
艾伦·图灵 (1936)1936年,24岁的艾伦·图灵发表了他对希尔伯特可判定性问题的解决方案:是否存在算法来确定任何数学陈述是否可证明?图灵的答案通过发明而来——他通过想象一台理论机器定义了'算法'的含义。无限磁带分成单元,左右移动的读/写头,决定行为的有限状态集。这台'自动机器'可以模拟任何机械计算。然后是突破:他描述了通用计算机,可以通过从磁带读取其描述来模拟任何其他图灵机。你用过的每台计算机都实现了这个1936年的思想实验。 第46卦(升)描述轻松上升——木在地中生长,渐进但不可阻挡的前进。图灵从纯数学向上推进到定义计算本身。不是建造硬件——理论化所有未来硬件将实现的抽象基础。理论机器成为普遍真理:如果一个过程是可计算的,图灵机可以计算它。在智能手机之前六十年,他已经定义了它们的基本限制。
Practical Integration
你正在解决一个特定问题——优化这个API,修复这个错误,交付这个功能。问题是你是在向上推进还是只是横向移动。你的解决方案是否建立启用未来增长的基础,还是只是修补今天的问题。 1936年的图灵面对希尔伯特可判定性问题:是否存在算法来确定数学陈述是否可证明?他可以狭义地回答——特定情况下是或否,展示限制的例子。相反,他向上推进到基础:'算法'是什么意思?什么定义机械计算? 通用机器出现了:理论抽象最终将成为建造的每台计算机。不是因为图灵试图发明计算机——他在做纯数学。但通过推进到最深层,通过将小理论事物(磁带单元、状态转换、读/写操作)堆积成严格基础,他定义了计算本身。 第46卦:木在地中生长。植物不通过暴力强行向上。它从坚实的根持续生长,地屈服于那种有机压力。图灵的理论工作自然向上推进——数学如此基础以至于硬件最终必须实现它。冯·诺依曼架构、此后的每个CPU、你的手机、云——所有图灵机。 这是大多数工程师错过的:横向移动感觉富有成效。交付功能,满足截止日期,解决即时问题。但你不是在建立基础——你在积累技术债务和复杂性。真正的进步来自首先向下推进,然后向上。到达基岩原则,然后建立使其上一切更简单的抽象。 经典文本:积小以高大。图灵堆积:计算的定义、普遍性的证明、可判定性的分析、有效过程的形式化。小数学事物。它们成长为计算机时代。 你的版本:你正在解决API超时问题。横向移动:增加超时限制,修补症状。向上推进:为什么这个操作需要这么长时间?基本约束是什么?是否有消除这整类问题的抽象?横向修复今天交付。向上推进可能需要更长时间,但它成长为从架构上防止超时的基础。 图灵没有建造计算机。他定义了什么是计算。那比实现更深——它是所有实现从中生长的基岩。当你推到那个层次,你的工作变得不可避免。其他人会实现它,因为基础要求它。 木通过地生长。不是通过力量——通过来自坚实根的持续压力。你不能催促它。但你也不能阻止它。找到你领域的基岩原则。建立理论基础。将小精确事物堆积成严格抽象。然后观察解决方案如何自然从那个基础向上生长。 有奉献性格的君子。图灵独自工作,不确定是否有人关心抽象可计算性。理论机器似乎与实际工程脱节。但基础就是基础。一切最终都依赖于它。通过首先深入来向上推进。这就是个别解决方案如何成为普遍真理。