Accueil
Tous les produits
Arts, Sciences & Société
Sciences, Techniques et Médecine
Personnages scientifiques
Intuitionisme et théorie de la démonstration: Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl

Intuitionisme et théorie de la démonstration: Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl

Name: Intuitionisme et théorie de la démonstration: Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl
Brand: Recyclivre
ISBN: 9782711610594

07/10/2002
Librairie Philosophique Vrin

NC (0 avis)

Couverture de Intuitionisme et théorie de la démonstration: Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl

Résumé

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.