This will be a talk 16 October 2023 (Note new date!) for the Colloquium of the Harvard Center for Mathematical Sciences and Applications (CMSA).
Abstract: Let us explore the nature of strategic reasoning in infinite games, focusing on the cases of infinite Wordle and infinite Mastermind. The familiar game of Wordle extends naturally to longer words or even infinite words in an idealized language, and Mastermind similarly has natural infinitary analogues. What is the nature of play in these infinite games? Can the codebreaker play so as to win always at a finite stage of play? The analysis emerges gradually, and in the talk I shall begin slowly with some easy elementary observations. By the end, however, we shall engage with sophisticated ideas in descriptive set theory, a kind of infinitary information theory. Some assertions about the minimal size of winning sets of guesses, for example, turn out to be independent of the Zermelo-Fraenkel ZFC axioms of set theory. Some questions remain open.
I will speak at the Harvard Logic Colloquium, October 20, 2016, 4-6 pm.
Abstract. Set-theoretic geology is the study of the set-theoretic universe $V$ in the context of all its ground models and those of its forcing extensions. For example, a bedrock of the universe is a minimal ground model of it and the mantle is the intersection of all grounds. In this talk, I shall explain some recent advances, including especially the breakthrough result of Toshimichi Usuba, who proved the strong downward directed grounds hypothesis: for any set-indexed family of grounds, there is a deeper common ground below them all. This settles a large number of formerly open questions in set-theoretic geology, while also leading to new questions. It follows, for example, that the mantle is a model of ZFC and provably the largest forcing-invariant definable class. Strong downward directedness has also led to an unexpected connection between large cardinals and forcing: if there is a hyper-huge cardinal $\kappa$, then the universe indeed has a bedrock and all grounds use only $\kappa$-small forcing.
I am pleased to announce the upcoming conference at Harvard celebrating the 60th birthday of W. Hugh Woodin. See the conference web site for more information. Click on the image below for a large-format poster.
I will be participating in the culminating workshop of the Exploring the Frontiers of Incompleteness conference series at Harvard University, to take place August 31-September 1, 2013. Rather than conference talks, the program will consist of extended discussion sessions by the participants of the year-long series, with the discussion framed by very brief summary presentations. Peter Koellner asked me to prepare such a presentation on the multiverse conception, and you can see the slides in The multiverse perspective in set theory (Slides).
My previous EFI talk was The multiverse perspective on determinateness in set theory, based in part on my paper The set-theoretical multiverse.
This talk, taking place October 19, 2011, is part of the year-long Exploring the Frontiers of Incompleteness (EFI) series at Harvard University, a workshop focused on the question of determinateness in set theory, a central question in the philosophy of set theory. Streaming video will be available on-line, and each talk will be associated with an on-line discussion forum, to which links will be made here later.
In this talk, I will discuss the multiverse perspective on determinateness in set theory. The multiverse view in set theory is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous diversity of set-theoretic possibilities, a phenomenon that challenges the universe view. In particular, I shall argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for.
Workshop materials | Article | Slides | EFI discussion forum | Video Stream