Indholdsfortegnelse:
Definition - Hvad betyder Invariant?
En invariant er en værdi eller betingelse, der forventes at være konsistent under udførelsen af en proces. Invarianter er nyttige til test af resultaterne af algoritmer og integriteten af computerprogrammer. Deres forudsigelighed kan forenkle processen med at vurdere gyldigheden af logiske påstande, og invarianter kan ses som referencepunkter i omgivende kontekst.
Techopedia forklarer Invariant
Det siges, at de tidligste offentliggjorte observationer af ufravikelige fænomener eksisterer i Carl Friedrich Gauss 'vidt indflydelsesrige tekst fra det attende århundrede om taleteori, "Disquititiones Arithmeticae." Imidlertid er innovationen i en fuldt ud dannet invariant teori ofte akkrediteret til George Boole, der skrev om det til Cambridge Mathematical Journal i de tidlige 1840'ere. Andre prominente forskere, der har udvidet sig om emnet, inkluderer Otto Hesse og Arthur Cayley (som begge er europæiske matematikere fra det nittende århundrede).
