Accueil Publimath  Aide à la recherche  Requête voisine : "théorie des classes"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
11 fiches trouvées

12011 TOUT.
22009 Histoire de la Théorie des Ensembles.
31998 Les nombres.
41994 Mathématiques constructives.Ressource en ligne
51994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.Ressource en ligne
61988 Bulletin de l'APMEP. Num. 363. p. 135-150. Les avatars de l'axiome du choix. D'où vient-il ? Où se cache-t-il ? A quoi nous sert-il ?Ressource en ligne
71978 Abrégé d'histoire des mathématiques 1700-1900. II.
81978 Abrégé d'histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.
91962 Bulletin de l'APMEP. Num. 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
101962 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.
111961 Bulletin de l'APMEP. Num. 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.