[JoeyBananas]

The worst thing is when someone who thinks that "math is 100% infallible and all about rigor, you gotta show your work and include all the steps" yet they think that set theory is good enough and it doesnt have problems

they say things like "Everything in math is a set," but then you ask them "OK, what's a theorem and what's a proof?" they'll either be confused by this question or say something like "It's a different object that exists in some unexplainable sidecar of set theory"

They don't know anything about type theory, implications of the law of excluded middle, univalent foundations, any of that stuff

[johnwatson11218]

My favorite was when a manager tried to get me to agree with the statement that "math was just for the numbers right?". Meaning not character strings nor dates. I was dumbstruck by the question.

[burnished]

Math is for.. numbers? Thats engineer talk right there

[Tainnor]

It's 100% possible to base logic and proof theory off of set theory. For example, you can treat proofs as natural numbers via Gödel encoding (or any other reasonable encoding) and we know that natural numbers can be represented by sets in multiple different ways.

You may prefer type theory or other foundations, but set theory is definitely rigorous enough and about as "infallible" (or not) as other approaches.

[bubblyworld]

Maths, when done correctly, _is_ 100% infallible by its own design. It's just that reality isn't obliged to play by your rules =P

[qbit42]

Modern set theory is sufficient for most mathematicians. That other stuff is interesting, but you can do great mathematics without it.

[red_trumpet]

Yeah, they should have heard about ZFC and have a notion what a formal proof is. On the other hand, I'm not sure your last sentence is really that relevant.

> They don't know anything about type theory, implications of the law of excluded middle, univalent foundations, any of that stuff

I'm doing a PhD in algebraic geometry, and that stuff isn't relevant at all. To me "everything is a set" pretty much applies. Hell, even the stacks-project[1] contains that phrase!

[1] https://stacks.math.columbia.edu/tag/0009

[JoeyBananas]

> I'm doing a PhD in algebraic geometry, and that stuff isn't relevant at all.

Yes, exactly. These are topics that 99% of legit mathematicians don't know or care about.

It's like saying "I'm a computer expert" when you only know Python, and then a computer engineer that designs CPUs starts laughing at you

[Tainnor]

I don't understand the point of your comments.

[JoeyBananas]

My claim is that mathematics as practiced by mathematicians is not as rigorous as they think it is, and infact they're not even aware of the advances in rigorous mathematics that they're not using. Even though those advances are super important.

[Tainnor]

What important discoveries have you made using your supposedly "more rigorous" mathematics?

[JoeyBananas]

Loaded question