GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur David Hilbert |
Documents disponibles écrits par cet auteur (5)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
David Hilbert, Auteur ; Paul Rossier, Éditeur scientifique | Sceaux (Hauts-de-Seine) : J. Gabay | 1997L'auteur inaugure toute une série de recherches sur l'indépendance mutuelle des divers axiomes de la géométrie, et la délimitation des parties de celle-ci où chacun d'eux intervient de manière essentielle. Il découvre dans ces études de nouvelle[...]texte imprimé
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.texte imprimé
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.texte imprimé
David Hilbert, Auteur | Sceaux (Hauts-de-Seine) : J. Gabay | Les grands classiques Gauthier-Villars, ISSN 0989-0602 | 1990Conférence de David Hilbert, au 2e Congrès international des mathématiques, tenu à Paris en 1900.texte imprimé
Etudie le corps de Galois, les corps quadratiques, les corps circulaires et les corps kummeriens.