Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars

Speaker:	郝兆宽教授，复旦大学
Inviter:
Title:	Truth and Consistency in Set Theory
Time & Venue:	2019.5.8 9:40-10:10 N820
Abstract:	In “The Hyperuniverse Program”, Sy-David Friedman claimed that PD, the projective determinacy, is consistent but not true. On the other hand, Hugh Woodin insists that the only reason that PD is consistent is that it is true. These two different positions lead to a philosophical problem of mathematics: in what case could we say a set theoretic sentence is true? In this talk we will discuss several possible positions toward answers of this problem, and try to argue that only Godel and Woodin’s strong Platonism is the coherent one.