Truth, modality and intersubjectivity
Jean-Yves Girard · Mathematical Structures in Computer Science · 2007
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.