Índice:
Definição - O que significa Invariant?
Um invariante é um valor ou condição que se espera que seja consistente durante a execução de um processo. Invariantes são úteis para testar os resultados de algoritmos e a integridade de programas de computador. Sua previsibilidade pode simplificar o processo de avaliação da validade de asserções lógicas, e os invariantes podem ser vistos como pontos de referência no contexto circundante.
Techopedia explica Invariant
Diz-se que as primeiras observações publicadas de fenômenos invariantes existem no amplamente influente texto de Carl Friedrich Gauss sobre a teoria dos números do final do século XVIII, "Disquititiones Arithmeticae". No entanto, a inovação de uma teoria invariável totalmente formada é frequentemente creditada a George Boole, que escreveu sobre isso para o Cambridge Mathematics Journal no início da década de 1840. Outros pesquisadores proeminentes que expandiram o assunto incluem Otto Hesse e Arthur Cayley (ambos matemáticos europeus do século XIX).