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.
Resumen: 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. Los primeros lenguajes de programación modernos aparecieron en los años cincuenta, haciendo posible escribir los complejos sistemas de software actuales, que llevan a cabo la infinidad de tareas de las que dependemos hoy en día.
Comentarios
Enlace directo al vídeo: http://royalsociety.tv/rsPlayer.aspx?presentationid=1093
Ha habido un error en el link. Por favor cambiad a: http://royalsociety.org/events/2013/logic-computer-science/
Resumen: 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. Los primeros lenguajes de programación modernos aparecieron en los años cincuenta, haciendo posible escribir los complejos sistemas de software actuales, que llevan a cabo la infinidad de tareas de las que dependemos hoy en día.
#1 Corregido enlace