The computable surreal numbers, Notre Dame Logic Seminar, December 2024

This will be a talk for the Notre Dame Logic Seminar, 3 December 2024, 2:00pm, 125 Hayes-Healey.

Abstract. I shall give an account of the theory of computable surreal numbers, proving that these form a real-closed field. Which real numbers arise as computable surreal numbers? You may be surprised to learn that some noncomputable real numbers have computable surreal presentations, and indeed the computable surreal real numbers are exactly the hyperarithmetic reals. More generally, the computable surreal numbers are exactly those with a hyperarithmetic surreal sign sequence. This is joint work with Dan Turetsky, but we subsequently found that it is a rediscovery of earlier work of Jacob Lurie.

Lecture notes:

See related MathOverflow posts:

Also see my elementary introduction to the surreal numbers: The surreal numbers

Determinateness of truth does not come for free from determinateness of objects, Singapore, November 2024

 This will be a talk for the (In)determinacy in Mathematics conference at the National University of Singapore, 20-22 November 2024

Abstract. I shall discuss the question whether we may regard determinateness of truth as flowing from determinateness of objects in a mathematical structure. I shall showcase several results in the model theory of set theory and arithmetic that seem to speak against this. For example, there are two models of ZFC set theory that share exactly the same arithmetic structure of the natural numbers ⟨ℕ,+,·,0,1,<⟩, what they each view as the standard model of arithmetic, but they disagree about which arithmetic sentences are true in that structure. There are models of ZFC set theory with the same arithmetic structure and the same arithmetic truth, but which disagree on truth-about-truth, or that agree on that, but disagree on higher levels of iterated truth, at any desired level. There are models of set theory with the same natural numbers and real numbers, but which disagree on projective truth. There are models of ZFC that have a rank initial segment Vθ in common, but they disagree about whether it is a model of ZFC. All these examples show senses in which determinateness about objects does not seem to cause determinateness about truth. (This is joint work with Ruizhi Yang.)

The covering reflection theorem, Madison Logic Seminar, October 2024

This will be a talk at the UW Madison Logic Seminar on 22 October 2024.

Abstract. The principle of covering reflection holds of a cardinal κ if for every structure B in a countable first-order language there is a structure A of size less than κ, such that B is covered by elementary images of A in B. Is there any such cardinal? Is the principle consistent? Does it have large cardinal strength? This is joint work with myself, Nai-Chung Hou, Andreas Lietz, and Farmer Schlutzenberg.

The talk will reportedly streamed online, so kindly contact the organizers for access.

I will be staying in Madison for a few days to talk logic with researchers there.

Infinite-time computable analogues of the universal algorithm, Generalized Computability Theory Workshop, Spain, August 2024

This will be a talk at the Generalized Computability Theory workshop in Castro Urdiales, Spain, a beautiful setting on the sea near Bilbao, 19-23 August 2024.

Abstract. I shall present infinite-time computable analogues of the universal algorithm, which can in principle produce any desired output stream, if only it is run in the right set-theoretic universe, and then extended as desired in further universes.

How we might have viewed the continuum hypothesis as a fundamental axiom necessary for mathematics, Oxford Phil Maths seminar, May 2025

This will be a talk for the Philosophy of Mathematics Seminar at the University of Oxford, 19 May 2025.

Abstract. I shall describe a simple historical thought experiment showing how our attitude toward the continuum hypothesis could easily have been very different than it is. If our mathematical history had been just a little different, I claim, if certain mathematical discoveries had been made in a slightly different order, then we would naturally view the continuum hypothesis as a fundamental axiom of set theory, necessary for mathematics and indeed indispensable for calculus.

I shall be speaking on my paper: How the continuum hypothesis could have been a fundamental axiom

Puzzles of reality and infinity, Mindscape Podcast

I was interviewed by Sean Carroll for his Mindscape Podcast, broadcast 15 July 2024.

How the continuum hypothesis could have been a fundamental axiom

Joel David Hamkins, “How the continuum hypothesis could have been a fundamental axiom,” Journal for the Philosophy of Mathematics (2024), DOI:10.36253/jpm-2936, arxiv:2407.02463.

