A esto se le ha llamado tesis de Church-Turing fuerte.