Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be “classics”, are still prescribed for students today. These texts are not suitable for today’s students. This text is meant for and written to today’s mathematics students.
Set theory is a pure mathematics...
Read moreContemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be “classics”, are still prescribed for students today. These texts are not suitable for today’s students. This text is meant for and written to today’s mathematics students.
Set theory is a pure mathematics endeavor in the sense that it seems to have no immediate applications; yet the knowledge and skills developed in such a course can easily branch out to various fields of both pure mathematics and applied mathematics.
Rather than transforming the reader into a practicing mathematician, this book is more designed to initiate the reader to what may be called “mathematical thinking” while developing knowledge about foundations of modern mathematics. Without this insight, becoming a practicing mathematician is much more daunting.
The main objective is twofold. The students will develop some fundamental understanding of the foundations of mathematics and elements of set theory, in general. In the process, the student will develop skills in proving simple mathematical statements with “mathematical rigor”.
Carefully presented detailed proofs and rigorous chains of logical arguments will guide the students from the fundamental ZFC-axioms and definitions to show why a basic mathematical statement must hold true. The student will recognize the role played by each fundamental axiom in development of modern mathematics. The student will learn to distinguish between a correct mathematical proof and an erroneous one. The subject matter is presented while bypassing the complexities encountered when using formal logic.
Read less
