Chargement...
Chargement...
Auteur Bernays, Paul
Auteur

Support

Série

Disponibilité

1
Fondements des mathématiques. Vol. 2

Fondements des mathématiques. Vol. 2

Auteur : David Hilbert
Éditeur(s) : L'Harmattan
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. ©Electre 2025
56,00 €
Chargement...
Fondements des mathématiques. Vol. 1

Fondements des mathématiques. Vol. 1

Auteur : David Hilbert
Éditeur(s) : L'Harmattan
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. ©Electre 2025
50,80 €
Chargement...
Philosophie des mathématiques

Philosophie des mathématiques

Auteur : Paul Bernays
Éditeur(s) : Vrin
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émonstration, axiomisation, fon...
36,00 €
Chargement...
1