this is really trippy. ive seen proofs of equivalence to LEM but i still dont believe it
-
-
-
It helped me a lot to read it as “to prove P, we can introduce any assumptions of the form P ⇒ Q to help us prove it”. In derivation notation: https://pastebin.com/MiqKnniQ . It's also clearer to instantiate Q as ⊥.
- 3 more replies
New conversation -
-
-
Damn, looks so simple when you state it like that, but in practice
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.