The thing is, brains do that. Nature does that. Physics does that. As Dan Geer says, security is the absence of unmitigatable surprise.
-
As lambda calc is a formal logic system, it is necessarily incomplete. Curry's paradox is one example. I can't remember enough lambda calc to do it myself, but how would it handle a contradiction like that?
You might be referring to one instance of the lambda calculi. This does not apply to every "formal logic system." You might mean constructivist intuitionistic logic. None of this shows me where the leak is, in the abstraction that I gave. Please show me where it is.
-
-
I am acutely aware of this. Again, the claim is "all abstractions leak." I gave an abstraction. Where is the leak? Please point to it.
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.