Entscheidungsproblem consists of a challenge to find an algorithm that takes a mathematical statement as input and outputs whether it is true or false. Alan Turing proposed to settle this problem by incorporating basic math into machines. Turing created a Turing machine, a finite program that uses symbols on tape according to rules, to partially solve computable functions. Turing showed that halting made it impossible to fully solve Hilbert's Entscheidungsproblem and contributed to code breaking during World War II. His work formed the basis of modern computer systems.