News for hackers. Stuff that matters.
Re:Peano arithmetic is enough, because Peano arithmetic enc... by edanm on Monday June 16, 2025 @02:15AM (#44287047)
Thanks! I read through a bunch of that textbook when I first decided to learn more maths a few years ago, but I relatively quickly started dual-reading a different textbook ("Introduction to Set Theory" by Hrbacek and Jeck), which is a more in-depth, non-naive introduction. That's the book I'm continuing to work through now.
Re:Peano arithmetic is enough, because Peano arithmetic enc... by btilly on Monday June 16, 2025 @11:43AM (#44290673)
Then you likely know more set theory than I do!