/sci/ - Science & Math

>>12018097
Doesn't sound ultra to me tbqh. I think consistency is a vastly overrated feature.
If I let out the formalist in me, an inconsistent theory is sure as good as a consistent one.
In one and can provide a sequent ending in the string of letters "¬(A∧¬A)" and in one I can't. Shouldn't bother an "ultra-formalist".
Literally the only difference between an inconsistent theory and a consistent one, apart from what they can prove, is that the majority of people don't find inconsistent theories interesting. That's but a meta-meta-mathematical property.

https://youtu.be/EbgAu_X2mm4

>>11694670
do physics today