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
| When |
Nov 30, 2016
from 05:00 PM to 06:00 PM |
|---|---|
| Where | Salon de seminarios Graciela Salicrup |
| Add event to calendar |
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?