I used to be quite good at math at high school, but I haven’t studied it afterwards. This seems like a good opportunity to ask: Which book(s) should I read in order to fully understand that post?
Assume great knowledge of high-school math, but almost nothing beyond that. I want to get from there to… understanding the cardinals and ordinals. I have a vague impression of what they likely are, but I’d like to have a solid foundation, i.e. to know the definitions and to understand the proofs (in ideal case, to be able to prove some things independently).
Bonus points if the books you mention are available at Library Genesis. ;)
As well as ordinals and cardinals, Eliezer’s construction also needs concepts from the areas of computability and formal logic. A good book to get introduced to these areas is Boolos’ “Computability and Logic”.
Two good first books on set theory (with a similar scope) are
H. B. Enderton, Elements of Set Theory
Karel Hrbacek, Thomas Jech, Introduction to Set Theory
(Though they might be insufficient to parse the post.)
Keep in mind that set theory has a very different character from most math, so it might be better to turn to something else first if “studying math” is more of a motivation.
I used to be quite good at math at high school, but I haven’t studied it afterwards. This seems like a good opportunity to ask: Which book(s) should I read in order to fully understand that post?
Assume great knowledge of high-school math, but almost nothing beyond that. I want to get from there to… understanding the cardinals and ordinals. I have a vague impression of what they likely are, but I’d like to have a solid foundation, i.e. to know the definitions and to understand the proofs (in ideal case, to be able to prove some things independently).
Bonus points if the books you mention are available at Library Genesis. ;)
As well as ordinals and cardinals, Eliezer’s construction also needs concepts from the areas of computability and formal logic. A good book to get introduced to these areas is Boolos’ “Computability and Logic”.
Thank you!
Two good first books on set theory (with a similar scope) are
H. B. Enderton, Elements of Set Theory
Karel Hrbacek, Thomas Jech, Introduction to Set Theory
(Though they might be insufficient to parse the post.)
Keep in mind that set theory has a very different character from most math, so it might be better to turn to something else first if “studying math” is more of a motivation.
Thank you!