Additions récursives
Les additions récursives sont des opérations binaires introduites par le mathématicien et vulgarisateur Mickaël Launay et reprises dès 2019 par l'étudiant en mathématiques Médéric Niot. 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.
Q3884033
opérations binaires
Concept
Q170790
mathématicien
Concept
Q995600
vulgarisateur
Concept
Q27940967
Mickaël Launay
PER
Q20571170
2019
Concept
+2019^^http://www.w3.org/2001/XMLSchema#decimal
2019
NUMBER
Q395
mathématiques
Concept
None
Médéric Niot
UNK
Q32043
addition
Concept
0^^http://www.w3.org/2001/XMLSchema#decimal
0
NUMBER
Q842755
arithmétique de Péano
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
Q7632653
fonction successeur
Concept
Q3884033
opérations binaires
Concept
Q395
mathématiques
Concept
Q27940967
Mickaël Launay
PER
Q170790
mathématicien
Concept