382
Proof by fucking obviousness
(sh.itjust.works)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 20 Oct 2024
382 points (100.0% liked)
Math Memes
1606 readers
2 users here now
Memes related to mathematics.
Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.
founded 2 years ago
MODERATORS
Well, he was trying to derive essentially all of contemporary mathematics from an extremely minimal set of axioms and formalisms. The purpose wasn't really to just prove 1+1=2; that was just something that happened along the way. The goal was to create a consistent foundation for mathematics from which every true statement could be proven.
Of course, then Kurt Gödel came along and threw all of Russell's work in the trash.
Someone had to take him down a peg
Smarmy git, strolling around a finite space with an air of pure arrogant certainty.
Saying it was all thrown in the trash feels a bit glib to me. It was a colossal and important endeavour -- all Gödel proved was that it wouldn't help solve the problem it was designed to solve. As an exemplar of the theoretical power one can form from a limited set of axiomatic constructions and the methodologies one would use it was phenomenal. In many ways I admire the philosophical hardball played by constructivists, and I would never count Russell amongst their number, but the work did preemptively field what would otherwise have been aseries of complaints that would've been a massive pain in the arse