Intuitionnisme et théorie de la démonstration

Le présent recueil contient la traduction de trente articles dus à Brouwer, Weyl, Hilbert, Bernays, Gentzen, Gödel et Kreisel, dont la publication s'est échelonnée de 1908 à 1958. Ces textes se rapportent à ce qu'on appelle "les fondements des mathématiques ". Ils consignent en particulier les fameuses discussions entre intuitionistes et formalistes sur la portée de la constructivité en tant que critère éventuel de vérité et d'existence en mathématiques.