Games as mathematics of logic and computation

Thesis

Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism. However, logic and computation have been captured mainly syntactically, which may be criticized as conceptually unclear and mathematically cumbersome.

For this point, the field of semantics has been developed, i.e., its main aim is to explain logic and computation by mathematical ...

Expand abstract

Authors: Yamada, N

• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: Theory of Computation; Recursion Theory; Denotational Semantics; Game Semantics; Foundations of Mathematics
• Subjects: Logic; Theoretical Computer Science; Mathematics