Gary R. Mar
Encyclopedia
Gary R. Mar is an American philosopher specializing in Logic, philosophy of mathematics, contemporary analytic philosophy, and philosophy of religion . He studied under the late logician Alonzo Church
and currently teaches at Stony Brook University. He has received Chancellor’s and President’s Award for Excellence in Teaching (1993), the Alumni Association Outstanding Professor (1995), a Pew Foundation Research Fellowship (1995-1996), and he has recently been elected to Stony Brook’s first Academy of Scholar-Teachers (1996).
Alonzo Church
Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
and currently teaches at Stony Brook University. He has received Chancellor’s and President’s Award for Excellence in Teaching (1993), the Alumni Association Outstanding Professor (1995), a Pew Foundation Research Fellowship (1995-1996), and he has recently been elected to Stony Brook’s first Academy of Scholar-Teachers (1996).
Publications
- Logic: Techniques of Formal Reasoning (second edition) (HBJ, 1980)
- The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling (M.I.T. Press) (forthcoming)
External links
- http://www.stonybrook.edu/philosophy/faculty/gmar/ - Faculty Page