Princípio Church-Turing-Deutsch

O princípio de Church-Turing-Deutsch é uma forma mais forte de tese de Church (ou tese de Church-Turing) que foi formulada por David Deutsch em 1985. De acordo com esse princípio, uma calculadora universal pode simular todos os processos físicos .

Conforme declarado por Deutsch, o texto é o seguinte:

“Todo sistema físico finitamente realizável pode ser perfeitamente simulado por um modelo universal de máquina de computação operando por meios finitos. "

“Qualquer sistema físico finito alcançável pode ser perfeitamente simulado por um modelo de máquina de calcular operando por meios finitos. "

Notas e referências

  1. David Deutsch, "  Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer  " , Proceedings of the Royal Society, 1985, Series A, 400, pp 97-117

Artigos relacionados