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. Le premier tome retrace les motivations philosophiques de l'entreprise, traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Le second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
L’écrivain franco-vénézuélien Miguel Bonnefoy poursuit l’exploration fantasmagorique de sa mémoire familiale...
