Experiments, Computability, and the Existence of Physical Functions

Dieser Artikel argumentiert, dass reproduzierbare Laborexperimente als Algorithmen fungieren, die aus Eingaben physische Karten berechnen, und zeigt damit, dass die Existenz dieser Funktionen mit Messungen endlicher Präzision vereinbar ist und sich von Fragen der Berechenbarkeit oder Protokollunabhängigkeit unterscheidet.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Koch, der versucht, ein Rezept für „die perfekte Suppe" aufzuschreiben. Ein strenger Mathematiker könnte fragen: „Existiert ‚die perfekte Suppe' tatsächlich als einzelnes, universelles Objekt, unabhängig davon, wer sie kocht, welchen Herd sie verwendet oder wie sie sie probiert?" Der Mathematiker könnte befürchten, dass, da die Suppe jedes Kochs leicht unterschiedlich ist, keine einzelne „Suppenfunktion" zu finden ist.

Dieses Papier, verfasst von dem Physiker Isaac Pérez Castillo, argumentiert, dass diese Sorge auf einem Missverständnis dessen beruht, was ein Experiment (oder ein Rezept) tatsächlich ist. Der Autor schlägt vor, aufzuhören, nach einer magischen, unsichtbaren „perfekten Suppe" zu suchen, die im Universum schwebt, und stattdessen das Rezept selbst zu betrachten.

Hier ist die Argumentation des Papiers, aufgeschlüsselt in einfache Konzepte und Analogien:

1. Das Experiment ist eine Maschine, kein Rätsel

Das Papier beginnt mit einer einfachen Definition: Ein Experiment ist lediglich eine endliche Liste von Schritten, die man befolgt, um ein Ergebnis zu erhalten.

• Die Analogie: Denken Sie an einen Automaten. Sie geben einen bestimmten Code ein (die Eingabe), drücken einen Knopf (das Verfahren), und nach einigen Sekunden fällt ein Snack heraus (die Ausgabe).
• Der Punkt: Sie müssen nicht die tiefe Physik davon kennen, wie der Snack hergestellt wurde, um zu wissen, dass die Maschine funktioniert. Solange die Maschine eine klare Reihe von Schritten, eine klare Startweise und eine klare Stoppweise hat, ist sie ein „Verfahren". Das Papier argumentiert, dass jedes Laborexperiment genau wie dieser Automat ist. Es nimmt eine vorbereitete Probe, folgt einer Regel und spuckt eine Zahl aus.

2. Die „Brücke" zur Mathematik (Das Church-Turing-Prinzip)

Der Autor verwendet ein Konzept namens „Physikalisches Church-Turing-Brückenprinzip". Das ist eine elegante Art zu sagen: „Wenn ein Mensch einer Reihe von Regeln folgen kann, um ein Ergebnis zu erhalten, kann auch ein Computer diesen Regeln folgen, um dasselbe Ergebnis zu erhalten."

• Die Analogie: Stellen Sie sich vor, Sie bringen einem Roboter bei, einen Kuchen zu backen. Wenn Sie die Anweisungen klar genug aufschreiben können, damit ein Mensch sie befolgen kann (z. B. „2 Minuten mischen", „bei 350 Grad backen"), dann kann auch ein Computer diese Anweisungen befolgen.
• Die Schlussfolgerung: Da Experimente lediglich Sätze von Anweisungen sind, sind sie „berechenbar". Wenn ein Verfahren berechenbar ist, dann existiert die „Karte", die es erstellt (Eingabe $\to$ Ausgabe). Die Funktion existiert, weil die Maschine, die sie ausführt, existiert.

3. Das Problem der „endlichen Präzision" (Warum wir keine perfekten Zahlen brauchen)

Ein häufiger Einwand lautet: „Aber Experimente sind nicht perfekt! Sie liefern uns Zahlen wie 3,14 oder 3,141, aber nie die exakte unendliche Zahl $\pi$. Existiert die Funktion, wenn wir die exakte Antwort nicht erhalten können?"

