The origin of the Entscheidungsproblem goes back to Gottfried Leibniz, who in the seventeenth century, after having constructed a successful mechanical calculating machine, dreamt of building a machine that could manipulate symbols in order to determine the truth values of mathematical statements.
Ursprunget till Entscheidungsproblemet går tillbaka till Gottfried Leibniz, som efter att på 1600-talet ha konstruerat en fungerande mekanisk räknemaskin drömde om att bygga en maskin som kunde manipulera symboler för att bestämma sanningsvärden för matematiska uttalanden.