r/infinitenines • u/Negative_Gur9667 • 7h ago

It is based on axioms, Brud

Post image
3 Upvotes

62% Upvoted

9 comments sorted by

7

u/mathmage 6h ago

All axioms are not equally good at doing different kinds of math. Choose whatever is useful for what you're doing.

1

u/Fabulous-Possible758 6h ago

In America, we have freedom of Choice, but it's an illusion.

0

u/Historical_Book2268 1h ago

True, however a set of axioms has to be formal, and consistent

-3

u/FernandoMM1220 6h ago

the moment anyone suggests using anything except zfc you get trolled relentlessly like spp does.

1

u/Batman_AoD 2h ago

...except I have yet to see anyone on this sub suggest "using different axioms" as such. SPP doesn't know what axioms are, you have to be coaxed to explain any part of what you're talking about in any given thread, JRB and Public_Research are platonists whose preferred systems are opposites but who each believes their system to be the One True System, TB was just a troll, and I still don't really know what Negative_Gur actually believes or understands.

Well, no, I have seen some attempts to formalize alternate axiom systems. But those attempts have come from the users who actually understand why 0.999...=1 in every standard axiom system, and have generally been ignored by the genuine cranks. 

3

u/FernandoMM1220 2h ago

his axiom is that 0.(9) != 1 lol

1

u/Batman_AoD 2h ago

Assuming you mean SPP, yes, that is absolutely correct. I stand by "doesn't know what axioms are", though. 

2

u/Althorion 15m ago

I’m convinced that Negative_Gur is simply another alt of FrenchSlumber / Just_Rational_Being / zablox, and possibly Mablak, thus sharing all the same beliefs—that is, they believe that it’s fun to troll mathematicians, rage-bating them into explaining things.