News for hackers. Stuff that matters.

A comment on Math is still catching up to the genius of Ramanujan. Parent comment

Re:Math is still catching up to the genius of Ramanujan by dagw on Tuesday October 22, 2024 @07:32AM (#41913250)
Basically the Peano axioms
[ Parent | on HN ]
Re:Math is still catching up to the genius of Ramanujan by thaumasiotes on Tuesday October 22, 2024 @07:43AM (#41913312)
How did that proof work for rational numbers?
[ Parent | on HN ]
Re:Math is still catching up to the genius of Ramanujan by dagw on Tuesday October 22, 2024 @08:02AM (#41913415)
It's been 20+ years, and I don't remember the exact steps the course went thought. But basically we started with defining N using the Peano axioms (although I don't recall the name 'Peano' being mentioned) and proving some basic rules of addition and equality. Then we defined subtraction, multiplication and inverse elements, and constructed Z and Q. From there you get to algebraic groups, and from there you can hand wave a lot of details.

As I said it was literally one of the first math courses we did, so it wasn't super rigorous with all the technical and logical details.

[ Parent | on HN ]