[FOM] History of computable functions

Andrej Bauer andrej.bauer at andrej.com
Wed Nov 4 03:12:39 EST 2009

A student of mine is working on a seminar in which he will show in
excruciating detail that the general recursive functions embed in
untyped lambda calculus (this is at undergraduate level). He would
like to know more about the history of computable functions, lambda
calculus, Turing machines, etc., with a reasonably correct timeline of
who did what when. Can someone please suggest some reading material?


Andrej Bauer

More information about the FOM mailing list