Additions récursives
Les additions récursives sont des opérations binaires introduites par le mathématicien et vulgarisateur Mickaël Launay[1],[2] et reprises dès 2019 par l'étudiant en mathématiques Médéric Niot[3]. Elles consistent à récursiviser l'addition d'ordre 0, à l'inverse de l'arithmétique de Péano qui définit l'addition comme étant l'opération d'ordre 1, après la fonction successeur[4].
Définition
L'addition récursive de premier degré se définit par la formule suivante :
a + b = a * a * a * ... * a, où a est composé b fois, et * loi de composition interne au magma (E,*) dans lequel l'addition récursive est définie.
Les additions récursives sont en lien direct avec les structures algébriques, un objet mathématique qui définit les propriétés et les caractéristiques des opérations.[5]
Voir aussi
Articles connexes
Notes et références
- Mickaël Launay, « Avant l'addition », Vidéo, (lire en ligne, consulté le )
- Mickaël Launay, « Le live final des 10 ans de micmaths », (consulté le )
- « Médéric Niot », sur www.facebook.com (consulté le )
- Institut de Mathématiques de Luminy, « Arithmétique de Peano », Article, 2012-2013 (lire en ligne)
- Académie de Rennes, « relation », Cours, (lire en ligne)
- Portail des mathématiques