10
¿Qué significaría refutar la tesis de Church-Turing?
Perdón por el título pegadizo. Quiero entender, ¿qué se debe hacer para refutar la tesis de la Iglesia-Turing? ¡En algún lugar que leí es matemáticamente imposible hacerlo! ¿Por qué? Turing, Rosser, etc., utilizaron diferentes términos para diferenciar entre: "lo que se puede calcular" y "lo que se puede calcular mediante …