Effective Processes, Computation, and Complexity
Sunday, May 6th, 2007
In 1936, two important papers in the field of mathematics and logic were published. One was “An Unsolvable Problem of Elementary Number Theory” by Alonzo Church. [1] The other was “On computable numbers, with an application to the Entscheidungsproblem” by Alan Turing. [2] These papers were aimed at providing formal and rigorous definitions of the […]