Discussion Overview
The discussion centers around finding suitable books on the foundations of mathematics, specifically focusing on axioms and sentential logic rather than traditional topics like algebra or calculus. Participants are sharing recommendations and insights into the complexity and prerequisites of various texts.
Discussion Character
- Exploratory, Technical explanation
Main Points Raised
- One participant expresses a need for a book on the foundations of mathematics, emphasizing interest in axioms and logical frameworks.
- Another participant suggests "Set Theory" as a relevant topic, implying its importance in understanding foundational concepts.
- A suggestion is made for "Mathematical Logic" by Joseph R. Shoenfield, indicating it may be a suitable resource.
- Paul Cohen's book is mentioned twice, with one participant noting its conciseness and difficulty for those lacking prior knowledge in logic and set theory.
- Kenneth Kunen's "Foundations of Mathematics" and "Set Theory, revised edition" are recommended as potentially more accessible introductions to the subject.
Areas of Agreement / Disagreement
Participants present multiple book recommendations, but there is no consensus on a single best choice. The discussion reflects varying opinions on the accessibility and prerequisites of the suggested texts.
Contextual Notes
Some participants highlight the complexity of certain texts and the need for prior knowledge in logic and set theory, which may limit their suitability for beginners.