I now have the compact closed category of open games that I wanted for years... but at what cost? It's built on computable functions, and game theory over computable functions turns out to be pretty weirdpic.twitter.com/ZWcb1o9Bnh
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I'm not sure how to logically handle cryptography: at an abstract level, as unbreakable primitives? At a more concrete level, as nonlocal hypotheses of non-collision? As asymptotic relative costs of attack vs defense with respect to some security parameter?
You're getting fairly close to Dusko Pavlovic's research programme here, to put all of computer security on a better foundation by rebuilding game theory (*not* game semantics) on top of computability
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.