Slide 13
Slide 13 text
Alonzo Church
M, N → x | λx.M | M N
M, N → x | λx.M | M N
M, N → x | λx.M | M N
M, N → x | λx.M | M N
M, N → x | λx.M | M N
5
* Computer languages? Agree on a common language of computation?
* In 1936, Alonzo Church introduced the lambda calculus:
* Serve as a common language? Like a computational Esperanto?
* Also other calculi/machines. Famous: Turing machines. Which would aliens pick? »» Let's
look: how are they related…