Música Lambda (III): el cálculo y la música
Abstracción y aplicación Hay un artículo que explica cómo podemos aplicar el cálculo lambda en la representación de procesos musicales: "Lambda Calculus and Music Calculi" de Yann Orlarey et al. (1994). En este escrito los autores muestran como un lenguaje formal diseñado para describir cierto dominio de la realidad, como la música, puede ser convertido en un lenguaje de programación agregándole las operaciones básicas del cálculo lambda: abstracción y aplicación . Ya hemos visto que mediante abstracción , convierto una expresión en una función. Por ejemplo, puedo convertir el enunciado El cubo es rojo en una función proposicional; para ello simplemente cambiamos un término del enunciado por una variable: x es rojo De esta manera, por abstracción, obtenemos un predicado, una expresión que es verdadera de ciertas cosas. En este ejemplo " x es rojo" lo podríamos traducir como "lo que es rojo" o "la rojez", lo que los filósof...
