|
Titre :
|
Fondements des mathématiques
|
|
Titre de série :
|
Fondements des mathématiques, 2
|
|
Auteurs :
|
David Hilbert, Auteur ;
Paul Bernays, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : L'Harmattan, 2001
|
|
ISBN/ISSN/EAN :
|
978-2-7475-1519-1
|
|
Format :
|
624 p. / 24 x 16 cm
|
|
Note générale :
|
Index
|
|
Langues:
|
Français
|
|
Langues originales:
|
Allemand
|
|
Index. décimale :
|
510 (Mathématiques
Ouvrages généraux, Théorie, Machines à calculer, Calcul)
|
|
Mots-clés:
|
;
mathématiques
;
fondements
|
|
Résumé :
|
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.
|
