Abstract
After writing Principia Mathematica with Bertrand Russell, Whitehead seems to have lost interest in the formalization of his system. However, some believe that new developments in mathematical logic, in particular category theory, make possible such formalization. A small group will spend the day of Nov. 2 discussing what is involved and what value such a project would have. This group will include Michael Epperson, California State University Sacramento; Robert Valenza, Claremont McKenna College; and Kevin Clark, Port Townsend Washington.