Jean LARGEAULT, professeur à l'Université Paris XII, est l'auteur de Systèmes de la nature (Vrin, 1985) et de Principes classiques de philosophie de la nature (Prix Henri Poincaré, 1990). Il a reçu le grand prix de l'Académie des Sciences Morales et Politiques (1991) pour l'ensemble de son oeuvre publiée.
Intuitionnisme et théorie de la démonstration
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 30 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages566
- FormatGrand Format
- PrésentationBroché
- Poids0.675 kg
- Dimensions14,0 cm × 21,0 cm × 3,0 cm
- ISBN2-7116-1059-4
- EAN9782711610594
- Date de parution01/12/1992
- CollectionMathesis
- ÉditeurVrin
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.
A propos de Jean Largeault
L'intuitionisme
E-book
7,99 €
20,30 €
Le continu et autres écrits
Grand Format
36,00 €
35,00 €
Logique mathématique
Grand Format
60,00 €