Cordially -- Mikhail * God: "Sum id quod sum." Descartes: "Cogito ergo sum."
Zel...@math.ucla.edu *** Popeye: "Sum id quod sum et id totum est quod sum."
itinerant philosopher *** will think for food ** www.ptyx.com ** M...@ptyx.com
ptyx, 6869 Pacific View Drive, LA, CA 90068, 213-876-8234/213-874-4745 (fax)
Come to the Alonzo Church Archive at http://www.alonzo.org *** 310-966-6700
Could someone fill me in on what happened to Professor Church?
I assume he has passed away given the talk of a memorial volume but the
Web page had no further information. I attended a class he taught at UCLA
in the late 1970's (contructive mathematics).
--
Michael P. Cohen home phone 202-232-4651
1615 Q Street NW #T-1 office phone 202-219-1917
Washington, DC 20009-6310 office fax 202-219-2061
mco...@cpcug.org
Yes, Alonzo Church died in August 1995. For an obituary, see
http://www.math.ucla.edu/~asl/0104-toc.htm
--Herb Enderton
h...@math.ucla.edu
Everyone should read Church's book "Introduction to Mathematical Logic",
if only for its copious and fascinating footnotes. The text is less
interesting and can omitted in a first reading.
--
Robert Hill
University Computing Service, Leeds University, England
"Though all my wares be trash, the heart is true."
- John Dowland, Fine Knacks for Ladies (1600)