Los lenguajes artificiales dieron lugar a una de las grandes empresas intelectuales del siglo XX. Alcanzaron la madurez en los ámbitos de la lógica matemática, alrededor de la década de los años treinta, en el estudio de las metamatemáticas, es decir, las matemáticas de las matemáticas. En esta conferencia se indaga en la interrelación entre la lógica y la informática y se explican los requisitos para entender un lenguaje artificial.