Alan Turing and the Decision Problem
Background In mathematics and computer science, the Entscheidungsproblem (“decision problem”) is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. David Hilbert was a well-known German mathematician, and together with his collaborator Wilhelm Ackermann they were influential figures in the mathematical community during the early 20th century. In their work titled “Grundzüge der... » read more