"On Some Recent Developments in the Search for New Axioms"
|
Abstract:
In this talk I will motivate and describe Gödel's
program for new axioms, discuss the advances that have been made in the
program,
and examine Gödel's philosophical views on set theory in light of
some recent developments. The emphasis will be on the work of
Hugh
Woodin.