Operational Evidence and Incompleteness: A Minkowski Radar Model

In het uitgestrekte landschap van de wetenschap bestaat een fundamentele spanning tussen wat we kunnen meten en wat we kunnen weten. We gaan er vaak van uit dat als een vraag een definitief antwoord heeft, een voldoende slim experiment of een krachtig genoeg theorie dit uiteindelijk zal onthullen. Dit geloof vormt de basis van veel van ons vertrouwen in de natuurkunde en de wiskunde: dat het universum ordelijk is en dat onze instrumenten om het te begrijpen, in principe in staat zijn om elk geschil te beslechten. Echter, een specifieke tak van de wiskunde, bekend als berekenbaarheidstheorie, heeft lang aangetoond dat dit vertrouwen een harde limiet heeft. Het bewijst dat er bepaalde vragen over de vraag of een computerprogramma ooit zijn werk zal voltooien, zijn waarvoor geen enkele consistente set regels voor elk mogelijk geval een antwoord kan geven. Dit zijn geen vragen over ontbrekende gegevens of onvoldoende technologie; het zijn structurele hiaten in wat logisch bewezen kan worden. De vraag die is blijven hangen, is of deze abstracte wiskundige beperking een tegenhanger heeft in de echte wereld, of dat het een curiositeit blijft die beperkt is tot het domein van de zuivere logica.

Een nieuw artikel van Milan Rosko brengt deze abstracte beperking naar de fysieke wereld van radar en tijdmeting. Het werk stelt geen nieuw apparaat of een nieuwe natuurwet voor, maar construeert een gedachte-experiment dat fungeert als een brug tussen de fysieke handeling van het meten van afstand en het logische probleem van het voorspellen van het gedrag van een computer. Rosko stelt zich een scenario voor met een enkele waarnemer en een stationaire spiegel, of reflector, geplaatst op een specifieke afstand. De waarnemer stuurt een lichtpuls uit, die weerkaatst tegen de spiegel en terugkeert. Door de tijd te meten die de lichtpuls nodig heeft voor de volledige reis heen en terug, kan de waarnemer de afstand tot de spiegel met extreme precisie berekenen. De opstelling is eenvoudig en berust op het standaardbegrip dat de lichtsnelheid constant is. De innovatie ligt niet in de fysica van de meting, maar in de manier waarop de afstand tot de spiegel wordt gedefend. In dit model is de afstand geen vaststaand, bekend getal zoals tien meter. In plaats daarvan is de afstand gekoppeld aan het gedrag van een specifiek computerprogramma. Als het programma uiteindelijk stopt met draaien, is de afstand één specifieke waarde; als het programma eeuwig blijft draaien, is de afstand een iets andere waarde.

De kern van de ontdekking is dat hoewel elke specifieke meting van deze afstand in een eindige tijd kan worden voltooid, het vermogen om de ware aard van de afstand te kennen fundamenteel geblokkeerd is. De onderzoeker laat zien dat de waarnemer voor elk specifiek precisieniveau een meting kan uitvoeren die eindigt en een resultaat produceert. Als het computerprogramma stopt, zal de meting uiteindelijk onthullen dat de afstand binnen een bepaalde nauwe marge valt. Als het programma nooit stopt, zal de meting laten zien dat de inkapseling de waarde 1 bevat, waardoor de verificatiecontrole mislukt. Dit betekent dat het bestaan van een succesvol meetverslag iets is dat geverifieerd kan worden. Het artikel demonstreert echter dat geen enkele consistente theorie van de natuurkunde of logica ooit kan bewijzen dat een specifiek verifiërend verslag niet bestaat als die afstand overeenkomt met een programma dat nooit stopt. Met andere woorden, er zijn ware uitspraken over de afwezigheid van een verifiërend verslag die een consistente theorie nooit kan bewijzen.

Dit resultaat is een directe vertaling van een beroemd wiskundig probleem naar de taal van de radar. Het artikel bewijst dat de verzameling vragen over de vraag of een afstand binnen een bepaalde grens valt, even moeilijk op te lossen is als het probleem van het voorspellen of een computerprogramma zal stoppen. Net zoals er geen algemeen algoritme bestaat dat naar elk programma kan kijken en met zekerheid kan zeggen of het zal stoppen, bestaat er geen enkele theorie die naar elke op deze manier gedefinieerde afstand kan kijken en met zekerheid kan zeggen of er een verifiërende meting bestaat. Het artikel stelt vast dat hoewel elke individuele meetprocedure werkt en eindigt, de verzameling van alle mogelijke "afwezigheids"-uitspraken — claims dat een meting nooit zal slagen — grotendeels onbeslist blijft. Er zijn oneindig veel ware uitspraken van deze soort die een theorie noch kan bewijzen, noch kan weerleggen.

De betekenis van dit werk ligt in de helderheid ervan. Het leunt niet op complexe kwantumeffecten of de kromming van de ruimtetijd. Het gebruikt de meest basale instrumenten van observatie: een klok, een lichtpuls en een spiegel. Door aan te tonen dat de limieten van logisch bewijs zelfs in een dergelijke eenvoudige, klassieke opstelling verschijnen, suggereert het artikel dat de onvolledigheid gevonden in de wiskunde niet slechts een artefact is van abstracte symbolen. Het is een kenmerk dat gerealiseerd kan worden in een fysiek model van meting. De auteur merkt zorgvuldig op dat dit een theoretische constructie is. Het artikel beweert niet dat we fysiek een spiegel op een afstand kunnen bouwen die afhankelijk is van een specifiek computerprogramma op een manier die ons toestaat dit in een laboratorium te testen. De focus ligt op de logische structuur van het model zelf. Het toont aan dat als we de standaardregels accepteren van hoe computers werken en hoe metingen worden vastgelegd, we ook moeten accepteren dat er limieten zijn aan wat gecertificeerd kan worden.

Uiteindelijk biedt het artikel een stille maar krachtige correctie op het idee dat een eindig meetverslag altijd een claim over de fysieke wereld kan certificeren. Het laat zien dat we een meting altijd kunnen voltooien, maar dat we niet altijd kunnen weten of het resultaat dat we zoeken onmogelijk te vinden is. Er zijn ware feiten over de wereld — specifiek, feiten over het niet-bestaan van een verifiërend verslag — die voor altijd buiten het bereik van elke consistente theorie blijven. Dit is geen falen van onze instrumenten of onze intelligentie, maar een fundamentele grens. Het werk bevestigt dat de kloof tussen wat berekend kan worden en wat gekend kan worden niet slechts een wiskundige curiositeit is, maar een structurele realiteit die op de eenvoudigste van fysieke interacties kan worden afgebeeld. Het radarmodel dient als een duidelijke, concrete illustratie van een standaard obstructie in de computatie, waarmee wordt bewezen dat het onvermogen om bepaalde vragen te beslissen even reëel is als de lichtpuls die naar de spiegel en weer terug reist.