Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Balibar Jean ; Gödel Kurt

Titre : Bulletin de l'APMEP. Num. 217. p. 11-26. Un exemple d'abstraction, de formalisme et de métathéorie. 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.

Editeur : APMEP Association des Professeurs de Mathématiques de l'Enseignement Public (APMEP) Paris, 1961
Format : A5, p. 11-26  ISSN : 0240-5709

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

Public visé : chercheur, enseignant, formateur

Classification : A39Revues, article de revue
Formation à l'enseignement, initiale et continue.
 E69Ensembles. Relations. Théorie des ensembles
Formation à l'enseignement, initiale et continue.
 

Résumé :

Cet article et le suivant 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") paraît 5 fois par an. Il 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.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 10/06/2019
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN