Les démonstrations de cohérence de l’arithmétique.
incomplète
Séminaire de philosophie et mathématiques, séance du 9 janvier 1980.
Auteur : Girard Jean-Yves
Résumé
Cette brochure contient le texte d’une conférence donnée lors de la séance du 9 janvier 1980 du « Séminaire de philosophie et mathématiques » dans laquelle l’auteur distingue un peu arbitrairement
I – La signification philosophique de la cohérence
II – Le contenu et les conséquences mathématiques des démonstrations de cohérence.
Notes
Une version texte intégral est en téléchargement sur le site http://www.numdam.org/issues/SPHM_1980___1/
Données de publication
Éditeur IREM de Paris-Nord Villetaneuse , 1980 Collection Philosophie mathématiques Num. 4 Format A4, 6 p.
ISBN 2-86240-504-3 EAN 9782862405049 ISSN 0294-6777
Public visé enseignant
Type monographie, polycopié Langue français Support papier
Classification