Orígenes de los signos de igual

Question

Algunos autores utilizan iguales diferentes señales para diferentes propósitos. En su mayor parte, son '$=$', '$\equiv$', "$:=$", y "$:\equiv$'. He leído que "$=$" se remonta a 1557 y es de origen matemático.

¿Qué pasa con los otros? He leído que "$:=$" aparece en algunos lenguajes de programación del $70$'s. Pero, ¿ocurre antes? ¿$\equiv$ Y $:\equiv$, ¿cuáles son sus orígenes?

Answer 1

El material que aquí se extrae de Florian Cajori del libro Una historia de notaciones matemáticas.
Si hay algún error, es más probable que sea causado por mi propia incomprensión.

El símbolo $\equiv$ ha sido utilizado por diversas ramas de las matemáticas. Se ha utilizado para

1. la aritmética como la congruencia - introdujo por primera vez por Gauss en $1801$.

   Ref: una referencia en línea y párrafo $408$ de Cajori del libro.

2. la geometría como el geométrico congruencia - introdujo por primera vez por Riemann.

   Aparece en G. F. B. Riemann Elliptische Funklionen (Leipzig, 1899), p 1, 6.

   Ref: párrafo $374$ de Cajori del libro.

3. lógica - se remonta al menos a $1910$.

   Aparece como 'la definición de la identidad", en E. H. Moore, Introducción a una Forma de Análisis General (1910) p.18. En el primer volumen de Whitehead y Russell Principia Mathematica (1910, p5-38), se ha se utiliza como bi-condicional (yo.e $p \equiv q$ es sinónimo de $p$ implica $q$ $q$ implica $p$) en su lugar.

   Ref: apartados $694, 695$ de Cajori del libro.

   Gottlob Ferge, pueden haber utilizado $\equiv$ $1879$ (pasó a utilizar $=$ después de su publicación en $1893$), la referencia que tengo no es claro lo que pasa.

   Ref: párrafo $687$ de Cajori del libro.