![PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132 PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132](https://image3.slideserve.com/5460132/alonzo-church-mathematician-philosopher-computer-scientist-l.jpg)
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132
Slide 1 Slide 2 1 Slide 3 Alonzo Church λ-calculus Slide 4 Basic intuition: instead of f(x) = x + 5 write f = λx. x + 5 λx. x
![PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470 PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470](https://cdn3.slideserve.com/5519470/alonzo-church-mathematician-philosopher-computer-scientist-n.jpg)
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470
![A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition](https://sophiararebooks.cdn.bibliopolis.com/pictures/5483.jpg?auto=webp&v=1525772362)
A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition
![Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481200106462/resource/name/firstPage-S0022481200106462a.jpg)