what are we thinking, 2038
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
aw
maybe this will help!https://twitter.com/shitpostleft/status/1148225573472411649 …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
ah yes that old high quality reflexive post mortem modeling of low quality cognition. burned a lot of atp on that overoptimization
-
what's hilarious is that the system changes itself in observing itself so the project can't even achieve its most elementary objectives
End of conversation
New conversation -
-
-
It’s never too early for Gödel puns...
-
Badel puns, on the other hand...
- 6 more replies
New conversation -
-
-
The Incompleteness Theorem is really more simple than that. Any formal system that is able to prove/express the equivalent of “this system cannot prove this statement” must contain a falsehood (inconsistency), since it can, in fact, express that statement.
-
On the other hand, any system which cannot prove such a statement must be incomplete, because there’s a true statement (“this system cannot prove this statement”) that it cannot prove. So any formal system for finding truths must either be inconsistent or incomplete.
- 1 more reply
New conversation -
-
-
And now Jen is replying as if you'd gone Hof and Stabd her.
-
It’s all an eternal golden braid.
- 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.