SEMINAR: Máquinas de Turing y la indecidibildad del problema de parada. Prof. Joerg Flum
- https://computing.phd.upc.edu/en/events/course-maquinas-de-turing-y-la-indecidibildad-del-problema-de-parada.-prof.-joerg-flum
- SEMINAR: Máquinas de Turing y la indecidibildad del problema de parada. Prof. Joerg Flum
- 2012-06-14T12:00:00+02:00
- 2012-06-14T14:00:00+02:00
When
Jun 14, 2012 from 12:00 PM to 02:00 PM (Europe/Madrid / UTC200)
Where
sala d’Actes de la Facultat d’Informàtica de Barcelona , edifici B6. UPC-Campus Nord.
Add event to calendar
professor Joerg Flum (de la Univ. de Freiburg)
El 23 de Junio de este año se celebra el centenario del nacimiento de Alan Turing, que introdujo las máquinas que llevan su nombre. En la conferencia recapitularemos las reflexiones de Turing del año 1936 en las que se basa la formalización de la noción de algoritmo mediante sus máquinas. En la misma publicación Turing demostró la indecidibilidad del problema de parada. En la segunda parte veremos que la complejidad computacional de variantes del poblema de parada está relacionada con problemas de distintas áreas.
El 23 de Junio de este año se celebra el centenario del nacimiento de Alan Turing, que introdujo las máquinas que llevan su nombre. En la conferencia recapitularemos las reflexiones de Turing del año 1936 en las que se basa la formalización de la noción de algoritmo mediante sus máquinas. En la misma publicación Turing demostró la indecidibilidad del problema de parada. En la segunda parte veremos que la complejidad computacional de variantes del poblema de parada está relacionada con problemas de distintas áreas.
Share: