Now I genuinely don't know about what you are talking.
-
-
Replying to @danlistensto @PereGrimmer
I see. I knew about polish notation from pure logic alone.
1 reply 0 retweets 2 likes -
Replying to @RotemEren @danlistensto
ah hah, but there is no real diff :) ( https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence … )
1 reply 0 retweets 2 likes -
Replying to @PereGrimmer @RotemEren
everything compiles down to machine code eventually anyway and yet we do find meaningful reasons to prefer different expressions in different contexts
1 reply 0 retweets 2 likes -
Replying to @danlistensto @PereGrimmer
Au contraire. All that matters is the validity of first-order formulae in Platonic heaven. The rest is mere engineering.
1 reply 0 retweets 1 like -
-
Replying to @danlistensto @PereGrimmer
Gödel's completeness theorem proves that it does.
1 reply 0 retweets 1 like -
-
Replying to @danlistensto @PereGrimmer
I would like to congratulate everyone on a thread that would be indistinguishable from madness to at least 99.9% of the population.
1 reply 0 retweets 2 likes
shit only 99.9%? I'm slipping
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.