Kurt Godel

Solomon Feferman has been a Professor of Mathematics and Philosophy at Stanford University since 1956, from which he retired in 2004. He is a Fellow of the American Academy of Arts and Sciences, was President of the Association for Symbolic Logic in 1980-2, and was the recipient of the Rolf Schock Prize for Logic and Philosophy in 2003. Feferman was editor-in-chief of the Collected Works of Kurt Godel (1986-2003). Charles Parsons is Edgar Pierce Professor of Philosophy, Emeritus, at Harvard University. He retired in 2005 but has subsequently been a visiting professor at UCLA and the University of Chicago. Parsons is the former longtime editor of the Journal of Philosophy and a former editor for Bulletin of Symbolic Logic. He is the author of Mathematical Thought and Its Objects and a co-editor of Volumes III-V of Kurt Godel's Collected Works. Stephen G. Simpson is a mathematics professor at the Pennsylvania State University. He has lectured and published widely in mathematical logic and the foundations of mathematics. Simpson is the developer of the foundational program known as Reverse Mathematics and the author of Subsystems of Second Order Arithmetic, 2nd Edition.