Unverified50% confidenceFactExact time
In an early paper on abstract state machines, Gurevich wrote that "non-deterministic algorithm" is a self-contradictory phrase.
1
Sources
50%
Confidence
Long-term
Relevance
10/20/2026
First Seen
Sources
The Algorithm Is Deterministic by Nature: Yuri Gurevich on Auxiliary Computation
youtubeMicrosoft Research10/19/2026
Related Entities
Related Claims
UnverifiedSome mathematicians believe that proofs which cannot be verified step by step by the human brain do not carry sufficient mathematical meaning.64% similarUnverifiedThe Moravec paradox was proposed by AI pioneer Hans Moravec and others in the 1980s, and its core point is: high-level intelligence such as logical reasoning and mathematical operations is relatively easy for computers, while low-level abilities such as perception, movement, and grasping instead require enormous computational resources to simulate.61% similarUnverified雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表60% similarUnverified海森堡不确定性原理在数学上本质是关于一个函数及其傅里叶变换不能同时高度集中的定理60% similarUnverified计算机科学家Peter Deutsch于1994年归纳了分布式计算的八个谬误60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1073069API
curl https://kongchang.com/api/v1/knowledge/claims/1073069MCP
get_claim(id=1073069)