Titre de série :	Fondements des mathématiques, 2
Titre :	Fondements des mathématiques
Type de document :	texte imprimé
Auteurs :	David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Eugène Guillaume (1896-1983), Traducteur ; Marcel Guillaume (1928-....)), Traducteur
Editeur :	Paris : l'harmattan
Année de publication :	2001
Importance :	624 p.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7475-1519-1
Note générale :	Index
Langues :	Français (fre) Langues originales : Allemand (ger)
Catégories :	Mathématique
Mots-clés :	Mathématiques : Fondements
Index. décimale :	510.1 Philosophie et théorie des mathématiques (fondements des mathématiques, métamathémathiques)
Résumé :	Les Fondements des mathématiques ont été rédigés par Bernays en suivant fidèlement les vues de Hilbert. Publiés par Springer en 1934 et 1939, ils retracent les conceptions visionnaires de Hilbert sur la mathématisation de la logique et le développement technique de celle-ci. Le premier tome retrace les motivations philosophiques de l'entreprise, traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Le second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve.

Fondements des mathématiques, 2. Fondements des mathématiques [texte imprimé] / David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Eugène Guillaume (1896-1983), Traducteur ; Marcel Guillaume (1928-....)), Traducteur . - Paris : l'harmattan, 2001 . - 624 p. ; 24 cm.
ISBN : 978-2-7475-1519-1
Index
Langues : Français (fre) Langues originales : Allemand (ger)

Catégories :	Mathématique
Mots-clés :	Mathématiques : Fondements
Index. décimale :	510.1 Philosophie et théorie des mathématiques (fondements des mathématiques, métamathémathiques)
Résumé :	Les Fondements des mathématiques ont été rédigés par Bernays en suivant fidèlement les vues de Hilbert. Publiés par Springer en 1934 et 1939, ils retracent les conceptions visionnaires de Hilbert sur la mathématisation de la logique et le développement technique de celle-ci. Le premier tome retrace les motivations philosophiques de l'entreprise, traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Le second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve.