TY - CHAP

T1 - Why predicative sets?

AU - Avron, Arnon

N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2020.

PY - 2020

Y1 - 2020

N2 - The predicativist program for the foundations of mathematics, initiated by Poincaré and first developed by Weyl, seeks to establish certainty in mathematics without revolutionizing it. The program was later extensively pursued by Feferman, who developed proofs systems for predicative mathematics, and showed that a very large part of classical analysis can be developed within them. Both Weyl and Feferman worked within type-theoretic frameworks. In contrast, set theory is almost universally accepted now as the foundational theory in which the whole of mathematics can and should be developed. We explain how to reconstruct Weyl’s ideas and system within the set-theoretical framework, and indicate the advantages that this approach to predicativity and to set theory has from both the foundational as well as the computational points of views.

AB - The predicativist program for the foundations of mathematics, initiated by Poincaré and first developed by Weyl, seeks to establish certainty in mathematics without revolutionizing it. The program was later extensively pursued by Feferman, who developed proofs systems for predicative mathematics, and showed that a very large part of classical analysis can be developed within them. Both Weyl and Feferman worked within type-theoretic frameworks. In contrast, set theory is almost universally accepted now as the foundational theory in which the whole of mathematics can and should be developed. We explain how to reconstruct Weyl’s ideas and system within the set-theoretical framework, and indicate the advantages that this approach to predicativity and to set theory has from both the foundational as well as the computational points of views.

UR - http://www.scopus.com/inward/record.url?scp=85086003756&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-48006-6_3

DO - 10.1007/978-3-030-48006-6_3

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85086003756

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 30

EP - 45

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer

ER -