The Entscheidungsproblem

URI: https://gptkb.org/entity/The_Entscheidungsproblem

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:category	gptkb:Mathematics gptkb:logic Undecidable problem
gptkbp:field	gptkb:logic gptkb:Computability_theory
gptkbp:language	gptkb:German
gptkbp:meaning	gptkb: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	gptkb: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
https://www.w3.org/2000/01/rdf-schema#label	The Entscheidungsproblem