· 2012
Foundations of Set Theory
- 402citations
- 2012year
Short summary
This abstract outlines a comprehensive exploration of the foundational concepts in set theory, covering its historical antinomies and various theoretical approaches.
AI-generated from the title and abstract; the full text is not read.
Key points
- Covers the historical 'antinomies' within set theory.
- Explores axiomatic and type-theoretical foundations.
- Includes intuitionistic, metamathematical, and semantical approaches.
- Provides bibliography and indices for further study.
AI-generated from the title and abstract; the full text is not read.
Abstract
The Antinomies. Axiomatic Foundations of Set Theory. Type-Theoretical Approaches. Intuitionistic Conceptions of Mathematics. Metamathematical and Semantical Approaches. Bibliography. Indices.
The authors' abstract, as published at the source., 2012
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Theoretical Computer Science
Theoretical Computer ScienceMathematics