1936《论可计算数》· 1939《基于序数的逻辑系统》· 1950《计算机器与智能》· 1952《形态发生的化学基础》
1936《论可计算数》· 1939《基于序数的逻辑系统》· 1950《计算机器与智能》· 1952《形态发生的化学基础》
中文内容 v1.3｜方法版本 v1.3｜2026-10-24
归档声明：本档证据以列明的作者文本和正式文献库为依据；逐卡明确已核文本与缺证待核范围。判断等级用于解释强度，不替代原文。
一句定位：④解释世界（B）；③追问根本为重要竞争方向（C）；①为D级压力测试。他给出有效计算的形式模型、证明特定判定任务的限界，随后把机器的普遍性和学习可能性带入智能讨论，并以反应—扩散解释生物形态的生成。
最特别之处：提出机器不仅可执行单个算法，还可读入对其他机器的描述；同时他不把“能运行程序”直接等同于一切心理体验或人类理解。
最后承重点：规则、离散符号状态、编码与模拟关系、证明条件、学习评价和反应扩散动力学承重；每项均为可分析的功能而非终极实体知者。
最微妙处：把计算过程形式化并让通用机器模拟形式活动，是否已正面安置思想自身？这是局部自含，但不能由此推出所有语义理解与生物心智已被最终封闭说明。
本档严格区分文本可靠度（T1—T4）与结构判断强度（A—D）。T1＝作者本人核心论文／著作或作者归属强的早期核心文本；T2＝经可靠确认但体裁、共同署名、传播或作者归属需要进一步界定的材料；T3＝版本、归属或代表性有实质争议的文本；T4＝后世注释、研究与传统扩展，只作背景而不冒充作者原话。人物差异须在各卡标清。
A＝原文直接明说的文本事实；B＝由多处直接核实的作者文本支持、替代读法明显较弱的强结构推论；C＝有原文依据但存在同样合理的结构读法；D＝压力测试／待验证假说。可靠译文可以作为B的依据，并非每项都必须核对作者原语全文；只核馆藏介绍、目录、摘要或后世综述时，不能单凭这些材料承担B。所谓“已核原语”“已核译文”“缺证待核”另记核验状态；T1归属、A级文本事实和B级结构推论互不自动推出。某张E卡为B，也不意味着该人物的竞争六位达到B：还须证明它属于思想的主要任务。
证据方向：支持＝支持当前六位定位；限制＝显示承重功能或解释边界；争议＝原文容许不同读法；中性＝对当前六位判据不构成核心限制。①须同时满足认知（包括思想自身提出、言说、理解）被正面内置于更基础整体，且删除“正确认知根本”的功能后完整最终结构仍成立。局部方法反思、心理说明、形式自编码不能单独完成第一项；③／②局部强证据不自动改变以④为主的思想任务定位。
主要文本：《论可计算数及其在判定问题上的应用》（1936／1937）；《基于序数的逻辑系统》（1939）；《智能机器》（1948 报告）；《计算机器与智能》（1950）；《形态发生的化学基础》（1952）
来源与核验范围：1936英文原论文§1、§6、§8—11、1950《Mind》正文和1952反应—扩散原刊的指定论证构成④B主要依据；1939序数逻辑的证明、1948 NPL 报告仍留具体全文核验边界，E-07、E-08均为C，不作为④B的必要支柱。不能把1948报告写成当年公开期刊文章。
方法边界：T1判定作者归属与核心代表性，不以原语已核为先决条件；每卡另列原语／可靠译文／目录摘要／缺证状态。B级须由已核实的直接作者文本支持；仅馆藏说明或综述不构成独立B证据。科学的可解释、可预测、被证实不是②意义上的究竟认知完成；①的两项条件亦不因某理论能够解释观察者或研究者而自动满足。主类由整体思想任务判定，不由引文数量或单卡判断强度决定。
核心研究问题：“有效可算”能否以有限规则得到严格定义？机器的表现与学习是否能形成可研究的智能标准；数学机制自身有何不可删除的边界？
1. 1936 先由执行规则的机器与配置界定可计算数（E-01—E-03）。
2. 通用机器把机器描述作为输入，形成对计算的局部自含（E-04）。
3. 对不能一般判定的性质与判定问题建立形式限界（E-05—E-06）。
4. 1939对形式系统之外的进一步规则开放研究方向（E-07）。
5. 1948提出未组织机器与训练，1950以模仿游戏和学习机器重审智能问题（E-08—E-11）。
6. 1952以反应与扩散耦合解释均匀组织如何产生形态（E-12）。
以下每张 E 卡分别列明文本层级、具体核验范围、文本要旨、对六位判断的作用、不能推出的越界读法及来源。已核短句只表示引文文本事实；解释的确定性另用 B／C／D 说明。方向词按第 2 章定义；未逐条对照的语句不伪称原语引文。 本证据库继续严格区分两套等级：T1为人物核心、作者归属强且具有代表性的文本；T2为可靠但版本、传承或归属须限定的材料；T3为归属或代表性存在实质争议的文本；T4为后世解释，只作背景。A只标记文本直接明说；B为多处可靠作者文本支持、替代读法明显较弱的强结构推论；C为有根据但同时存在合理替代读法；D为待验证的压力测试。已经核对的可靠译文可以支持B，但摘要、书目、馆藏说明不能单独证明B。A级文本事实不自动把复杂解释提升至A。
支持＝支持当前六位判断；限制＝显示结构承重或边界；争议＝读法不唯一；中性＝对当前判断不构成关键限制。
已核英文原文／英译短句（按核验状态区分）：According to my definition, a number is computable if its decimal can be written down by a machine.
原典内容要旨（本档转述，非逐字引文）：可计算数被限定为十进展开可由有限机器步骤产生的数，作者说明类似问题也可推广到函数与判定式。
此处的结构作用：支持｜正面规定④研究对象；③竞争来自“有效方法的界限是什么”而非形上实体论。
不能由此推出：定义计算数不等于宣布数学真理全能机械判定。
原典内容要旨（本档转述，非逐字引文）：机器以有限符号、纸带位置和内部配置依规则读写、移动和改变状态，模拟一种有限步骤计算者。
此处的结构作用：支持｜去掉读写与状态转移，后续可计算性定义失去可操作承重点（结构层）。
不能由此推出：抽象纸带不是对实际人脑组织结构的经验测量。
原典内容要旨（本档转述，非逐字引文）：通过自动机器、圆满运行及可持续输出的区别界定可计算序列。
此处的结构作用：支持｜将理论论题限定在严格机器种类与序列性质；预防“任何机器运行皆会完成计算”的越界。
不能由此推出：对于特定机器无法统一判定运行性质，不等于每次实际计算都不可预料。
原典内容要旨（本档转述，非逐字引文）：将机器的标准描述作为数据供另一机器读取，以模拟该机器执行步骤。
此处的结构作用：争议｜最强的局部自含候选：计算规则自身成为可编码、可处理的对象。
不能由此推出：通用模拟不自动包括解释者的所有意义判断，更不是创造一切世界的机器。
原典内容要旨（本档转述，非逐字引文）：借对角方法证明某种对计算机器无穷输出性质的通用判别过程不可能存在。
此处的结构作用：限制｜③对形式完备性界限的证据，阻止将通用机误写成“能解全部问题”。
不能由此推出：必须区分1936原文中的 circle-free 性质与后来常见的停机问题表述，不能机械当作同一个定理句。
原典内容要旨（本档转述，非逐字引文）：把机器判定限界同形式逻辑的通用判定问题相接，得出不可能存在所求普遍机械程序的结果。
此处的结构作用：支持｜让计算模型返回数学基础问题，而不把形式计算当作万能发现引擎。
不能由此推出：不意味着所有逻辑命题都无法证明，更不意味着所有特殊类均无有效算法。
原典内容要旨（本档转述，非逐字引文）：借形式层级与序数标记讨论某些证明能力的拓展，研究有效方法如何在增强系统中变化。
此处的结构作用：争议｜说明③的继续追问超出1936一个结果；不能仅把科学任务理解为单一机器的构造。
不能由此推出：1939所涉及 oracle 的理论用法不能等于已建造实际超计算硬件。
原典内容要旨（本档转述，非逐字引文）：尝试由简单网络状态与训练过程解释某些智能行为如何逐步形成。
此处的结构作用：支持｜④的功能化解释延伸到学习组织；将智能看作变化过程而非一次正确觉悟。
不能由此推出：报告1948写成但1968后首刊，不能写作“1948已公开期刊发表”。
已核英文原文／英译短句（按核验状态区分）：I propose to consider the question, ‘Can machines think?’
原典内容要旨（本档转述，非逐字引文）：提出从“机器会不会思考”的抽象词义争论转向明确的文字交流判别情境。
此处的结构作用：支持｜转化研究问题的证据：游戏用行为标准组织争论，仍在解释智能的任务域。
不能由此推出：模仿游戏不是所有意识和智慧问题的完整哲学定义，更不是某机器已经通过测试的历史报告。
原典内容要旨（本档转述，非逐字引文）：区分讨论中的数字计算机与物理装置形态，并用通用性说明机器的功能范围。
此处的结构作用：支持｜把硬件实现、规则表示和表现评价区分开，建立科学论证的自反结构。
不能由此推出：通用性指形式可模拟，不代表有限资源下所有物理过程皆可实时复现。
原典内容要旨（本档转述，非逐字引文）：把儿童机器、训练与经验反馈纳入智能发展的设想，区别初始程序与训练后的行为。
此处的结构作用：支持｜对“智能=事先写满规则”的模型构成内在修正，也回到教育与交互经验。
不能由此推出：这是研究方案不是1950年已验证的一套成熟机器学习系统。
原典内容要旨（本档转述，非逐字引文）：讨论化学物质在组织内相互反应与扩散，均匀平衡受扰动时可生成空间形态。
此处的结构作用：支持｜最强跨领域回返：用动态机理说明可见差异如何产生，明确属于④解释世界。
不能由此推出：作者提出可行的数学机制而非确认所有生物斑纹均由所举模型完全解释。
computable number｜可计算数：以有效步骤生成表示的严格对象。
a-machine｜自动机器：按确定表格状态变化的理想装置。
universal machine｜通用机器：以符号描述模拟其他机器的形式结构。
Entscheidungsproblem｜判定问题：是否有普遍机械程序作出逻辑判定。
imitation game｜模仿游戏：行为判别的讨论框架。
learning machine｜学习机器：允许训练和行为形成的研究方向。
reaction–diffusion｜反应—扩散：化学动力学与空间扩散耦合机制。
正面证据：根本是哪些过程能够由规则表达并在现实与数学问题中产生可分析的行为；从1936到1952持续跨领域解释（E-01、E-12）。
限制证据：不可判定结果限制“计算可以穷尽所有问题”的夸大解释；1950也没有声称智能等于人的全部意识。
争议读法：③的E-05、E-06在可判定性限界上有B级局部论证，不是“缺证”；但1936的形式定义、1950的智能行为框架与1952的形态动力学组合显示理论任务主要在建模及解释有界现象，故③作为竞争主类为C。1939 E-07 仍待逐式核对，不能作为额外B支柱。
目前最稳妥结论：当前④解释世界（B）；③追问根本（C）真实，但不是此思想全部最终任务。
已经撤回／去自性化：有效计算可不定义而依凭直觉、机器通用性等于任何问题皆有算法、智能只能由人的特定材料承担等预设（E-01、E-05、E-09）。
核心结构承重点：有限配置与符号规则、机器描述的编码、逻辑证明条件、对学习与形态模型的操作定义。
争议功能承重点：1950的评价需要人类观察者与文字交流，但这是实验判别标准，不证明世界或智能存在要以某个“正确认识根本”作为最后条件。
承重点的性质：形式结构、行为测验与动力学机制，均属于依具体问题设置的功能关系，不是静态实体。
删除以后仍成立什么：不同物理媒介可实现同一个计算表格；删除1950某个游戏叙述例子，通用机器理论仍可成立（表达／教学层）。
删除以后在哪里断裂：去掉有限状态及读写规则，1936§1的计算定义瓦解；去掉编码与模拟规则，§6通用机器论证不能运行；去掉反应与扩散的耦合，1952自发成纹的数学条件链不能按原模型导出。 按1936 §1，机器动作由“所扫描符号＋机器配置（m-configuration）”决定，并在§3具体转移表落实；删去这种状态—符号—动作关系，算法过程便无法按文内规则定义。
§6通用机器要求另一机器读取标准描述（standard description）；删去编码，模拟者无从按描述选择被模拟转移（E-02、E-04；S1）。1952仅限定反应—扩散机制的模型结论，不直接断言生物全部形态必由该机制形成。
断裂层级：机器配置、编码与模拟为结构层；训练样本为实践路径层；反应扩散数学参数为模型结构层；某个测试故事为教学层。
完整究竟结构中的地位：相关理论的结果在给定形式和实验条件下成立，不存在“机器或研究者最终证悟了根本”的完成关系。
完成后存在方式：不适用悟后主体；研究成果继续接受可计算性、实验与模型适用域的检验。
思想自身的位置（自反／自含）：通用机可把机器规则当作数据，形成强局部形式自含；意义解释、评价规则和生物过程没有因此被单一模型完备封闭。
回返：形式逻辑问题返回实际数字计算、学习机器教育以及生物形态生成，体现可迁移但不混同的解释策略。
另一种合理读法：③以“什么是机械有效方法、有哪些形式极限”为主线，见1936、1939；但难覆盖1952机理研究的主要任务。
当前最稳妥边界：④（B），③（C），①（D）。局部形式自含与整体发生本身之间不能用一句“万能机器”打通。
判断等级：1936与1950关键形式任务为B；1948传承层与1939部分证明为C；①为D。
自反：1936让关于计算的研究反过来研究机器自身的能力限界，是明确的方法自反。
自含的正面证据：E-04在计算对象域内把机器描述变成机器输入，形式规则可被另一规则系统操作，局部性质可按B确认。但这只是“计算对象及语法表达”的限定域，不包含本档论证的语义真值、全部语言意义与现实理解的正面总说明，因此①第一项按其完整定义并未满足；这种局部性质不改变①的完整判据。
认知删除测试：删去某个意识主体的正确认出，机器仍按表运行；但同一结构不能正面说明全部意义、意识、理解和自身发言，①第一项仍不成立。
当前最稳妥判断：局部自含可以 B 级承认，不能偷换为①所需的完备自含；②也没有独立正确觉悟作为终局条件。
正面证据：一个机器描述成为另一机器的输入，让“计算描述自己的计算条件”具有可证技术内容（E-04）。
限制证据：§8—11的限界说明形式自描述并不能解决一切语义和判定问题。
争议读法：可把这一成果读作③的深刻自反，也可按跨领域科学产品归④；两者不由聪明程度决定。
目前最稳妥结论：最终④（B）；③（C），①（D）。
④：可计算模型、通用模拟、智能行为与化学形态获得规则性解释（E-01—E-04、E-09—E-12；B）。
③：1936判定限界和1939序数逻辑保留对数学基础的真问题（E-05—E-07；C）。
②：文字交流评估或训练不等于宇宙最终必须被正确认出。
①：1936通用机器实现计算域内的形式性自编码（E-04，局部B），却未正面内置所有言说、语义理解及其更基础发生关系；①完整第一项不成立，不因局部B而变成①C（D）。
最终定位：④解释世界（B）；③追问根本为重要竞争方向（C）；①为D级压力测试
把有效计算从直观心理能力转写成可数学分析的状态过程，并展示这一过程的通用性与形式边界，同时将机器学习与自发形态生成变为可研究的问题。
最强反读：通用机自描述且能执行任何计算，因此整个存在与思想也在其中。
裁定回应：通用性限定于所定义的可计算过程，不包含对全体意义与存在的完整正面安置。
最强反读：既有无法普遍决定的问题，就不能相信计算方法。
裁定回应：原定理规定不可存在的普遍算法类型，不否认大量具体算法能够运行。
最强反读：只要文字问答像人，便已证明具有主观意识。
裁定回应：1950是替换争论问题的测试框架，并没有演绎证明现象意识的内在性质。
最强反读：需要人判断训练，智能完成依赖最终知者。
裁定回应：训练评价是一项工程安排，可变且非宇宙或智能的究竟本体条件。
最强反读：1931和1936的自指都是一个定理的不同写法。
裁定回应：二者形式系统与论证目标不同，须区别系统内不可判定与一般有效程序的不可存在。
最强反读：有反应扩散方程就已经说明自然生命形态全部成因。
裁定回应：论文建立机制可能性与例示，生物经验验证和参数域仍受限制。
与哥德尔（No.62）比较，同关注形式化限界，图灵强调有效步骤及算法判定；与玻尔（No.61）比较，都保留观测／表述条件，但量子实验描述与机器规则是不同领域；与达尔文（No.63）比较，1952形态生成是发育动力学机制，不取代自然选择和谱系解释。
总括：图灵用可计算性、通用性与不可判定性构成对规则计算的限定说明，并把学习与形态生成推进为模型研究；他的自含是明确的形式局部结构，不等于①的整体发生。
最终定位：④解释世界（B）；③追问根本为重要竞争方向（C）；①为D级压力测试
范围限制：证据核验程度逐卡列出；存在合理替代解释处保持 C；暂未核实的原文不作为直接引文。 ④B独立由1936、1950、1952指定原文形成；1939与1948材料仍按缺证或局部核验处理，不冒称已核全文。
来源 01｜S1｜图灵1936《论可计算数》可核英文正文及分节：https://www.abelard.org/turpap2/tp2-ie.asp
来源 02｜S2｜《Mind》1950《计算机器与智能》论文原刊全文：https://doi.org/10.1093/mind/LIX.236.433
来源 03｜S3｜伦敦数学学会图灵论文原刊集合，含1939序数逻辑：https://londmathsoc.onlinelibrary.wiley.com/doi/toc/10.1112/%28ISSN%291460-244x.alan_turing_collection
来源 04｜S4｜图灵科学文献目录：1948 NPL 报告及后出版史：https://www.turing.org.uk/sources/biblio1.html
来源 05｜S5｜剑桥大学所存1952《形态发生化学基础》原刊PDF：https://www.damtp.cam.ac.uk/user/gold/pdfs/teaching/old_literature/Turing1952.pdf
来源 06｜S6｜剑桥图灵数码档案：1950《Mind》打字稿：https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-9
文本版本说明：引文如涉及英译，按该卡注明的英译版本理解，不冒称原语；本档不将现代后续研究成果当作作者本人原文；目前核验边界已在卡内逐条明示。