Inicio Biblioteca Complutense Catálogo Cisne Colección Digital Complutense

Could computers understand their own programs?: Coloquio Facultad de Matemáticas de la UCM

19 de Abril de 2013 a las 13:16 h

Conferencia de Tony Hoare. Cartel

El próximo jueves día 9 de mayo a las 13:00 horas tendrá lugar en el Salón de Actos de la Facultad de Matemáticas de la UCM la conferencia "Could computers understand their own programs?", a cargo de Tony Hoare (Microsoft Research, Cambridge, United Kingdom. ACM Distinguished Program). El evento se encuadra dentro de los coloquios que organiza la Facultad de Matemáticas a lo largo del curso académico.

Tony Hoare es uno de los científicos que más huella han dejado en el terreno de la Programación. Recibió el Premio Turing en 1980. Sus aportaciones han contribuido decisivamente a hacer de la programación una disciplina científica. Hoare creó en 1960 el algoritmo quicksort, y posteriormente introdujo mecanismos que facilitaron la Programación Estructurada, y la Lógica de Hoare, que permitía razonar sobre el significado de los programas. Más adelante introdujo los monitores y el lenguaje Communicating Sequential Processes (CSP). Después, las Algebras de Procesos, y recientemente se ha embarcado en las Teorías Unificadoras de la Programación y la realización de un Compilador capaz de Verificar los programas que compila.


Could computers understand their own programs?
My short answer is YES. The justification for this positive answer will draw on ideas originally put forward by the ancient Greeks, and on two ideas of Alan Turing, the great pioneer of Computer Science. I hope my answer will shed light on traditional philosophical questions about the nature of human understanding, and the nature of the introspective self]awareness that we believe is the exclusive gift of humanity. I also hope my answer will lead to results that are useful to the designers, programmers and users of computer programs which now monitor and control so many aspects of modern life. 
Bookmark and Share

Comentarios - 0

No hay comentarios aun.


Universidad Complutense de Madrid - Ciudad Universitaria - 28040 Madrid - Tel. +34 914520400
[Información - Sugerencias]