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