Logic & Philosophy of Science Colloquium
"On Some Recent Developments in the Search for New Axioms"
In this talk I will motivate and describe Gödel's
program for new axioms, discuss the advances that have been made in the
and examine Gödel's philosophical views on set theory in light of
some recent developments. The emphasis will be on the work of
Friday, February 11, 2005
Refreshments will be served