• Die Analogie: Stellen Sie sich vor, Sie versuchen, die Länge eines Raumes zu messen. Sie verwenden ein Lineal und erhalten 10 Fuß. Dann verwenden Sie ein Maßband und erhalten 10,1 Fuß. Dann verwenden Sie einen Laser und erhalten 10,12 Fuß. Sie erhalten nie die „unendliche" Dezimalzahl, aber Sie kommen immer näher.
• Die Sichtweise des Papiers: Das Papier sagt, das sei in Ordnung. In der Welt der „berechenbaren Analysis" (ein Zweig der Mathematik) gilt eine Zahl als „berechenbar", wenn man ihr Schritt für Schritt so nahe kommen kann, wie man möchte. Sie müssen nicht die ganze unendliche Zahl in einer Sekunde drucken. Sie brauchen nur ein Verfahren, das sagt: „Wenn Sie mehr Genauigkeit wollen, hier ist, wie Sie sie erhalten."
• Das Fazit: Das Experiment muss kein perfektes, unendliches reelles Zahl ausgeben, um gültig zu sein. Es muss nur in der Lage sein, Ihnen eine bessere Näherung zu geben, wann immer Sie danach fragen.

4. Die Geschichte der „Löslichkeit" (Warum der Kontext wichtig ist)

Der Autor erzählt eine Geschichte von einem Chemiker-Freund, der sich Sorgen um die „Löslichkeit" machte (wie viel Zucker sich in Wasser auflöst). Der Freund fragte: „Existiert eine ‚Löslichkeitsfunktion'?" Der Freund war verwirrt, weil sich die Antwort ändert, wenn man die Temperatur, die Art des Wassers oder die Mischmethode ändert.

• Die Analogie: Stellen Sie sich vor, Sie fragen: „Was ist der Preis eines Hauses?" Die Antwort hängt vollständig davon ab, welches Haus, welche Stadt und zu welcher Tageszeit Sie fragen. Es gibt nicht einen einzigen „Hauspreis" für das ganze Universum.
• Die Lösung des Papiers: Das Papier sagt: „Ja, die Funktion existiert, aber nur für das spezifische Rezept, das Sie verwenden."
  • Wenn Sie die Temperatur, die Wasserart und die Mischmethode festlegen, haben Sie eine spezifische „Löslichkeitsmaschine".
  • Diese Maschine berechnet eine spezifische Karte.
  • Die Funktion existiert für diese Maschine.
  • Wenn Sie das Rezept ändern (z. B. heißes Wasser statt kaltes verwenden), bauen Sie eine andere Maschine, die eine andere Karte berechnet.

5. Was ist mit Zufälligkeit? (Der Würfelwurf)

Einige Experimente sind zufällig. Wenn Sie denselben Test zehn Mal durchführen, erhalten Sie möglicherweise zehn leicht unterschiedliche Zahlen. Existiert die Funktion trotzdem?

• Die Analogie: Stellen Sie sich einen Spielautomaten vor. Sie ziehen den Hebel (Eingabe), und er gibt Ihnen eine zufällige Zahl aus (Ausgabe). Das Ergebnis ist nicht jedes Mal dasselbe.
• Die Sichtweise des Papiers: Die Funktion existiert trotzdem! Aber anstatt einer Karte, die Ihnen eine spezifische Zahl gibt, ist die Funktion nun eine Karte, die Ihnen eine Verteilung von Zahlen gibt (ein Muster der Zufälligkeit).
• Das Experiment berechnet einen „Sampler". Es gibt Ihnen nicht einen einzelnen Punkt; es gibt Ihnen ein zuverlässiges Muster von Punkten. Die Existenzaussage bleibt bestehen; das Objekt ändert nur seine Form von einem einzelnen Punkt zu einer Wolke aus Punkten.

Zusammenfassung: Was das Papier tatsächlich behauptet

Das Papier sagt nicht, dass alles in der Physik berechenbar ist oder dass alle Experimente sich schließlich auf eine einzige „universelle Wahrheit" einigen werden.

Stattdessen macht es eine viel einfachere, schärfere Behauptung:

1. Hören Sie auf, nach Magie zu suchen: Sorgen Sie sich nicht darum, ob eine „perfekte, protokollunabhängige" Funktion im Abstrakten existiert.
2. Betrachten Sie das Verfahren: Wenn Sie ein festes Rezept (Protokoll), einen festen Satz von Regeln und eine Möglichkeit haben, das Ergebnis zu melden, dann ist dieses Rezept eine Funktion.
3. Es existiert, weil es läuft: Da das Rezept eine endliche Reihe von Schritten ist, die ein Computer befolgen könnte, existiert die Funktion, die es berechnet.
4. Kontext ist König: Die Funktion gehört zu dem spezifischen Experiment, das Sie durchführen. Wenn Sie das Experiment ändern, erhalten Sie eine andere Funktion. Das bedeutet nicht, dass die erste nicht existiert hat; es bedeutet nur, dass Sie die Maschine geändert haben.

