History and philosophy of set theory

The Forcing Project

The Forcing Project (2018-2023) is concerned with the fundamental question of conceptual change in the formal sciences. The project investigates the claim that such a conceptual change has happened in the unique setting of the so-called forcing technique in modern set theory.

Kurt Gödel

I am currently working on a subproject on the ‘pre-history’ of forcing, in particular Kurt Gödel’s attempts to prove the independence of the Continuum Hypothesis and the Axiom of Choice in the early 1940s.