You are ready. You don’t read math book like you read a novel. You can literally spend days on one page. You are not going to find a better book than Halmos’s. Every mathematician agrees that every mathematician must know some set theory; the Naive Set Theory. Authors; (view affiliations). Paul R. Halmos. Book. Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book.
|Published (Last):||5 January 2014|
|PDF File Size:||18.42 Mb|
|ePub File Size:||11.88 Mb|
|Price:||Free* [*Free Regsitration Required]|
Naive Set Theory Halmos Naive Set Theory is a classic and dense little book on axiomatic set theory, from a “naive” perspective. Halmos is using some dated terminology and is in my eyes a bit inconsistent here. But that’s a small complaint on an excellent document. From this point of view the concepts and methods of this book are merely some of the standard mathematical tools; the expert specialist will find nothing new here.
This text shows its age — it’s heavily wordy and pretty light on presenting things in mathematical notation. I have a number of loose ends to tie up before jumping in to Model Theory, and I have much less familiarity with the subject matter. Sets of ordinal numbers The counting theorem states that each well ordered set is order isomorphic to a unique ordinal number. In modern usage, we have: The student who gets interested in set theory for its own sake should know, however, that there is much more to the subject than there is in this book.
I wouldn’t be surprised if it’s not, but I don’t know. Set theory is more mature now than it was then. It has been said that everything on the internet that is said without a smiley face at the end will be taken seriously.
Book Review: Naive Set Theory (MIRI research guide)
The axiom of extension tells us how to distinguish between sets: I’ve only picked up fragments. Lists naaive This Book. While every mathematician is familiar with the former, a lot less are familiar with the latter, which is concerned with the theoretical foundations of the concept of set.
I rushed through and missed a lot of subtleties.
Naive Set Theory
Cardinal arithmetic Read this chapter after Cardinal numbers. Can anyone recommend a better introduction to informal set theory than Halmos?
A book on set theory probably isn’t the right place to be looking. Equivalence relations and equivalence classes are important concepts in mathematics. Unions and intersections The axiom of unions allows one to create a new set that contains all the members of the original sets.
Families This chapter tripped me up heavily because Halmos mixed in three things at the same time on page Your phrasing in hqlmos 4 is very convoluted. At two points, I laid down the book in order to finish two other books. Though I’d imagine a lot of the shortness comes also from being naive set theory, rather than a fully rigorous treatment of halmoz set theory.
Only a few exercises are designated as such since the book itself is an ongoing series of exercises with hints.
Naive Set Theory by Halmos is confusing to a layman like me – Mathematics Stack Exchange
The second is actually quite profound and has not always been believed. Fred Conrad rated it really liked it Jan 14, It’s not clear to me how much halmoe set theory is useful in modern AI research; my wild guess is that mathematical logic, model theory, and provability theory are more important.
This is evident throughout set theory. I’m not advocating for the OP to sit and plow through Jech and Kunen, or even through all of Halmos’ book.
To build a solid foundation in proofs, I will now go through one or two books about mathematical proofs. None of this is bad, per se.
He can even be quite humorous at times — I laughed out loud reading a passage on page To ask other readers questions about Naive Set Theoryplease sign up. Good introduction to set theory. Again, comments are welcome. Ordinal numbers The axiom of substitution is called the axiom schema of replacement in modern use. In finite cases, one can construct functions for the job using the other axioms. Order Partial orders, total orders, well orders — are powerful mathematical concepts and are used extensively.
Naive Set Theory
Which I guess, sometimes requires that you do test your limits to find out where you really are. I want to be able to express set notations fluently in math fields used in machine learning. On pagesI encountered if and only if and had to go to Wikipediato actually hqlmos it.
An indexed family is a set, with an index and a function in the background. A confusing way of talking about sets. Cantor’s theorem states that every set always has a smaller cardinal number than the cardinal number of its power set.
It did more than enough for me, even without the last few chapters.