Adrian Riskin 🇵🇸🍉 on Nostr: This article is absolutely ridiculous. Equivalence classes are equality within a ...
This article is absolutely ridiculous. Equivalence classes are equality within a context, just like regular old equality. There's no disagreement among mathematicians, and the formalist project has been known to me untenable since Gödel.
Just for instance this claim is empirically false:
>>>>The problem has its roots in the way mathematicians put together proofs. To begin proving anything, you must first make assumptions called axioms that are taken to be true without proof, providing a logical framework to build upon.
At least he's honest enough to admit that the putative problem he identifies is only a problem vis a vis computerized formalizations, but that's a problem with his project, not with mathematics.
#Math #Mathematics
https://archive.is/20240610150636/https://www.newscientist.com/article/2433958-mathematicians-cant-agree-what-equals-means-and-thats-a-problem/
Just for instance this claim is empirically false:
>>>>The problem has its roots in the way mathematicians put together proofs. To begin proving anything, you must first make assumptions called axioms that are taken to be true without proof, providing a logical framework to build upon.
At least he's honest enough to admit that the putative problem he identifies is only a problem vis a vis computerized formalizations, but that's a problem with his project, not with mathematics.
#Math #Mathematics
https://archive.is/20240610150636/https://www.newscientist.com/article/2433958-mathematicians-cant-agree-what-equals-means-and-thats-a-problem/