待验证50% 置信事实精确时间

史蒂芬·沃尔夫拉姆在1980年代对一维初等元胞自动机进行了系统性分类，将所有256种一维二值规则归入四大行为类别

1

来源数

50%

置信度

长期有效

时效性

2026/7/8

首次发现

来源

儿童画板意外触发新元胞自动机：从边缘案例到算法发现

hackernewshackernews2026/7/3

相关事实

待验证图灵在1936年提出的通用图灵机概念蕴含了计算系统描述和模拟自身的思想65% 相似待验证冯·诺依曼设计出一个拥有29种状态的复杂元胞自动机系统63% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的62% 相似待验证有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论61% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/250410

API

curl https://kongchang.com/api/v1/knowledge/claims/250410

MCP

get_claim(id=250410)