| Titre : | Fondements des mathématiques T.2 |
| in : | |
| Auteurs : | David Hilbert, Auteur ; Paul Bernayes, Auteur ; François Gaillard, Auteur ; Marcel Guillaume |
| Type de document : | texte imprimé |
| Editeur : | Paris : L'Harmattan, 2001 |
| ISBN/ISSN/EAN : | 978-2-7475-1519-1 |
| Format : | 1 vol. (624 p.) / 24 cm |
| Langues originales: | |
| Index. décimale : | 510.1 (Philosophie et théorie des mathématiques) |
| Catégories : | |
| Mots-clés: | Mathématiques : Fondements |
| 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, tel qu'il se présentait à l'époque, à partir des cours professés par Hilbert quelques années avant 1920 et à partir des contributions ultérieures de ses collaborateurs à Göttingen ou de correspondants extérieurs. Ce monument de la pensée mathématique a connu une seconde édition, revue sur divers points, en 1968 et 1970. La seule traduction qui en soit parue jusqu'ici est russe. Voici cet ouvrage mis à la disposition des lecteurs francophones, philosophes et historiens des mathématiques, mathématiciens, logiciens et informaticiens utilisateurs des outils de la logique, dans une traduction qui, basée sur la seconde édition, incorpore les variantes de la première. Ce second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve. Il contient une explication complète du programme technique, élaboré par Hilbert en vue de prouver la non-contradiction de l'arithmétique de Peano du premier ordre. La métamathématique de l'arithmétique y est arithmétisée complètement, et des preuves détaillées des deux théorèmes de Gödel y sont déployées, ce que font fort peu de manuels et de traités pour ce qui est du second de ces théorèmes. Le théorème d'Herbrand sert, dans l'ouvrage, de pivot au traitement finitiste de l'arithmétique formalisée. Le lecteur y trouvera également le théorème de non-contradiction des théories formalisées à l'aide d'axiomes " vérifiables " dénués de variables liées, et son corollaire bien connu sur les théorèmes formels Pi-2. |
| Note de contenu : |
Sommaire La méthode de l'élimination des variables liées au moyen du e-symbole du Hilbert En théorie de la preuve, examen de la théorie des nombres au moyen des méthodes associées au e-symbole Application du e-symbole à l'étude du formalisme logique La méthode de l'arithmétisation de la métamathématique en application au calcul des prédicats Pourquoi élargir le cadre de méthode en théorie de la preuve |
| Côte titre : | S8/56677-56680 |
Exemplaires (13)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/56677 | Livre | Bibliothèque centrale | Disponible |
| S8/56678 | Livre | Bibliothèque centrale | Disponible |
| S8/56679 | Livre | Bibliothèque centrale | Disponible |
| S8/56680 | Livre | Bibliothèque centrale | Disponible |
| S8/57149 | Livre | Bibliothèque centrale | Disponible |
| S8/57150 | Livre | Bibliothèque centrale | Disponible |
| S8/62706 | Livre | Bibliothèque centrale | Disponible |
| S8/62707 | Livre | Bibliothèque centrale | Disponible |
| S8/62708 | Livre | Bibliothèque centrale | Disponible |
| S8/64213 | Livre | Bibliothèque centrale | Disponible |
| S8/64214 | Livre | Bibliothèque centrale | Disponible |
| S8/64215 | Livre | Bibliothèque centrale | Disponible |
| S8/64216 | Livre | Bibliothèque centrale | Disponible |
Accueil
