On 1/12/25 07:46, Noam Pasman wrote:
Happy New Year!
I'm planning to read some of the set theory books referenced in the
Theorem List, particularly either Takeuti and Zaring's /Introduction
to Axiomatic Set Theory/ or Suppes's /Axiomatic Set Theory/, but I
would appreciate some advice on which of these (and/or some other
book(s)) is most helpful.
This probably will be a bit advanced based on what you say of your
background, but I'd take at least a look at the HoTT Book at
https://homotopytypetheory.org/book/ . Personally, I spent most time on
chapters 1, 10, and 11 (section 11.6 is on surreal numbers). Sooner or
later you'll run into type theory. I'm not sure it has to be sooner,
though, so if the HoTT book seems incomprehensible, maybe go back to the
books you mention above.
I wanted to ask about who I should contact in case I have a problem
with setting everything up.
You found us! We have a few ways to communicate but this mailing list is
probably best for that sort of question.
Eventually, I'd love to help with some project in the database if
needed and if I already somewhat understand the concepts.. . . If
there's another project that I'd be more useful for, that's good too!
To be honest I'm not completely sure what would make the best learning
project. Maybe something like
https://github.com/metamath/set.mm/issues/4384 or even
https://github.com/metamath/set.mm/issues/4504 (which I mention mostly
as a means to getting to know some of the metamath tools - renaming
theorems isn't especially glamorous in terms of mathematical learning).
You could also try re-proving some existing theorems or something else
small. Feel free to browse https://github.com/metamath/set.mm/issues but
if you start on something big and it seems overwhelming, look for a
smaller project/task.
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/c2bf94ad-91a5-4584-b1dd-5a1342516632%40panix.com.
