Intuitionnisme et théorie de la démonstration

Name: Intuitionnisme et théorie de la démonstration
Price: 56 EUR
Availability: InStock
Author: Jean Largeault
ISBN: 2-7116-1059-4

Par : Jean Largeault

Formats :

Grand Format

56,00 €

Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay indisponible
- 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
PrésentationBroché
FormatGrand Format
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.