Existe-t-il des machines théoriques dépassant les capacités des machines de Turing dans au moins certaines
Il existe des temps spatiaux relativistes (par exemple des temps spatiaux MH; voir Hogarth 1994) où une ligne du monde de durée infinie peut être contenue dans le passé d'un observateur fini. Cela signifie qu'un observateur normal peut avoir accès à un nombre infini d'étapes de calcul. En supposant...
Quand je lis à propos de la thèse de Church-Turing, il semble être une affirmation courante que «la réalité physique est calculable par Turing». Quelle est la base de cette réclamation? Y a-t-il des résultats théoriques dans ce sens? Pour le contexte, je suis un chercheur qui travaille sur des...