AUGH 2nd order logic is semantically self-sufficient in a nice sense but it's not computable why can't we have nice things
-
-
Replying to @ProofOfLogic
(AUGH here is an expression of frustration as opposed to some weird type of 2nd order logic)
1 reply 0 retweets 1 like
"computable" cannot be pinned down by any computable logic, but 2nd-order stuff can be pinned down by 2nd-order
10:43 PM - 16 Jul 2015
0 replies
0 retweets
1 like
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.