User photo

Alonzo Church

About

Alonzo Church was a renowned American mathematician, logician, philosopher, professor and editor, who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language. Alongside his student Alan Turing, Church is considered one of the founders of computer science.

Books

Patrick Suppes, William Craig, Lewis White Beck, Alan Gewirth, Herbert Fingarette, Kaarlo Jaakko Juhani Hintikka, Henry Babcock Veatch, American Philosophical Association, Alonzo Church, Marjorie Glicksman Grene, Donald Herbert Davidson, Wilfrid Stalker Sellars, Arthur John Terence Dibben Wisdom, May Selznick Brodbeck, Norman Adrian Malcolm, Arthur Walter Burks, John Bordley Rawls, Herbert Paul Grice, William Henry Hay, Alice Ambrose Lazerowitz, Ruth Charlotte Barcan Marcus, Hilary Whitehall Putnam, Leonard Linsky, Kurt Erich Maria Baier, Wesley Charles Salmon, Robert George Turnbull, Monroe Curtis Beardsley, William Payne Alston, Richard McKay Rorty, David Shepherd Nivison, Hector-Neri Castaneda
Presidential Addresses of the American Philosophical Association 1971-1980
Presidential Addresses of the American Philosophical Association 1971-1980
Patrick Suppes, William Craig, Lewis White Beck, Alan Gewirth, Herbert Fingarette, Kaarlo Jaakko Juhani Hintikka, Henry Babcock Veatch, American Philosophical Association, Alonzo Church, Marjorie Glicksman Grene, Donald Herbert Davidson, Wilfrid Stalker Sellars, Arthur John Terence Dibben Wisdom, May Selznick Brodbeck, Norman Adrian Malcolm, Arthur Walter Burks, John Bordley Rawls, Herbert Paul Grice, William Henry Hay, Alice Ambrose Lazerowitz, Ruth Charlotte Barcan Marcus, Hilary Whitehall Putnam, Leonard Linsky, Kurt Erich Maria Baier, Wesley Charles Salmon, Robert George Turnbull, Monroe Curtis Beardsley, William Payne Alston, Richard McKay Rorty, David Shepherd Nivison, Hector-Neri Castaneda