I hate axiomatic proofs - they are stupid and they make me sad.
@Pexy They're for machines! If I am working in a system with a completeness theorem, I get offended at being asked to do axiomatic proofs!
-
-
This Tweet is unavailable.
-
@Pexy They've their uses; but even then, I don't feel like I really understand the difference between two systems until I see the semantics.
End of conversation
-
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.