Abstract. I describe a simple historical thought experiment showing how we might have come to view the continuum hypothesis as a fundamental axiom, one necessary for mathematics, indispensable even for calculus.

See also this talk I gave on the topic at the University of Oslo:

Did Turing prove the undecidability of the halting problem?

Joel David Hamkins and Theodor Nenu, “Did Turing prove the undecidability of the halting problem?”, 18 pages, 2024, Mathematics arXiv:2407.00680.

Abstract. We discuss the accuracy of the attribution commonly given to Turing (1936) for the computable undecidability of the halting problem, eventually coming to a nuanced conclusion.

The halting problem is the decision problem of determining whether a given computer program halts on a given input, a problem famously known to be computably undecidable. In the computability theory literature, one quite commonly finds attribution for this result given to Alan Turing (1936), and we should like to consider the extent to which these attributions are accurate. After all, the term halting problem, the modern formulation of the problem, as well as the common self-referential proof of its undecidability, are all—strictly speaking—absent from Turing’s work. However, Turing does introduce the concept of an undecidable decision problem, proving that what he calls the circle-free problem is undecidable and subsequently also that what we call the symbol-printing problem, to decide if a given program will ever print a given symbol, is undecidable. This latter problem is easily seen to be computably equivalent to the halting problem and can arguably serve in diverse contexts and applications in place of the halting problem—they are easily translated to one another. Furthermore, Turing laid down an extensive framework of ideas sufficient for the contemporary analysis of the halting problem, including: the definition of Turing machines; the labeling of programs by numbers in a way that enables programs to be enumerated and also for them to be given as input to other programs; the existence of a universal computer; the undecidability of several problems that, like the halting problem, take other programs as input, including the circle-free problem, the symbol-printing problem, and the infinite-symbol-printing problem, as well as the Hilbert-Ackermann Entscheidungsproblem. In light of these facts, and considering some general cultural observations, by which mathematical attributions are often made not strictly for the exact content of original work, but also generously in many cases for the further aggregative insights to which those ideas directly gave rise, ultimately we do not find it unreasonable to offer qualified attribution to Turing for the undecidability of the halting problem. That said, we also find it incorrect to suggest that one will find a discussion of the halting problem or a proof of its undecidability in Turing (1936).

Read the full paper at the mathematics arxiv:2407.00680. (pdf download available)

Bibliography

Mathematics, Philosophy of Set Theory and Infinity, Back to the Stone Age interview, May 2024

I was interviewed by Francesco Cavina for the Back to the Stone Age series on May 17, 2024, with a sweeping discussion of the philosophy of set theory, infinity, the continuum hypothesis, beauty in mathematics, and much more.

Daniel Solow Author’s Award 2024

My book, Proof and the Art of Mathematics (MIT Press 2020), has been awarded the 2024 Daniel Solow Author’s Award by the Mathematical Association of America.

Proof and the Art of Mathematics, MIT Press, 2020

The MAA asked me to write a brief response to receiving the award…

One of the great pleasures for any mathematician is to share the fascination and wonder of mathematics with those who are eager to learn it—to teach aspiring mathematical minds the art of mathematics, watching as they bend the logical universe to their purpose for the first time. They bring one idea into reactive contact with another, and we observe a carefully controlled explosion of insight, an Aha! moment, the natural consequence of clear and correct mathematical proof. What a joy it has been for me to experience these moments with my students using my book Proof and the Art of Mathematics, and I am truly honored by the recognition of the Daniel Solow award for this book. I am so glad to learn that others have understood so well what I was trying to do with the book and that they also have benefitted from it.

The book is filled with theorems, good solid theorems, theorems which even experienced mathematicians find compelling, but all of them are amenable to elementary proof. I find it an ideal context for teaching the craft of proof writing, showcasing a range of proof methods and styles. Many theorems are proved several times in completely different ways, using different argument methods that engage the problem from totally different perspectives. One thus realizes how a mathematician’s mind expands.

