3 ms·
You don’t really have to believe Wittgenstein; any logician will tell you that if your proof is not logically equivalent to 1=1 then it’s not a proof.
by _alternator_ 7mo ago
You don’t really have to believe Wittgenstein; any logician will tell you that if your proof is not logically equivalent to 1=1 then it’s not a proof.
- justonceokay 7mo agoSure, I just personally like his distinction between a “true” statement like “I am typing right now” and a “tautological” statement like “3+5=8”. In other words, declarative statements relate to objects in the world, but mathematical statements categorize possible declarative statements and do not relate directly to the world.
- IsTom 7mo agoIf you look from far enough, it becomes "Current world ⊨ I am typing right now" which becomes tautological again.