-
Intuitionnisme et philosophie
International audience -
Why Husserl should have been a strong revisionist in mathematics
International audience -
One Hundred Years of Intuitionism (1907-2007)
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views... -
Proof Systems for Intuitionistic Provability in Linear Logic
Colloque avec actes et comité de lecture.
