|
| Coordinador |
Ricardo Espinoza Lolas (respinoz[at]ucv.cl)
Licenciado en Filosofía y Profesor de Filosofía; Universidad Católica de Valparaíso, Chile.
Doctor en Filosofía; Universidad Autónoma de Madrid, España |
| Lugar |
Instituto de Sistemas
Complejos de Valparaíso (ISCV)
Subida Artillería 470, Cº Artillería,
Valparaíso (Costado Museo Naval, Paseo 21 de Mayo) |
| Período |
Agosto - Diciembre 2007 (segundo semestre 2007) |
| Frecuencia |
Días Viernes según
calendario |
| Fechas |
Agosto |
17 |
| Septiembre |
7 y 21 |
| Octubre |
19 y 26 |
| Noviembre |
2 y 16 (día 2 postpuesto para el 9 de Noviembre) |
| |
|
| Horario |
16:30 a 18:10 hrs.
(2 sesiones de 45 min. c/u con break de 10 min. entremedio) |
| Publico |
Estudiantes Avanzados, de Postgrado e Investigadores, Cupos
Limitados. |
| Plazo Inscripción |
Abierto, Enviar carta de motivación y Currículo Vitae (CV) al correo bbalmaceda[at]iscv.cl con copia a respinoz[at]ucv.cl |
| Charlas |
Eric Goles (Premio Nacional de Ciencias - PhD Ingeniería, y Doctor de Estado en Matemáticas, Universidad de Grenoble, Francia - Presidente ISCV) |
| Nota |
El curso será aprobado mediante entrega de paper de investigación acorde a los temas expuestos. |
| Contenidos |
Descripción
Introducción de la noción de algoritmo y “lenguajes ciegos”, y su impacto en la cultura contemporánea.
Objetivos Específicos
- Apreciación de la noción de algoritmo
- Búsqueda de un lenguaje universal
- Lenguajes formales y resultados de Gödel y Turing
Contenidos
- Teorema de Gödel
- Máquina Universal de Turing
- Límites del Cálculo Universal
Metodología
- Exposiciones orales
- Desarrollo de trabajos por parte de los alumnos.
Evaluación
- Un trabajo final presentado por cada alumno
Bibliografía
- The advantage of algorithm – D. Berlinski, Harcourt, Inc. 2000
- The Gödel’s proof, E. Nagel, J.R Newman, N. York University Press, 2001
|
