GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Paul Bernays |
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Affiner la recherche
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é
Ensemble d'articles écrits par le mathématicien suisse Paul Bernays (1888-1977), publiés entre 1927 et 1971. Y sont traités les problèmes majeurs en philosophie des mathématiques : nature de la connaissance mathématique, théorie de la démonstrat[...]