Turing

999	deterministic
701	computation
687	logic
671	algorithm
667	mathematical
666	machine
664	calculus
655	algorithms
645	theorem
642	finite

previous:	Turin
next:	Turion
random:	Ptarmigan

More distant neighbors

computational Godel quantum recursive logical arithmetic theory semantics abstract recursion infinite polynomial theoretical computing proof proofs definitions computable complexity variables linear arbitrary trivial equations generalized input discrete probabilistic define compiler algebra simpler solved machines correct geometry reasoning random instructions

Back