Bulletin de l’APMEP. N° 502. p. 89-95. Remarques sur les suites de Goodstein.

Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger

Auteur : Cuppens Roger

Résumé

L’auteur applique à l’arithmétique le principe de démonstration par récurrence, qu’il appelle l’arithmétique intuitive. Il définit par récurrence les suites faibles de Goodstein, puis il passe à l’arithmétique de Peano et aux algorithmes en arithmétique. Il termine en comparant les deux points de vue : ensembles finis achevés et ensembles infinis potentiels.

Notes

Cet article est publié sous la rubrique « Pour chercher et approfondir ».

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 , 2013 Format 17 cm x 24 cm, p. 89-95
ISSN 0240-5709

Public visé chercheur, enseignant, formateur Niveau licence Âge 18, 19, 20

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