Aller au contenu

Recherche avancée

Gödel Kurt

Chercher dans les

Il y a 4 résultats pour cette recherche.

1989 Le théorème de Gödel.

Auteurs : Gödel Kurt ; Nagel Ernest ; Newman James R. ; Girard Jean-Yves
1961 Bulletin de l'APMEP. N° 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie.

Auteurs : Balibar Jean ; Gödel Kurt
1962 Bulletin de l'APMEP. N° 222. p. 155-164. Un exemple d'abstraction, de formalisme et de métathéorie (suite).

Auteurs : Balibar Jean ; Gödel Kurt
1962 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.

Auteurs : Balibar Jean ; Gödel Kurt

© ADIREM-APMEP - ISSN 1292-8054 - Mentions légales -

Mise à jour 17/07/2026 18:43 -

42365 fiches -

17019 dans bibliothèque numérique -

4217 notices du glossaire.