Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).

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

Résumé

Cet article et le précédent constituent une lecture commentée la démonstration publiée en 1940 par Kurt Gödel et rééditée en 1951. L’article donne quelques idées du travail et met en évidence les notions générales de théorie formalisée, d’objet mathématique abstrait, de modèle d’une théorie, et montre comment une théorie proprement mathématique fait intervenir des notions et des théorèmes de logique.

Notes

Cet article est également paru dans la brochure Lecture commentée d’une méta-démonstration de Gödel.

Le Bulletin de l’APMEP (appelé « Bulletin Vert ») s’efforce, par des articles de fond : de couvrir l’actualité de l’enseignement des mathématiques de la maternelle à l’université, de contribuer à la formation approfondie des enseignants, d’entretenir, chez ceux-ci, l’esprit de recherche et de susciter des échanges avec ses lecteurs.
Il paraît 5 fois par an de sa création à 2018, année où suite à un changement de politique éditoriale, l’APMEP publie une revue unique Au Fil des Maths – le Bullletin de l’APMEP.

Données de publication

Éditeur Association des Professeurs de Mathématiques de l’Enseignement Public (APMEP) Paris , 1962 Format A5, p. 155-164
ISSN 0240-5709

Public visé chercheur, enseignant, formateur

Type article de périodique ou revue Langue français Support papier