Entscheidungsproblem (decision problem) — The Number Path
Node
Entscheidungsproblem (decision problem) (Theorem) in The Number Path. Era: 1936. Formula: First-order validity undecidable. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.