Logic and computation as combinatorics

Norihiro Yamada

The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proo…