Das Fazit:
Das Papier sagt uns aufzuhören zu fragen: „Existiert die wahre Löslichkeit?" und anzufangen zu fragen: „Was berechnet dieses spezifische Experiment?" Sobald Sie das Experiment klar definieren, lautet die Antwort immer: „Ja, es berechnet eine Funktion." Die Funktion existiert genau dort im Output der Maschine.

Technische Zusammenfassung

Technisches Fazit: Experimente, Berechenbarkeit und die Existenz physikalischer Funktionen

Problemstellung
Der Beitrag adressiert ein begriffliches Problem in der experimentellen Wissenschaft hinsichtlich der „Existenz" physikalischer Funktionen. Am Beispiel einer Löslichkeitsfunktion stellt der Autor fest, dass Laboratorien zwar routinemäßig Größen messen, die berichteten Werte jedoch stark von spezifischen Protokollen (Lösungsmittel, Temperatur, Kriterien für das Gleichgewicht, Probenvorbereitung) und Berichtskonventionen abhängen. Diese Abhängigkeit wirft die Frage auf, ob eine wohldefinierte, protokollunabhängige mathematische Funktion existiert. Traditionelle mathematische Ansichten verlangen oft, dass Funktionen stetige Abbildungen zwischen wohldefinierten Räumen mit protokollunabhängigen Definitionsbereichen und Zielbereichen sind, was zu Skepsis hinsichtlich der Existenz solcher Funktionen in unübersichtlichen experimentellen Kontexten führt. Der Beitrag versucht dies zu lösen, indem er die Existenzfrage durch die Linse der Berechenbarkeitstheorie neu fasst.

Methodik
Der Autor verwendet einen Rahmen, der die Philosophie der Messung, die Messtechnik (insbesondere das Internationale Wörterbuch der Messtechnik und den Leitfaden zur Angabe der Unsicherheit beim Messen) sowie die berechenbare Analysis kombiniert. Der zentrale methodische Schritt besteht darin, ein reproduzierbares Laborexperiment nicht als physikalischen Prozess zu betrachten, der sich in der Zeit entwickelt, sondern als ein endliches, effektives Verfahren (einen Algorithmus), das zulässige Eingaben auf endliche Berichte abbildet.

Das Argument verläuft in drei logischen Stufen:

1. Strukturelle Analyse: Definition eines Experiments als eine Folge von Schritten, die ein Protokoll ($P$), Hintergrundbedingungen ($C$) und eine Berichtregel ($R$) umfassen und mit einer endlichen Ausgabe enden.
2. Brückenprinzip: Einführung eines eingeschränkten physikalischen Church-Turing-Brückenprinzips. Diese These besagt, dass es für jedes festgelegte, endlich spezifizierte, reproduzierbare Laborprotokoll ein Turing-berechenbares Verfahren gibt, das das Ein-Ausgabeverhalten des Protokolls reproduziert.
3. Berechenbare Analysis: Anwendung der Werkzeuge der berechenbaren Analysis, um Messungen mit endlicher Präzision und Stochastizität zu behandeln und zwischen der direkten Berechnung endlicher Berichte und der Approximation reellwertiger Größen zu unterscheiden.

Hauptbeiträge und Ergebnisse

• Existenz der berechneten Abbildung (Proposition 1):
  Der Beitrag zeigt, dass ein festes experimentelles Protokoll eine berechenbare Funktion $F: D \to \text{Rep}_{\text{fin}}$ definiert, wobei $D$ die Menge der zulässigen endlichen Eingabebeschreibungen und $\text{Rep}_{\text{fin}}$ die Menge der endlichen Berichtobjekte (z. B. rationale Zahlen, Intervalle, Zeichenketten mit Unsicherheit) ist. Unter dem physikalischen Church-Turing-Brückenprinzip ist das Experiment ein effektives Verfahren, das mit einem Bericht anhält; daher existiert die von ihm berechnete Abbildung im minimalen mathematischen Sinne. Die Existenz der Funktion ist keine Voraussetzung, sondern eine Konsequenz des Experiments als eines haltenden effektiven Verfahrens.

