'The tension between the Real and the Ideal is what's fascinating about logic and game theory, and also about the study of language.'