Auteur Paul Bernays
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
texte imprimé
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ével[...]
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.
