Kazalo:
Opredelitev - Kaj pomeni Invariant?
Invariant je vrednost ali pogoj, za katerega se pričakuje, da bo med izvajanjem postopka dosleden. Invarianti so uporabni pri testiranju rezultatov algoritmov in celovitosti računalniških programov. Njihova predvidljivost lahko poenostavi postopek ocenjevanja veljavnosti logičnih trditev, invariante pa lahko vidimo kot referenčne točke v okoliškem kontekstu.
Tehopedija razlaga Invariant
Najhitreje objavljena opažanja invariantnih pojavov naj bi obstajala v široko vplivnem besedilu Carla Friedricha Gaussa o teoriji števil poznih osemnajstega stoletja, "Disquititiones Arithmeticae". Vendar pa je inovacija popolnoma oblikovane invariantne teorije pogosto akreditirana pri Georgeu Boolu, ki je pisal o njem za Cambridge Mathematical Journal v zgodnjih 1840-ih. Drugi vidni raziskovalci, ki so se razširili na to temo, so tudi Otto Hesse in Arthur Cayley (oba sta evropska matematika iz devetnajstega stoletja).
