Correo interno
La tesis de Church-Turing y la ecuación de onda
Ponente: Ángel David Ríos Ortíz
Institución: Instituto de Matemáticas
Institución: Instituto de Matemáticas
| Cuándo |
30/11/2016 de 17:00 a 18:00 |
|---|---|
| Dónde | Salon de seminarios Graciela Salicrup |
| Agregar evento al calendario |
vCal
iCal
|
La tesis de Church-Turing afirma que una función es computable por una "máquina de Turing" si y sólo si es computable por una "máquina física". En 1983 se encontró una ecuación de onda en dimensión 3 cuya amplitud en el tiempo 0 es computable pero la amplitud al tiempo 1 es continua pero no computable. ¿Esto significa que podemos construir una "computadora de ondas" que pueda computar algo que la máquina de Turing no?