Project data
Initiative:  "Freigeist" Fellowships 

Allocation:  Jul 4, 2017 
Period of funding:  5 Years 
Project information
Can the fundamentals of mathematics change? The mathematical technique of forcing compels us to reconsider this longstanding question, as it allows us to build an infinite plurality of mathematical worlds in which differing mathematical truths hold. As such, forcing is both a mathematical technique and, through its use in set theory as a foundation of mathematics, a philosophical concept. The project will show that the practice of forcing introduced a conceptual change with unique characteristics in set theory: the change is still ongoing; it is not the result of a new programmatic idea, but the result of extensive use; it gives rise to a conceptual discrepancy between the older disciplinary selfimage and the new mathematical practice; finally, there is a lack of awareness and acceptance of this change among set theorists. The project argues that acknowledging the change can lead to a new, pluralistic understanding of the foundations of mathematics. Approaching forcing by studying its historical development, broadening its philosophical uses and focusing on its mathematical varieties opens up an interdisciplinary framework that uses mathematical practice to argue for such a conceptual change. The impact of such a change is widespread and ranges from a reevaluation of the foundations of mathematics to having the potential to revolutionize mathematics itself.
Project participants

Jun.Prof. Dr. Carolin Antos
Universität Konstanz
Fachbereich Philosophie
Zukunftskolleg
Fach 9
Konstanz