# Strategic thinking in infinite games, CosmoCaixa Science Museum, Barcelona, March 2023

I am deeply honored to be invited by la Caixa Foundation to give a talk in “The Greats of Science” talk series, to be held 16 March 2023 at the CosmoCaixa Science Museum in Barcelona. This talk series aspires to host “prestigious figures who have contributed towards admirable milestones, studies or discoveries,” who will bring the science to a general audience, aiming to “give viewers the chance to explore the most relevant parts of contemporary sicence through the top scientists of the moment.” Previous speakers include Jane Goodall and nearly a dozen Nobel Prize winners since 2018.

I hope to rise to those high expectations!

My topic will be: Strategic thinking in infinite games.

Have you time for an infinite game? Many familiar finite games admit natural infinitary analogues, infinite games that may captivate and challenge us with intriguing patterns and sublime complexity. Shall we have a game of infinite chess? Or how about infinite draughts, infinite Hex, infinite Wordle, or infinite Sudoku? In the Chocolatier’s game, the Chocolatier serves up an infinite stream of delicious morsels, while the Glutton aims to eat every one. These games and others illustrate the often subtle strategic aspects of infinite games, and sometimes their downright logical peculiarity. Does every infinite game admit of a winning strategy? Must optimal play be in principle computable? Let us discover the fascinating nature of infinitary strategic thinking.

The theory builds upon the classical finitary result of Zermelo (1913), the fundamental theorem of finite games, which shows that in every finite two-player game of perfect information, one of the players must have a winning strategy or both players have draw-or-better strategies. This result extends to certain infinitary games by means of the ordinal game-value analysis, which assigns transfinite ordinal values $\alpha$ to positions in a game, generalizing the familiar mate-in-$n$ idea of chess to the infinite. Current work realizes high transfinite game values in infinite chess, infinite draughts (checkers), infinite Go, and many other infinite games. The highest-known game value arising in infinite chess is the infinite ordinal $\omega^4$, and every countable ordinal arises in infinite draughts, the optimal result. Games exhibiting high transfinite ordinal game values have a surreal absurd character of play. The winning player will definitely win in finitely many moves, but the doomed losing player controls the process with absurdly long deeply nested patterns of forcing moves that must be answered, as though counting down from the infinite game value—when 0 is reached, the game is over.

# Infinite Games, Frivolities of the Gods, Logic at Large Lecture, May 2022

The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) has organized a major annual public online lecture series called LOGIC AT LARGE, where “well-known logicians give public audience talks to a wide audience,” and I am truly honored to have been invited to give this year’s lecture. This will be an online event, the second of the series, scheduled for May 31, 2022 (note change in date!), and further access details will be posted when they become available. Free registration can be made on the VvL Logic at Large web page.

Abstract. Many familiar finite games admit natural infinitary analogues, which often highlight intriguing issues in infinite game theory. Shall we have a game of infinite chess? Or how about infinite draughts, infinite Hex, infinite Go, infinite Wordle, or infinite Sudoku? Let me introduce these games and use them to illustrate various fascinating concepts in the theory of infinite games.

Come enjoy the lecture, and stay for the online socializing event afterwards. Hope to see you there!

# Infinite Hex is a draw

• J. D. Hamkins and D. Leonessi, “Infinite Hex is a draw,” Mathematics arXiv, 2022.
[Bibtex]
@ARTICLE{HamkinsLeonessi:Infinite-Hex-is-a-draw,
author = {Joel David Hamkins and Davide Leonessi},
title = {Infinite Hex is a draw},
journal = {Mathematics arXiv},
year = {2022},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
eprint = {2201.06475},
archivePrefix = {arXiv},
primaryClass = {math.LO},
url = {http://jdh.hamkins.org/infinite-hex-is-a-draw},
}

Abstract. We introduce the game of infinite Hex, extending the familiar finite game to natural play on the infinite hexagonal lattice. Whereas the finite game is a win for the first player, we prove in contrast that infinite Hex is a draw—both players have drawing strategies. Meanwhile, the transfinite game-value phenomenon, now abundantly exhibited in infinite chess and infinite draughts, regrettably does not arise in infinite Hex; only finite game values occur. Indeed, every game-valued position in infinite Hex is intrinsically local, meaning that winning play depends only on a fixed finite region of the board. This latter fact is proved under very general hypotheses, establishing the conclusion for all simple stone-placing games.

This is my second joint project with Davide Leonessi, the first being our work on Transfinite games values in infinite draughts, both projects growing out of his work on his MSc in MFoCS at Oxford, for which he earned a distinction in September 2021.

Here is a convenient online Hex player, for those who want to improve their game: http://www.lutanho.net/play/hex.html.

# Davide Leonessi, MSc MFoCS, Oxford, September 2021

Mr. Davide Leonessi successfully defended his dissertation for the Masters of Science degree in Mathematics and Foundations of Computer Science, entitled “Transfinite game values in infinite games,” on 15 September 2021. Davide earned a distinction for his thesis, an outstanding result.

Abstract. The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and Draughts.

In Chapter 1 we develop the theory of transfinite ordinal game values for open infinite games following [Evans-Hamkins 2014], and we focus on the properties of the omega one, that is the supremum of the possible game values, of classes of open games; we moreover design the class of climbing-through-$T$ games as a tool to study the omega one of given game classes.

The original contributions of this research are presented in the following two chapters.

In Chapter 2 we prove classical results about finite Hex and present Infinite Hex, a well-defined infinite generalisation of Hex.

We then introduce the class of stone-placing games, which captures the key features of Infinite Hex and further generalises the class of positional games already studied in the literature within the finite setting of Combinatorial Game Theory.

The main result of this research is the characterization of open stone-placing games in terms of the property of essential locality, which leads to the conclusion that the omega one of any class of open stone-placing games is at most $\omega$. In particular, we obtain that the class of open games of Infinite Hex has the smallest infinite omega one, that is $\omega_1^{\rm Hex}=\omega$.

In Chapter 3 we show a dual result; we define the class of games of Infinite Draughts and explicitly construct open games of arbitrarily high game value with the tools of Chapter 1, concluding that the omega one of the class of open games of Infinite Draughts is as high as possible, that is $\omega_1^{\rm Draughts}=\omega_1$.

The full dissertation is available: