待验证50% 置信事实精确时间
Gurevich 在早期关于抽象状态机的论文中写道，“非确定性算法”是自相矛盾的说法。
1
来源数
50%
置信度
长期有效
时效性
2026/10/20
首次发现
来源
算法本质是确定性的：Yuri Gurevich 论辅助计算
youtubeMicrosoft Research2026/10/19
涉及实体
相关事实
待验证部分数学家认为无法被人脑逐步验证的证明不具备充分的数学意义64% 相似待验证莫拉维克悖论由人工智能先驱汉斯·莫拉维克等人于20世纪80年代提出，其核心观点是：逻辑推理、数学运算等高阶智能对计算机而言相对容易，而感知、运动、抓取等低阶能力反而需要巨大计算资源才能模拟。61% 相似待验证雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表60% 相似待验证海森堡不确定性原理在数学上本质是关于一个函数及其傅里叶变换不能同时高度集中的定理60% 相似待验证计算机科学家Peter Deutsch于1994年归纳了分布式计算的八个谬误60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1073069API
curl https://kongchang.com/api/v1/knowledge/claims/1073069MCP
get_claim(id=1073069)