Every chapter ends with a discussion of various mathematical habits of mind, tidbits of wisdom on how to be a mathematician. State claims explicitly, not only for the benefit of your readers but for the clarity of your own conceptions. In your mathematical thinking and analysis, Use metaphor, which can provide a scaffolding of thought for otherwise difficult or abstract mathematical ideas. For mastery and insight, Express key ideas several times in different ways, thereby exploring your concepts more thoroughly. In every mathematical context, Have favorite examples, for they provide a playground of test cases to deepen understanding.

For a taste of the book, let me ask you: If two polygons have the same area, can you cut the first with a scissors into finitely many pieces that can be rearranged exactly to form the second? You’ll find out in chapter 10. What about a square and circle of the same area, allowing cuts along curves? What about higher dimensions?


The book has a supplementary text with many further examples and extensions of the ideas and discussion, including answers to all the odd-numbered exercises and more.

See also the nice announcement at Notre Dame.

Life Story of Mathematician & Philosopher of Infinity, interviewed by The Human Podcast, May 2024

I was interviewed by The Human Podcast on 17 May 2024. Please enjoy our sweeping conversation about nature of infinity, the nature of abstract mathematical existence, the applicability of mathematical abstractions to physical reality, and more. At the end, you will see that I am caught completely at a loss in answer to the question, “What is it to live a good life?”.

Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024

I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024.

Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative conception, giving rise to the cumulative hierarchy, but undertaken in the context of multivalued logic. The shape of the logic that is available in effect enables a certain constructive interference of the truth values in such a way that can affect the truth judgements. The core utility of forcing arises from the fact that we can often control these consequences by making a careful choice of the logic to be used, thereby controlling the truth values even of natural set-theoretic statements such as the continuum hypothesis.

The continuum hypothesis could have been a fundamental axiom, CFORS Grad Conference, Oslo, June 2024

I shall be giving a keynote lecture for the CFORS Grad Conference at the University of Oslo, 19-20 June 2024.

Abstract. I shall describe a simple historical thought experiment showing how our attitude toward the continuum hypothesis could easily have been very different than it is. If our mathematical history had been just a little different, I claim, if certain mathematical discoveries had been made in a slightly different order, then we would naturally view the continuum hypothesis as a fundamental axiom of set theory, one furthermore necessary for mathematics and indeed, indispensable for calculus.

The paper is now available at How the continuum hypothesis could have been a fundamental axiom.

Gödel incompleteness, graduate course, Notre Dame, Fall 2024

This will be a graduate course at the University of Notre Dame.

Course title: Gödel incompleteness

Course description. We shall explore at length all aspects of the Gödel incompleteness phenomenon, covering Turing’s solution of the Entscheidungsproblem, Gödel’s argument via fixed points, arithmetization, the Hilbert program, Tarski’s theorem, Tarski via Gödel, Tarski via Russell, Tarski via Cantor, the non-collapse of the arithmetic hierarchy, Löb’s theorem, the second incompletenesss theorem via Gödel, via Grelling-Nelson, via Berry’s paradox, Smullyan incompleteness, self-reference, Kleene recursion theorem, Quines, the universal algorithm, and much more. The course will follow the gentle treatment of my book-in-progress, Ten proofs of Gödel incompleteness, with supplemental readings.

Failing definite descriptions, Notre Dame Food for Thought Seminar, March 2024

I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department.

The topic concerned definite descriptions, particularly the semantics that might be given when one extends first-order logic to include the iota operator, by which $℩x\varphi(x)$ means “the $x$ such that $\varphi(x)$.” There are a variety of natural ways to define the semantics of iota assertions in a model, and we discussed the advantages and disadvantages of each approach. We concentrated on what I call the strong semantics, the weak semantics, and the natural semantics, respectively. Ultimately, I argue for a deflationary perspective on the debate, as each of the semantics is conservative over the base language, with no iota operator, with no new expressive power. In this sense, I argue, the choice of one semantics over another is purely a matter of convenience or ease of expressibility, as all of the notions are expressible without definite descriptions at all.

My lecture notes are below.