News for hackers. Stuff that matters.
Re:'Proof' Review: Finding Truth in Numbers by eru on Tuesday June 10, 2025 @09:23PM (#44243314)
Though to be honest, by modern standards Euclid sneakily uses some extra assumptions in his proofs that you actually need to add as axioms.

See https://math.stackexchange.com/q/1901133/1051561 for some examples.

There are no comments on this comment yet.