Joined Dec 9 2011
Snooters Farm Animal Sanctuary
Almighty God Holy Signature Revealed!!
Pro Wrestling King
Pack's Pups Kennel
Greenleaves Habitat Homestay Wayanad Kerala
My name is David Alistair and I was born on June 14, 1933. I am an American mathematician and logician, responsible for creating the basis of theoretical computers. Born in Washington, I graduated from Princeton University and earned my doctorate in 1927, where he taught between 1929 and 1967.
My best known work is the development of lambda calculus. My work also showed the existence of problems, which are unsolvable by mechanical devices. The lambda calculus influenced the design of Lisp and functional programming languages and now I'am working on anti virus software review
My work also influenced other famous scientists, such as Stephen Kleene, J. Barkley Rosser or Leon Henkin.