Accueil Publimath  Aide à la recherche  Requête : auteur="Gödel Kurt"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
4 fiches trouvées

11989 Le théorème de Gödel.
21962 Bulletin de l'APMEP. Num. 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).
31962 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.
41961 Bulletin de l'APMEP. Num. 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.