Innholdsfortegnelse:
Definisjon - Hva betyr Invariant?
En invariant er en verdi eller betingelse som forventes å være konsistent under utførelsen av en prosess. Invariants er nyttige for å teste resultatene av algoritmer og integriteten til dataprogrammer. Deres forutsigbarhet kan forenkle prosessen med å vurdere gyldigheten av logiske påstander, og invarianter kan sees på som referansepunkter i omgivende kontekst.
Techopedia forklarer Invariant
De tidligste publiserte observasjonene av ufravikelige fenomener sies å eksistere i Carl Friedrich Gauss vidt innflytelsesrike tekst fra det attende århundre om tallteori, "Disquititiones Arithmeticae." Imidlertid er innovasjonen av en fullstendig dannet invariant teori ofte akkreditert til George Boole, som skrev om det for Cambridge Mathematical Journal på begynnelsen av 1840-tallet. Andre fremtredende forskere som har utvidet om emnet inkluderer Otto Hesse og Arthur Cayley (begge er europeiske matematikere fra det nittende århundre).
