待验证50% 置信事实精确时间
Oracle 构造由图灵在 1939 年引入，用于研究相对于某集合的可计算性。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的57% 相似待验证自动化定理证明（ATP）是有数十年历史的研究领域，早期代表系统包括1950年代的逻辑理论机（Logic Theorist）和分辨率证明器（Resolution Prover）57% 相似待验证Lambda演算由Alonzo Church在1930年代提出，与图灵机在计算能力上等价56% 相似待验证图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想55% 相似待验证元胞自动机概念最早由数学家约翰·冯·诺依曼和斯坦尼斯拉夫·乌拉姆在20世纪40年代末提出，最初用于研究自我复制的生物系统53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1026911API
curl https://kongchang.com/api/v1/knowledge/claims/1026911MCP
get_claim(id=1026911)