When I studied math, I learned that not all math truths were provable which was disappointing. When I studied computer science, I learned that not everything was computable which was even worse. Basically, I no longer believe that all truths are discoverable using science alone.
-
-
Extremely counterintuitively, assuming the opposite is actually consistent and AIUI you get a system that "thinks," "incorrectly," that it proves a contradiction
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.