TL;DR
This paper introduces intuitionistic mathematics, exploring its principles and potential influence on the development of mathematical logic and foundations.
Contribution
It provides an overview of intuitionistic mathematics, highlighting its philosophical basis and potential as an alternative foundation for mathematics.
Findings
Outlines key principles of intuitionistic mathematics
Discusses implications for mathematical logic
Suggests intuitionism as a foundational alternative
Abstract
The paper is an introduction to intuitionistic mathematics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.