Formalize an answer to the question of which problems can be solved computationally (jan 1, 1936 – jan 1, 1943)
Description:
They wanted to formalize an answer to the question of which problems can be solved computationally and several peopledeveloped distinct formalisms as a result.
Turing offered the Turing Machine (1936), Alonzo Church the Lambda Calculus (1936), and Emil Post the Pro duction
System (1943).
Added to timeline:
Date:
jan 1, 1936
jan 1, 1943
~ 7 years