Showing papers by "Jean-Yves Girard published in 2007"
TL;DR: The most mistreated notion of logic, truth is discussed, since computing and logic are intimately linked, in the approach to logic and foundations.
Abstract: Quantum physics, together with the experimental (and slightly controversial) quantum computing, induces a twist in our vision of computation, and hence, since computing and logic are intimately linked, in our approach to logic and foundations. In this paper, we discuss the most mistreated notion of logic, truth.
8 citations