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).
Yes, Alonzo Church died in August 1995. For an obituary, see
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.
University Computing Service, Leeds University, England
"Though all my wares be trash, the heart is true."
- John Dowland, Fine Knacks for Ladies (1600)