The Entscheidungsproblem

URI: https://gptkb.org/entity/The_Entscheidungsproblem
GPTKB entity
Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:category gptkb:Mathematics
gptkb:logic
Undecidable problem
gptkbp:field gptkb:logic
gptkb:Computability_theory
https://www.w3.org/2000/01/rdf-schema#label The Entscheidungsproblem
gptkbp:language gptkb:German
gptkbp:meaning Decision problem
gptkbp:notablePublication gptkb:"An_Unsolvable_Problem_of_Elementary_Number_Theory"_(Church,_1936)
"Über die Entscheidungsproblem der mathematischen Logik" (Hilbert & Ackermann, 1928)
"On Computable Numbers, with an Application to the Entscheidungsproblem" (Turing, 1936)
gptkbp:proposedBy gptkb:David_Hilbert
gptkb:Wilhelm_Ackermann
1928
gptkbp:relatedTo gptkb:Church–Turing_thesis
gptkb:Halting_problem
gptkb:First-order_logic
Undecidability
gptkbp:solvedBy gptkb:Alan_Turing
gptkb:Alonzo_Church
1936
No general algorithm exists
gptkbp:translatedInto Decision problem
gptkbp:type Whether there is an algorithm to decide the truth of any mathematical statement
gptkbp:bfsParent gptkb:Church–Turing_thesis
gptkbp:bfsLayer 5