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
That said, I'm interested in proving things like "this game is fair because no computable strategy can give either player an edge".
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?
Eh, most people say game theory when they're referring to game semantics. It's a pet peeve of mine to correct it wherever I see it
I too like to clearly distinguish the two related but very different fields.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.