(AUGH here is an expression of frustration as opposed to some weird type of 2nd order logic)
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
End of conversation
New conversation -
-
-
@MakerOfDecision The logic of self reference has many problems. A tragedy of the Commons is not chief among them.
End of conversation
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.