In case people haven't noticed, the set.mm main body now has a major new
section:
"ELEMENTARY GEOMETRY".
Much of this is due toThierry Arnoux, with earlier groundwork
by Mario Carneiro and Scott Fenton.
My SINCERE THANKS to ALL!
There's a special satisfaction in this case because Whitehead and Russell
had originally planned for their Principia Mathematica to include a
geometry section
("A fourth volume on the foundations of geometry had been planned, but the
authors
admitted to intellectual exhaustion upon completion of the third."
https://en.wikipedia.org/wiki/Principia_Mathematica ).
I think of set.mm in some sense as a "modern Principia Mathematica" -
but this modern version uses more common notation, ZFC, and is now starting
to
cover that previously-missing area.... geometry.
--- David A. Wheeler
>
--
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 on the web visit
https://groups.google.com/d/msgid/metamath/33eb708d-eda2-4aec-b9bf-37d6609858a0%40googlegroups.com.
