Turing machine + time dilation = risolve il problema di arresto?


15

Esistono tempi spaziali relativistici (es. Tempi spaziali MH; vedi Hogarth 1994) in cui una linea mondiale di durata infinita può essere contenuta nel passato di un osservatore finito. Ciò significa che un osservatore normale può avere accesso a un numero infinito di passaggi di calcolo.

Supponendo che un computer possa funzionare perfettamente per un periodo di tempo infinito (e so che è una grande domanda): si potrebbe costruire un computer HM che viaggia lungo questa infinita linea mondiale, calcolando il problema di arresto per un dato M. Se M si ferma , HM invia un segnale all'osservatore finito. Se dopo un numero infinito di passi l'osservatore non riceve alcun segnale, l'osservatore sa che M si muove, risolvendo il problema di arresto.

Finora, questo suona bene per me. La mia domanda è: se ciò che ho detto finora è corretto, in che modo questo altera la prova di Turing che il problema dell'arresto è indecidibile? Perché la sua prova fallisce in questi tempi ?



1
L'osservatore di durata infinita avrà accesso a energia infinita per eseguire i suoi infiniti passi di calcolo? (in alternativa, un tester di arresto del problema può essere formulato in modo reversibile? Non credo)
user253751


@immibis: Sì, lo fa! L'ho studiato al college.
Joshua

Si noti che è un'idea sbagliata comune che una macchina da turismo che non si ferma deve "fare un ciclo". Ciò implica una sorta di stato ripetuto, o di fare la stessa cosa ancora e ancora. In effetti possiamo decidere in modo decisivo se una macchina ha questo comportamento o si ferma dato che fa una delle due cose. Le macchine fastidiose che ci incasinano non sono quelle a ciclo continuo, ma piuttosto quelle che si muovono caoticamente in uno schema quasi casuale, sfidando ogni senso di regolarità.
exfret, il

Risposte:


26

Nota che la dimostrazione di Turing è di matematica, non di fisica. All'interno del modello di una macchina di Turing definita da Turing, l'indecidibilità del problema di arresto è stata dimostrata ed è un fatto matematico. Quindi, la prova di Turing non "fallirà" nelle ore spaziali, semplicemente non dimostrerà nulla sulla relazione tra il problema di arresto e la dilatazione del tempo.

Tuttavia, ciò che probabilmente vorrai sapere è se una "macchina di Turing di dilatazione del tempo" può risolvere il problema di arresto.

Se vuoi studiare questa influenza della "dilatazione del tempo" su una macchina di Turing, dovrai specificare un modello formale attraverso il quale possiamo formalmente capire cosa significa per una macchina di Turing fare uso della dilatazione del tempo. Sfortunatamente, questo formato non è adatto a fornire un modello così formale (a meno che qualcun altro non abbia scritto un articolo al riguardo) in quanto la creazione del modello è troppo ampia.

Tuttavia, non è improbabile che una certa formalizzazione sia effettivamente in grado di risolvere il problema dell'arresto. Questo articolo di Scott Aaronson, Mohammad Bavarian e Giulio Gueltrini prende in esame i modelli computazionali partendo dal presupposto che esistano i cosiddetti cicli a tempo chiuso e concludono che il problema dell'arresto è effettivamente calcolabile all'interno di quel modello.


4
Forse anche utile è che il formalismo di una "macchina iper-turing" come una macchina di Turong che può fare un numero infinito di passi in un lasso di tempo limitato è davvero un formalismo comune. Puoi trovare molto materiale utile lì.
Cort Ammon - Ripristina Monica il

10

La macchina di Turing è un modello matematico formale di calcolo, non risponde ad alcuna limitazione fisica e non si preoccupa degli effetti relativistici. Ciò significa che la prova di Turing non fallisce, poiché la definizione standard di macchina di Turing non contiene nemmeno una nozione di "spaziotempo".

Quello che puoi provare a fare è definire un diverso modello di calcolo ispirato alla relatività. Ancora una volta, questo sarà solo un oggetto formale e la questione se può o meno risolvere il problema di arresto appartiene al regno della matematica e dipende dalla tua definizione specifica. Tuttavia, la vera domanda ora è se questo nuovo modello effettivamente cattura correttamente gli effetti relativistici, cioè riflette davvero la nostra fisica e può essere implementato nel nostro mondo?

