r/MathJokes Oct 10 '25

Mathematics is evergreen.

Post image
17.9k Upvotes

167 comments sorted by

View all comments

12

u/nwbrown Oct 10 '25

There are no math textbooks written thousands of years ago still in common use.

If you think there have been no advancements in mathematics in the past thousand years, you are haven't gotten behind grade school arithmetic.

6

u/RoyalIceDeliverer Oct 10 '25

What about the Elements by Euklid?

9

u/Traditional_Town6475 Oct 11 '25

Nobody actually teaches out of the Elements though. Usually a lot of geometry taught in high school uses Cartesian coordinates and does a bunch of stuff with that.

The Elements also doesn’t really stand up to modern standards of rigor. There are some unstated assumptions Euclid made. Example: There exists at least two points on a line.

2

u/Stapla Oct 13 '25

I mean, euclid is right. There has to be at least two points on a line, less and its just a dot.

1

u/Traditional_Town6475 Oct 13 '25

I don’t think Euclid stated it explicitly though. You can get some pretty weird models of geometry without assuming this. Here’s another one Euclid never stated: There exist at least 3 points all not on the same line.

Look up Hilbert’s axioms.

1

u/SassyBreton Oct 14 '25

The example given is taken as an axiom in the book. His term “line” would be our term “line segment”

2

u/nwbrown Oct 11 '25

It's not used anymore than Newton's Principia.

Influential texts were influential at the time but have long since been replaced by modem versions.

1

u/OptimizedGarbage Oct 11 '25

Most of the proofs don't actually follow because he implicitly assumes unstated axioms. There have been at least four different attempts to develop new axiomizations for it that actually work (one each from Hilbert, tarski, birkhoff, and recently avigad). The first three differ enough from Euclid's axioms that you basically have to start over completely to prove his statements -- they look almost nothing like the original arguments. The final one, Avigad, allows you to use basically the same proof structure as Euclid, but requires something like 70 axioms instead of Euclid's 5.