Table des matières:
Définition - Que signifie invariant?
Un invariant est une valeur ou une condition qui devrait être cohérente lors de l'exécution d'un processus. Les invariants sont utiles pour tester les résultats des algorithmes et l'intégrité des programmes informatiques. Leur prévisibilité peut simplifier le processus d'évaluation de la validité des assertions logiques, et les invariants peuvent être considérés comme des points de référence dans le contexte environnant.
Techopedia explique Invariant
Les premières observations publiées de phénomènes invariants existeraient dans le texte très influent de Carl Friedrich Gauss sur la théorie des nombres de la fin du XVIIIe siècle, «Disquititiones Arithmeticae». Cependant, l'innovation d'une théorie invariante pleinement formée est souvent accréditée par George Boole, qui a écrit à ce sujet pour le Cambridge Mathematical Journal au début des années 1840. Parmi les autres chercheurs éminents qui se sont développés sur le sujet, on compte Otto Hesse et Arthur Cayley (tous deux mathématiciens européens du XIXe siècle).
