Así que he estado buscando un nombre general de este tipo de notación matemática (google no ha sido muy útil) para poder aprender más sobre ella. Básicamente, los símbolos tienen forma de funciones y los números son las entradas de la función. + es la función que toma 4 y 5 y da como resultado 9, por lo que (+4 5) = 9. Fórmula (* a b ) = a * b. Donde ' * ' puede ser cualquier símbolo matemático básico. Las formas más complicadas son: (+ 4 (+ 5 1)) = 4 + (5+1) = 10. Siendo 4 la entrada de 'a' y (5+1) la de 'b' en (* a b ).
Espero que tenga sentido.
7 votos
AFAIK se parece al lenguaje de programación LISP.
0 votos
Sí, lisp y otros lenguajes informáticos utilizan esto, y sólo quiero saber el nombre de este tipo de matemáticas, así que no estoy seguro de lo que es con todos estos votos negativos, parece infantil
21 votos
Parece que la aritmética en Notación polaca , excepto que la Notación Polaca no necesita -y no utiliza- paréntesis.
1 votos
@CiaPan Como ha dicho Ahmed Hussein, es típico el uso del lenguaje LISP que utiliza una especie de "notación pulida" pero es sólo la punta del iceberg. Este lenguaje se describe bien diciendo que implementa la lógica de $\lambda$ cálculo (www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf) definida por el lógico Church.
1 votos
@JeanMarie Sé lo que es Lisp (hace tiempo conocía algún dialecto de Lisp), pero la pregunta era 'para un nombre general de este tipo de matemáticas ', no sobre el nombre de un lenguaje de programación que utiliza este tipo de matemáticas.
13 votos
No es un "tipo de matemáticas". Es sólo una variación trivial de la notación. Las buenas notaciones son importantes en las matemáticas, pero una notación diferente no hace una matemática diferente.
1 votos
Normalmente no es necesario poner paréntesis en este tipo de expresiones, porque no son ambiguas.
0 votos
Sólo un dato más, dentro de LISP y lenguajes afines, estos se denominan Expresiones en S .
3 votos
Lisp utiliza paréntesis porque (entre otras razones) + y * son en realidad funciones de suma y producto sobre un número arbitrario de operandos, en lugar de operadores binarios.
0 votos
@Random832: IOW, para lo que convencionalmente escribimos como y .
0 votos
@Édouard No son ambiguos si defines cada uno como un operador binario, pero si quieres que sean n-arios, para poder hacer
(+ 2 3 4)en lugar de(+ (+ 2 3) 4)(o(+ 2 (+ 3 4))), entonces los necesitarías. Para los operadores asociativos, eso está bien. Pero tienes razón, si todos los operadores son de paridad fija, entonces no es necesaria la agrupación.