• Endliche Präzision und reellwertige Idealisationen (Proposition 2):
  Der Beitrag klärt, dass Experimente nicht in einem einzigen Schritt exakte reelle Zahlen ausgeben. Stattdessen wird im Rahmen der berechenbaren Analysis eine reellwertige Größe als berechenbar betrachtet, wenn es ein Verfahren gibt, das rationale Approximationen mit beliebiger geforderter Genauigkeit erzeugt ($|q_n - y| \le 2^{-n}$). Der Beitrag argumentiert, dass Messungen mit endlicher Präzision kein Hindernis für die Existenz reellwertiger Funktionen darstellen, sondern vielmehr der Mechanismus sind, durch den sie berechnet werden. Eine reellwertige Funktion existiert in diesem Sinne nur dann, wenn die endlichen Berichte in ein kohärentes Verfeinerungsschema (z. B. zunehmende Integrationszeit oder Anzahl der Replikate) organisiert werden können, das gegen einen Zielwert konvergiert.

• Protokollabhängigkeit und operationale Messgrößen:
  Der Beitrag lehnt die Idee explizit ab, dass für die Existenz eine einzige protokollunabhängige Funktion erforderlich ist. Stattdessen wird eine operationale Messgröße ($F_{P,C,R}$) definiert, die spezifisch für das Protokoll, die Bedingungen und die Berichtregel ist. Eine Änderung dieser Parameter ändert die berechnete Abbildung. Die Frage, ob verschiedene Protokolle dieselbe zugrundeliegende Größe messen, ist ein separates, übergeordnetes wissenschaftliches Anliegen, das Kalibrierung und Robustheitsargumente erfordert, und keine Voraussetzung für die Existenz der von einem spezifischen Protokoll berechneten Funktion.

• Stochastizität als berechenbares Objekt:
  Für stochastische Experimente, bei denen wiederholte Durchläufe unterschiedliche Berichte liefern, argumentiert der Beitrag, dass das berechnete Objekt kein Versagen der Existenz darstellt, sondern eine Verschiebung des Funktionstyps. In stochastischen Fällen berechnet das Experiment ein Stichprobenverfahren für eine Wahrscheinlichkeitsverteilung über Berichte ($\mu_{x,k}$). Die Existenzaussage gilt: Das Experiment definiert eine berechenbare Abbildung von Eingaben auf Verteilungen von Berichten (oder einen Stichprobenmechanismus dafür) und nicht eine deterministische punktuelle Abbildung.

Bedeutung und Umfang
Die Bedeutung des Beitrags liegt in der Trennung von drei unterschiedlichen Fragen, die in der Wissenschaftsphilosophie oft vermischt werden:

1. Ob die Funktion existiert (bejahend beantwortet für feste Protokolle durch das Brückenprinzip).
2. Ob die Funktion berechenbar ist (bejahend beantwortet unter dem Brückenprinzip).
3. Ob Ergebnisse aus verschiedenen Protokollen dieselbe Größe messen (ein separates wissenschaftliches Problem, das Konvergenz und Kalibrierung erfordert).

Der Autor begrenzt den Geltungsbereich der Behauptungen explizit:

• Der Beitrag beweist nicht eine universelle physikalische Church-Turing-These für alle physikalischen Prozesse oder beliebige physikalische Evolution.
• Er behauptet nicht, dass alle Protokolle gegen eine einzige protokollunabhängige reellwertige Größe konvergieren.
• Er adressiert nicht die rechnerische Komplexität oder die praktische Durchführbarkeit der Auswertung dieser Funktionen.

Das Fazit lautet, dass die „Existenz" einer physikalischen Funktion gesichert ist, sobald ein Experiment als ein endliches, haltendes Verfahren spezifiziert wird. Die wissenschaftliche Arbeit verlagert sich dann vom Beweis der Existenz hin zur Erklärung der Struktur der berechneten Abbildung, zum Vergleich über verschiedene Protokolle hinweg und zur Bestimmung, wann eine Vereinheitlichung zu einer protokollunabhängigen Größe gerechtfertigt ist. Dies stellt das Problem von einer metaphysischen Sorge über die Realität nicht gemessener Größen in eine methodologische Analyse dessen um, was spezifische experimentelle Verfahren tatsächlich berechnen.