Titre :
|
Fondements des mathématiques
|
Titre de série :
|
Fondements des mathématiques, 1
|
Auteurs :
|
David Hilbert, Auteur ;
Paul Bernays, Auteur
|
Type de document :
|
texte imprimé
|
Editeur :
|
Paris : L'Harmattan, 2001
|
ISBN/ISSN/EAN :
|
978-2-7475-1518-4
|
Format :
|
607 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é :
|
Traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Des algorithmes de décision y sont développés et les opérateurs de description sont entièrement traités.
|