Showing papers by "Jean-Yves Girard published in 2012"

Normativity in Logic

Abstract: Incompleteness—the absence of alternative natural numbers—can be ascribed to a ready-made normativity, inducing a rigid departure syntax/semantics. Geometry of Interaction, set in the non-commutative universe of von Neumann algebras, makes normative assumptions explicit, thus rending possible their internalisation, a possible way out from the semantic aporia. As an illustration, we define an alternative “model”: logspace integers.