Música Lambda (I): presentación

Este es el primer post de este nuevo blog Música Lambda dedicado exclusivamente a una exposición de mis ideas e investigaciones acerca de música algorítmica específicamente. Durante un tiempo estuve posteando material relativo a música algorítmica en mi blog personal, pero abarco tantos temas técnicos en ese material que muchas amistades personales dejan de visitarlo. Por otro lado, tengo tantas ideas e información especializada reunida sobre música algorítmica que considero mejor ponerla por separado en este blog, que ha de estar dedicado exclusivamente a ese tema.

Fig. 1: Logo de Common Music. Se emplea la letra griega Lambda como símbolo

Por qué lo titulo música lambda se debe a que la letra lambda está estrechamente asociada al concepto de computabilidad y a la visión algorítmica del mundo. Se trata de un punto de vista interesante para tratar la composición musical y el estudio de otros dominios como la cognición o la lógica matemática, incluso la musicología. En este blog trataré de limitarme a aspectos que tienen que ver exclusivamente con composición musical. En general, lo estoy pensando como una serie de tutoriales en los que se expongan diversos aspectos del tema.

Cuando asociamos la música con la letra griega lambda, queremos pensar la música como un dominio que puede ser descrito a través del calculo lambda, un lenguaje muy simple pero poderoso concebido por el matemático estadounidense Alonzo Church para definir en forma precisa el concepto de función matemática. Church consideró que cualquier función descrita o definida usando el cálculo lambda es una función computable. Luego, otros autores demostraron que toda función definible por el cálculo lambda puede ser computada por una máquina universal de Turing. Esto nos permite concebir el cálculo lambda como un criterio de definición de computabilidad, en eso consiste la tesis de Church.

Entonces, cuando hablamos de música lambda queremos hacer referencia a una música hecha algorítmicamente, concebida en términos computables, una música cuyo proceso es desencadenado en el curso de la ejecución de un algoritmo, una música realizada aplicando operaciones simples a objetos simbólicos o simplemente símbolos que describen el proceso de razonamiento que subyace a la composición de una obra.

Comenzaremos con una exposición del cálculo lambda y de como podemos servirnos de él en música, así como una breve reflexión de las implicaciones de esto.