News for hackers. Stuff that matters.
Re:Ask HN: How can I learn to read mathematical notation? by kraitis on Friday November 23, 2018 @08:08AM (#18516161)
>challenge-response games

This is standardly called "game-theoretic semantics" in the literature. Enthusiasts can find more info here (or just by Googling around): https://plato.stanford.edu/entries/logic-games/#SemGam

There are no comments on this comment yet.