Accueil Publimath  Aide à la recherche  Requête : auteur="Balibar Jean"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
4 fiches trouvées

11962 Bulletin de l'APMEP. Num. 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
21962 Lecture commentée d'une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.Ressource en ligne
31961 Bulletin de l'APMEP. Num. 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.
41961 Bulletin de l'APMEP. Num. 217. p. 39-48. Matériaux pour un dictionnaire.