The Dennes Room

Event Detail

Fri Sep 3, 2010
60 Evans Hall, 4:10–6 PM
Logic Colloquium
W. Hugh Woodin (University of California, Berkeley)
Strong Axioms of Infinity and the Search for V

Professor Woodin plans to give a broad and nontechnical overview of the prospects of the existence of an ultimate version of Gödel’s Axiom of Constructibility. The talk will be essentially a repeat of the Plenary Lecture in Logic at the International Congress of Mathematicians in Hyderabad, India, which he delivered on Thursday, August 26.

The biweekly LOGIC TEA will be held in the Alfred Tarski Room (727 Evans Hall) immediately following the Colloquium with support from the Graduate Assembly).