Dresden 2009 – scientific programme

Parts | Days | Selection | Search | Downloads | Help

DY: Fachverband Dynamik und Statistische Physik

DY 14: Focused Session: 50 years DY: Trends in dynamics and statistical physics

DY 14.5: Invited Talk

Wednesday, March 25, 2009, 12:00–12:30, HÜL 386

Towards a quantum Church-Turing Theorem — •Reinhard F. Werner — Inst. Math.Physik, TU Braunschweig, Germany

The Church-Turing Thesis states that any reasonable computational process can be simulated by a standard computational model, e.g., the Turing machine. In the quantum case this amounts to the question, whether we have actually found the most general ways to make quanta compute: can every conceivable computational model, which can be formulated within quantum mechanics, be simulated efficiently by one of the equivalent quantum computational models we know, e.g., the gate model, the one-way quantum computer, or adiabatic quantum computing?

We present some partial results, and discuss the relation to the broader question whether Nature is (quantum) computable.