Operational Evidence and Incompleteness: A Minkowski Radar Model

Nel vasto panorama della scienza, esiste una tensione fondamentale tra ciò che possiamo misurare e ciò che possiamo conoscere. Spesso assumiamo che, se una domanda ha una risposta definita, un esperimento sufficientemente ingegnoso o una teoria abbastanza potente la rivelerà prima o poi. Questa convinzione sostiene gran parte della nostra fiducia nella fisica e nella matematica: l'idea che l'universo sia ordinato e che i nostri strumenti per comprenderlo siano, in linea di principio, capaci di risolvere ogni disputa. Tuttavia, un ramo specifico della matematica noto come teoria della computabilità ha dimostrato da tempo che questa fiducia ha un limite invalicabile. Essa prova che esistono certe domande sul fatto che un programma informatico terminerà o meno il suo lavoro che nessun singolo insieme coerente di regole può rispondere per ogni possibile caso. Queste non sono questioni di dati mancanti o di tecnologia insufficiente; sono lacune strutturali in ciò che può essere logicamente provato. La domanda che è rimasta sospesa è se questo limite matematico astratto abbia un corrispettivo nel mondo reale, o se rimanga una curiosità confinata nel regno della pura logica.

Un nuovo articolo di Milan Rosko porta questo limite astratto nel mondo fisico del radar e della cronometria. Il lavoro non propone una nuova macchina o una nuova legge della fisica, ma costruisce un esperimento mentale che funge da ponte tra l'atto fisico di misurare la distanza e il problema logico di prevedere il comportamento di un computer. Rosko immagina uno scenario che coinvolge un singolo osservatore e uno specchio, o riflettore, stazionario posto a una determinata distanza. L'osente invia un impulso di luce, che rimbalza sullo specchio e ritorna. Misurando il tempo impiegato dall'impulso per completare il viaggio di andata e ritorno, l'osservatore può calcolare la distanza dallo specchio con estrema precisione. La configurazione è semplice e si basa sulla comprensione standard che la velocità della luce sia costante. L'innovazione non risiede nella fisica della misurazione, ma nel modo in cui la distanza dallo specchio viene definita. In questo modello, la distanza non è un numero fisso e noto come dieci metri. Al contrario, la distanza è legata al comportamento di un programma informatico specifico. Se il programma alla fine smette di girare, la distanza è un valore specifico; se il programma gira per sempre, la distanza è un valore leggermente diverso.

Il nucleo della scoperta è che, sebbene qualsiasi singola misurazione di questa distanza possa essere completata in un tempo finito, la capacità di conoscere la vera natura della distanza è fondamentalmente bloccata. Il ricercatore dimostra che, per qualsiasi livello specifico di precisione, l'osservatore può eseguire una misurazione che termina e produce un risultato. Se il programma informatico si arresta, la misurazione rivelerà infine che la distanza rientra in un certo intervallo ristretto. Se il programma non si arresta mai, la misurazione mostrerà che l'involucro contiene il valore 1, causando il fallimento del controllo di verifica. Ciò significa che l'esistenza di un record di misurazione riuscito è qualcosa che può essere verificato. Tuttavia, l'articolo dimostra che nessun sistema coerente di fisica o logica potrà mai provare che un determinato record di verifica non esista, se quella distanza corrisponde a un programma che non si arresta mai. In altre parole, esistono affermazioni vere sull'assenza di un record di verifica che una teoria solida non può mai provare.

Questo risultato è una traduzione diretta di un famoso problema matematico nel linguaggio del radar. L'articolo prova che l'insieme delle domande sul fatto che una distanza rientri in un certo limite è difficile da risolvere quanto il problema di prevedere se un programma informatico si arreterà. Proprio come non esiste un algoritmo generale che possa esaminare qualsiasi programma e dire con certezza se si arreterà, non esiste una singola teoria che possa esaminare qualsiasi distanza definita in questo modo e dire con certezza se esiste una misurazione di verifica. L'articolo stabilisce che, sebbene ogni singola procedura di misurazione funzioni e termini, la collezione di tutte le possibili affermazioni di "assenza" — ovvero le rivendicazioni che nessuna misurazione avrà mai successo — rimane in gran parte indecidibile. Esistono infinitamente molte affermazioni vere di questo tipo che una teoria non può né provare né disprovare.

La significatività di questo lavoro risiede nella sua chiarezza. Non si affida a complessi effetti quantistici o alla curvatura dello spazio-tempo. Utilizza gli strumenti più basilari dell'osservazione: un orologio, un impulso di luce e uno specchio. Dimostrando che i limiti della prova logica appaiono anche in un setup classico così semplice, l'articolo suggerisce che l'incompletezza trovata nella matematica non è solo un artefatto di simboli astratti. È una caratteristica che può essere realizzata in un modello fisico di misurazione. L'autore nota con cura che si tratta di una costruzione teorica. L'articolo non afferma che possiamo costruire fisicamente uno specchio a una distanza che dipenda da un programma informatico specifico in modo da poter testare questo in un laboratorio. L'attenzione è rivolta alla struttura logica del modello stesso. Mostra che, se accettiamo le regole standard di come funzionano i computer e come vengono registrate le misurazioni, dobbiamo accettare che esistano dei limiti a ciò che può essere certificato.

In definitiva, l'articolo offre una correzione silenziosa ma ferma all'idea che un record di misurazione finito possa sempre certificare un'affermazione sul mondo fisico. Dimostra che, sebbene possiamo sempre terminare una misurazione, non possiamo sempre sapere se il risultato che stiamo cercando è impossibile da trovare. Esistono fatti veri sul mondo — specificamente, fatti sull'inesistenza di un record di verifica — che rimangono per sempre fuori dalla portata di qualsiasi teoria coerente. Questo non è un fallimento dei nostri strumenti o della nostra intelligenza, ma un confine fondamentale. Il lavoro conferma che il divario tra ciò che può essere computato e ciò che può essere conosciuto non è solo una curiosità matematica, ma una realtà strutturale che può essere mappata sulle più semplici interazioni fisiche. Il modello radar serve come un'illustrazione chiara e concreta di un ostacolo standard nella computazione, provando che l'incapacità di decidere certe questioni è reale quanto l'impulso luminoso che viaggia verso lo specchio e ritorna.