¿Por qué son las definiciones de función no está escrito con la $:=$ señal en lugar de la $=$ signo. A mí me parece que $:=$ sería más intuitivo y evitar un montón de ambigüedad innecesaria.
Considere el siguiente ejemplo:
$$f(x,y,z) = x^2 + y^2 + z^2$$ $$f(x,y,z) = 0$$
La primera línea define una función con valores reales que la salida es la suma de los cuadrados de todos sus parámetros $x,y,z$
La segunda línea - también define una función con valores reales que la salida siempre es $0$, o más comúnmente, es pedir a nosotros para encontrar las raíces de una función $f(x,y,z)$
Notar la sutil diferencia entre el significado de los 2 signos de igual. Así que, ¿no sería más adecuado en lugar de escribir la primera línea (la actual definición de la función y no la raíz del hallazgo) con el $:=$ signo? (ya que estamos definiendo es, después de todo)
$$f(x,y,z) := x^2 + y^2 + z^2$$ $$f(x,y,z) = 0$$
Hay una razón por qué no hacemos esto? Estoy totalmente equivocado en algunos detalles sutiles en la notación?