Turing machine — The Number Path
Node
Turing machine (Framework) in The Number Path. Era: 1936. Formula: Church–Turing thesis. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.
Turing machine (Framework) in The Number Path. Era: 1936. Formula: Church–Turing thesis. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.
Canonical: https://axiom.tanaakk.com/lineage/number-path/turing-machine/