Présente les résultats les plus pointus dans la recherche en théorie de la preuve. Contient une explication complète du programme technique, élaborée par Hilbert en vue de prouver la non-contradiction de l'arithmétique de Peano du premier ordre. ©Electre 2025

Fiche Technique

Paru le : 15/11/2001

Thématique : Mathématiques Appliquées

Auteur(s) : Auteur : David Hilbert Auteur : Paul Bernays

Éditeur(s) : L'Harmattan

Collection(s) : Non précisé.

Contributeur(s) : Traducteur : - Traducteur : - Traducteur :

Série(s) : Fondements des mathématiques

ISBN : Non précisé.

EAN13 : 9782747515191

Reliure : Broché

Pages : 624

Hauteur: 24.0 cm / Largeur 16.0 cm

Épaisseur: 3.3 cm

Poids: 978 g

56,00 €

Chargement...