Expositor: Ángel David Ríos Ortíz
30/11/2016 de 17:00 a 18:00 Dónde Salon de seminarios Graciela Salicrup
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?
Temas: