My internal critic and Censor of thought, who reviews the vast corpus of things I might say and finds all of them lacking?
-
-
I see. I knew about polish notation from pure logic alone.
-
ah hah, but there is no real diff :) ( https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence … )
-
everything compiles down to machine code eventually anyway and yet we do find meaningful reasons to prefer different expressions in different contexts
-
Au contraire. All that matters is the validity of first-order formulae in Platonic heaven. The rest is mere engineering.
-
does not compute
-
Gödel's completeness theorem proves that it does.
-
I would like to congratulate everyone on a thread that would be indistinguishable from madness to at least 99.9% of the population.
- 1 more reply
New 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.