History

• 1931 Gödel

• 1935 Turing introduced to Hilbert’s problem

• 1936 Turing Machines

• Also Church’s Lambda Calculus

• During this same time- Markov, Post, Kleene

Previous slide

Next slide

Back to first slide

View graphic version