¿Qué es el espiritismo? ¿Qué papel ha jugado el animismo en la historia de la informática?

La tesis de Church-Turing lleva el nombre de los matemáticos informáticos Alonzo Church y Alan Turing. El punto más básico de esta pregunta es que todos los cálculos o algoritmos pueden realizarse mediante máquinas de Turing. Un programa de computadora escrito en cualquier lenguaje de programación convencional se puede traducir a una máquina de Turing y, a la inversa, cualquier máquina de Turing se puede traducir a la mayoría de los programas de lenguaje de programación, por lo que esta pregunta equivale a la siguiente afirmación: Un lenguaje de programación convencional puede ser suficiente para expresar eficientemente cualquier algoritmo. Generalmente se supone que esta proposición es verdadera y también se la conoce como proposición de Church o conjetura de Church y proposición de Turing.

Este tema tiene muchos significados posibles:

El universo es una máquina de Turing (por lo que es físicamente imposible calcular funciones no recursivas). Esto se define como el tema de la Gran Iglesia de Turing.

El universo no es una máquina de Turing (es decir, las leyes de la física no son computables por Turing), pero innumerables eventos físicos no pueden impedirnos crear una supercomputadora. Por ejemplo, un universo en el que los números reales físicos sean números reales computables se puede clasificar de esta manera.

El universo es una supercomputadora porque se pueden construir dispositivos físicos para controlar esta propiedad y calcular funciones no recursivas. Por ejemplo, una pregunta abierta es si los eventos de la mecánica cuántica son computables por Turing, aunque hemos demostrado que cualquier sistema compuesto por qubits es Turing completo. John Lucas (y Roger Rozer) propusieron una vez que el cerebro humano podría ser el resultado de la supercomputación cuántica.