3,094
个编辑
更改
无编辑摘要
|-
|-
| '''数学血统'''
| '''数学血统'''
| [[序理论]]中 [[Knaster–Tarski 不动点定理]]的"可计算版本"<ref name="rogers1967" />
| [[序理论]]中 [[Knaster–Tarski 不动点定理]]的"可计算版本"<ref name="rogers1967">'''Rogers, H., Jr. (1967).''' ''Theory of Recursive Functions and Effective Computability''. McGraw-Hill. 第 11 章 The Recursion Theorem, pp. 179–222.【教科书标准表述；第一/第二递归定理的命名来源】</ref>
| [[对角线方法]]（diagonalization，[[Cantor]]、[[Gödel]]、[[Turing]] 用过的同一种论证技术）的集大成者<ref name="rogers1967" />
| [[对角线方法]]（diagonalization，[[Cantor]]、[[Gödel]]、[[Turing]] 用过的同一种论证技术）的集大成者<ref name="rogers1967" />
|-
|-