Puoi vedere una discussione del genere riguardo al calcolo quantistico. Abbiamo una definizione formale di "macchine quantistiche di Turing" e il loro esatto potere computazionale rimane un problema aperto in matematica (anche se non vicino al problema dell'arresto). Tuttavia, puoi sostenere che questa definizione non riflette realmente la nostra comprensione della fisica quantistica e ne è necessaria una migliore. Ci sono argomenti che suggeriscono che tali macchine non possono nemmeno essere costruite, quindi il loro esatto potere non ha alcun effetto sulla tesi (forte) di Church-Turing.

Torna alla tua domanda. Esiste la nozione formale di una macchina di Turing a tempo infinito , ma per avere un effetto sulla tesi di Church-Turing è necessario che esista nella pratica. Potresti essere interessato al documento di Scott , che contiene una sezione sui calcoli che utilizzano effetti relativistici, anche se sembra che gli argomenti ingenui siano senza speranza (nel senso che sono poco pratici, poiché il costo del tempo è sostituito dal costo dell'energia).


1
Ri. "... affinché abbia qualche effetto sulla tesi di Church-Turing è necessario che esista in pratica." - le macchine di Turing non sono anche macchine idealizzate che non possono esistere nella pratica?
margherita,

1
In effetti, riflette solo (o almeno tenta di) la nostra intuizione riguardo a ciò che è una "macchina informatica". Questo è il motivo per cui la tesi di Church-Turing è una tesi, e non un teorema matematico. Afferma solo in modo informale che le macchine di Turing catturano il vero potere computazionale che esiste nel nostro mondo.
Ariel,

Il mio punto è: perché una macchina di Turing a tempo infinito deve esistere nella pratica per avere un effetto sulla CTT, quando nemmeno le macchine di Turing standard esistono nella pratica?
margherita,

1
Una formulazione della tesi di Church-Turing è la seguente: ogni possibile modello computazionale realizzabile nel nostro mondo non supera il potere della macchina di Turing. La tesi stessa è definita rispetto ad alcuni modelli di terra (vale a dire, la macchina di Turing).
Ariel,

Ho fatto una domanda di follow-up perché anche dopo aver esaminato le diapositive pubblicate non capisco davvero l'affermazione secondo cui non è possibile costruire una pratica macchina di Turing quantistica. (2a volta per pubblicare questo commento, ora punta a QC.SE anziché a CS.SE)
BurnsBA

7

La prova di Turing mostra che nessuna macchina Turing è in grado di risolvere il problema di Halting, indipendentemente da quanto tempo dedichi. Se la tua astronave utilizzava la dilatazione del tempo per dare al computer un miliardo di anni di lavoro, potrebbe non essere in grado di dirti nulla di più definito di "Non ancora".

Apparentemente, (Grazie, @DiscreteLizard!) Se hai viaggi nel tempo che non possono causare paradossi, potresti impostare un ciclo temporale che causerebbe un paradosso se il computer non è in grado di provare se la macchina di Turing si ferma. O riceve la risposta dal futuro e la trasmette a se stessa, oppure corre per sempre (e, abilmente, restituisce una sovrapposizione quantistica che si risolve in un ciclo temporale stabile). Ma, prima di provare questo, assicurati che sia sicuro causare un paradosso nel viaggio nel tempo.


2
"Non ci sono ancora dati sufficienti per una risposta significativa."
Robert Columbia,

Si noti che il motivo principale per cui ho citato le macchine di Turing in cicli chiusi simili a tempi è che esistono alcune "modifiche fisiche" del modello di macchina di Turing in modo tale che il problema di arresto sia calcolabile da quella macchina. Sembra che altri sappiano di più sulla dilatazione del tempo di me, ma questo esempio mi rende almeno titubante nel fare tali affermazioni a meno che non venga data una formalizzazione della dilatazione del tempo.
Lucertola discreta

@Discretelizard È stato un grande contributo alla discussione. Non sono sicuro di aver compreso completamente l'intento del PO, ma la dilatazione del tempo relativistica è un concetto reale nella fisica moderna e ho risposto supponendo che stesse usando la definizione standard del termine.
Davislor,

@Davislor Naturalmente la dilatazione del tempo è ben definita, all'interno della fisica . Una macchina di Turing è un oggetto matematico . Per quanto ne so, il meglio che possiamo fare per combinare i due è quello di creare un'analogia fisica di una macchina di Turing e mostrare formalmente come ciò interagisce con la dilatazione del tempo. Questo è (un esempio di) cosa intendo con una "formalizzazione". Non penso che ci sia un modo unico per formalizzare questo e che i risultati possano differire, quindi la mia esitazione a dire qualcosa di conclusivo al riguardo.
Lucertola discreta

Detto questo, potrebbe essere possibile che la risposta sia "no" per qualsiasi ragionevole formalizzazione, ma almeno tale affermazione va oltre la mia competenza.
Lucertola discreta

5

Un'obiezione è che hai definito un processo che può produrre entropia infinita in una regione compatta e che sembra farlo in un segmento finito del passato dell'osservatore. Questo significa alcune cose

  • L'entropia computazionale nella regione compatta supera il Bekensteinlegato all'entropia (il cui limite è proporzionale alla superficie della regione), quindi collassa in un buco nero (istantaneamente) e nessun segnale potrà mai raggiungerti dal suo interno. (La metrica di Kerr descrive uno spaziotempo MH. Si osserva che il processo infinito si completa solo quando l'osservatore passa nell'orizzonte degli eventi interni. Trascurando l'attuale incertezza sulla fisica di tale passaggio, nessun osservatore remoto ha mai accesso al risultato del calcolo - il risultato è solo l'osservatore che è scomparso nel buco nero. Questa non è una descrizione di un utile processo computazionale. Per parafrasare: "Abbiamo un oracolo che produce la risposta corretta a qualsiasi domanda che poni in tempo costante in tali un modo in cui la risposta esiste solo nel momento in cui viene distrutta gettandola in un buco nero. ")
  • Una macchina di Turing distrugge le informazioni ogni volta che sovrascrive un simbolo su un nastro, quindi secondo il principio di Landauer , un calcolo finito su una linea del mondo infinito compresso in un segmento finito nel cono di luce dell'osservazione passato deve essere osservato per richiedere potenza infinita ed emettere calore infinito durante il tempo infinitesimale che si osserva per funzionare. Cioè, poiché una sosta viene raggiunta a tempo finito, viene raggiunta istantaneamente dal punto di vista dell'osservatore esterno, quindi tutta la potenza viene consumata all'istante e tutto il calore si evolve all'istante. In alternativa, se il calcolo non si interrompe, la regione compatta consuma continuamente potenza infinita ed emette calore infinito. Risultato netto: un buco nero, di nuovo.
  • In alternativa, il principio di Landauer non si applica alla computazione reversibile e ci sono ( universali ) macchine di Turing reversibili . Tuttavia, una tale macchina di Turing richiede la capacità di rappresentare l'intero spazio di potenziali stati computazionali, che è esponenziale nella dimensione della quantità di nastro utilizzata, quindi corre rapidamente nel limite di Bekenstein. Finiamo per essere in grado di evitare il problema del calore solo limitando i nastri di lunghezza limitata. Equivalentemente, abbiamo un limite superiore sulla lunghezza utilizzabile del nastro controllata dalla superficie della regione che ha una linea mondiale infinita. Se non tieni conto di questo e il tuo calcolo usa troppo nastro, otterrai di nuovo un buco nero.

È una domanda aperta interessante se e come questi vincoli si applicano ai computer quantistici. Può darsi che la complessità di un calcolo eseguibile da un computer quantistico sia limitata dalla superficie del computer. Quindi potremmo dover raddoppiare la superficie di un computer quantistico estremo per ottenere un qubit di calcolo più utilizzabile. Ciò porta rapidamente a computer di dimensioni impraticabili.


1

Citazione di Bangs, Crunches, Whimpers e Shrieks:

π
(X1)(X2)...(Xn)F(Xl,X2,...,Xn)γ1nγ1da questi lavori deriva una conoscenza del valore di verità dell'asserzione. Ma non appena vengono coinvolti quantificatori misti, il metodo fallisce. Tuttavia, Hogarth (1994) ha dimostrato come, in linea di principio, si possano usare disposizioni più complicate in spazi spaziali relativistici generali per verificare il valore di verità di qualsiasi affermazione aritmetica di arbitraria complessità quantitativa. In un tale spaziotempo è difficile capire come mantenere l'atteggiamento di non avere una chiara nozione di verità nell'aritmetica.
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.