AUGH 2nd order logic is semantically self-sufficient in a nice sense but it's not computable why can't we have nice things
-
-
"computable" cannot be pinned down by any computable logic, but 2nd-order stuff can be pinned down by 2nd-order
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.