Abstract In der Mathematik, Physik und theoretischen Informatik gab es um das Jahr 1930 herum fundamentale Veränderungen. In der Physik wurde die Quantentheorie etabliert, die Mathematik verabschiedete sich mit Kurt Gödels Unvollständigkeitssätzen von der Vorstellung eines vollständigen und beweisbar widerspruchsfreien axiomatischen Fundaments, und Alan Turing legte mit dem Konzept der Turing‐Maschine den Grundstein der modernen theoretischen Informatik. Turing und Gödel zeigten beide die Existenz von unentscheidbaren Problemen. Im Fall von Gödel unentscheidbare Aussagen, die unabhängig vom Axiomensystem sind, und im Fall von Turing unentscheidbare Prädikate, für deren Auswertung kein Algorithmus existiert. Wir konnten jetzt zeigen, dass auch zentrale Probleme der Quantenphysik unentscheidbar sind.
Abstract In der Mathematik, Physik und theoretischen Informatik gab es um das Jahr 1930 herum fundamentale Veränderungen. In der Physik wurde die Quantentheorie etabliert, die Mathematik verabschiedete sich mit Kurt Gödels Unvollständigkeitssätzen von der Vorstellung eines vollständigen und beweisbar widerspruchsfreien axiomatischen Fundaments, und Alan Turing legte mit dem Konzept der Turing‐Maschine den Grundstein der modernen theoretischen Informatik. Turing und Gödel zeigten beide die Existenz von unentscheidbaren Problemen. Im Fall von Gödel unentscheidbare Aussagen, die unabhängig vom Axiomensystem sind, und im Fall von Turing unentscheidbare Prädikate, für deren Auswertung kein Algorithmus existiert. Wir konnten jetzt zeigen, dass auch zentrale Probleme der Quantenphysik unentscheidbar sind.
Die Quantentheorie stellt eines der anspruchsvollsten und erfolgreichsten Theorieprojekte der Menschheitsgeschichte dar. Sie ist eine, wenn nicht die Universaltheorie der Physik. Die Geschichte ihrer Deutung und die Auseinandersetzung um ihre Interpretation berühren jedoch weitaus mehr als nur das Feld der theoretischen Physik. Eine solche Theorieanlage zerstört ontologische Gewissheiten. Sie stellt den Beobachter in Frage und sie lässt uns ahnen, was zu erwarten ist, wenn wir uns in anderen Feldern mit komplexen Phänomenen beschäftigen, die mit der Beobachterproblematik infiziert sind. Als transklassische Physik ist die Quantentheorie gleichsam auf »Welten ohne Grund« gebaut und enttäuscht damit die Hoffnung, sich Sinnfragen durch die Physik oder Mathematik entledigen zu können. Homolog zu den Hochformen mystischer Reflexion kann uns die Auseinandersetzung um die Deutung der Quantenphysik allerdings eine Ahnung vermitteln, was das Geheimnis der konditionierten Koproduktion von System und Umwelt – Reflexion und Welt – für uns bedeuten kann, und uns möglicherweise dabei helfen, in Welten ohne Grund heimisch zu werden. Hierbei wird deutlich, dass hochgetriebene Theorie, die sich in ihren Abstraktionen in hohem Maße von der lebensweltlichen Wirklichkeit löst, nicht im Widerspruch zur Möglichkeit von Welterkenntnis steht. Im Gegenteil, erst ein hinreichend elaboriertes und mit eigenen, intern konditionierten Konsistenzzwängen ausgestattetes Theoriegebilde stellt die Bedingung zur Möglichkeit von Reflexion und Erkenntnisgewinnung dar.
Jede neue Naturerscheinung, die mit dem bisher anerkannten Theoriensystem noch unvereinbar ist, stellt ihren Entdecker vor die Frage, welche der bekannten, zur Naturbeschreibung verwendeten Prinzipien hinreichende Allgemeinheit besitzen, um die neue Situation zu erklären, und welche derselben abzuändern oder aufzugeben sind. Die Haltung verschiedener Physiker zu Problemen dieser Art, welche hohe Anforderungen an die Intuition und den Takt eines Wissenschaftlers stellen, hängt wesentlich vom persönlichen Temperament des betreffenden Forschers ab. Im Falle der Planckschen Entdeckung des Wirkungsquantums im Jahre 1900, die er im Zuge seiner berühmten Untersuchungen über das Strahlungsgesetz des schwarzen Körpers machte, lag es auf der Hand, daß die Erhaltungssätze von Energie und Impuls, sowie das Boltzmannsche, Entropie und Wahrscheinlichkeit verbindende Prinzip sich als zwei Säulen erweisen mußten, deren Tragkraft durch die der neuen Entdeckung folgende Entwicklung nicht erschüttert werden konnten. Tatsächlich war es gerade das Festhalten an diesen Prinzipien, welches Planck die Einführung der neuen Konstanten h, des Wirkungsquantums, in seine statistische Theorie des thermodynamischen Strahlungsgleichgewichtes ermöglichte.
Es werden sechzehn angebliche Unterschiede zwischen Quantenphysik und klassischer Physik untersucht. Dabei geht es um die mathematischen Formalismen, deren Interpretationen und auch um philosophische Implikationen der zu untersuchenden Theorien. Einige der Unterschiede werden als echt empfunden, aber andere erweisen sich im Lichte jüngster Untersuchungen sowohl der klassischen als auch der Quantentheorien als falsch. Die echten Unterschiede sind vielleicht tiefer als man gewöhnlich zugibt, wenn die Formeln der Quantentheorie nicht in bildhaften oder halbklassischen Verfahrensweisen interpretiert werden. Es werden neun echte Unterschiede aufgezeigt, die sich von den besonderen physikalischen Variablen und ihren Beziehungen bis zu ihrer Interpretation erstrecken. Es werden keine entscheidenden mathematischen Unterschiede erkannt und es wird gezeigt, daß es auch keine epistemologischen und logischen Unterschiede gibt.
Die Quantentheorie und die Theorie der quantenmechanischen Messung ermoglichen es, Aussagen uber quantenphysikalische Systeme (Atome, Kerne, Elementarteilchen) zu machen, die an diesen Systemen experimentell nachgepruft werden konnen.Beispiele fur solche Aussagen sind z.B. ,,das Elektron hat den Impuls p" oder ,,der Atomkern hat einen Drehimpuls J".Wie fur die Aussagen aller Wissensgebiete wird man zunachst auch fur diese Aussagen erwarten, daR sie den Regeln der Logik gehorchen.Tatsachlich ist das aber nicht der Fall.Es hat sich namlich gezeigt, daB von den Regeln der Aussagenlogik, die zuerst von den Stoikern aufgestellt wurden, spater im Mittelalter und in der modernen mathematischen Logik wieder aufgegriffen wurden, nur noch ein Teil fur Aussagen uber Quantenphanomene richtig bleibtl).2)3 9, 4).Einige dieser Regeln verlieren ihre Gultigkeit.Derjenige Teil der logischen Regeln, der auch noch in der Quantenphysik gilt, wird gewohnlich als Quantenlogik bezeichnet.Es handelt sich also bei der Quantenlogik nicht um eine ,,neue" Logik, die im Bereich des Atomaren gilt, sondern um eine restriktive Logik, die weniger enthalt als die uns bekannte klassische Aussagenlogik.Der heutige Physiker ist im allgemeinen leicht geneigt zu glauben, daR irgendeine Disziplin, die in der Philosophie vergangener Jahrhunderte fur wahr gehalten wurde, durch die moderne Physik widerlegt sei.Das kommt einerseits daher, daR viele Physiker empiristisch denken, d. h. in diesem Falle, daB sie geneigt sind zu glauben, man konne alle auf die Erfahrung bezogenen Behauptungen auch durch Erfahrungen -z.B. der Atomphysikwiderlegen. Anderseits sprechen fur eine solche Einstellung die schlechten Erfahrungen, die die Physik mit Begriffen und Satzen gemacht hat, die in der philosophischen Tradition uberliefert wurden.Die Verknupfung von Raum und Zeit in der Relativitatstheorie oder das Versagen des Kausalgesetzes in der Quantentheorie gehoren zu diesem Problemkreis.Man wird deshalb versucht sein, auch eine Restriktion der Aussagenlogik in der modernen Atomphysik einfach als eine neue Erfahrung hinzunehmen.Dies ist jedoch nicht ohne weiteres moglich.Die groRte Schwierigkeit, die sich einer solchen Einstellung entgegenstellt, ist die Tatsache, daB die klassische Aussagenlogik wahr ist.Und zwar ist die Aussagenlogik keineswegs in einem empirischen Sinne wahr, sondern sie ist wahr durch das unmittelbare Einleuchten (die Evidenz) ihrer Satze, deren Gultigkeit somit auf keinen bestimmten Gegenstandsbereich eingeschrankt ist.Wie das im Einzelnen 2x1 verstehen ist, sol1 im ersten Teil auseinandergesetzt werden.Nehmen wir zunachst einmal die Evidenz der klassischen Logik als gegeben an, so entsteht die Frage, wie es moglich sein kann, daR fur die Aussagen der Quantenphysik nur eine restriktive Logik, die Quantenlogik, gilt.
Jede neue Naturerscheinung, die mit dem bisher anerkannten Theorien-system noch unvereinbar ist, stellt ihren Entdecker vor die Frage, welche der bekannten, zur Naturbeschreibung verwendeten Prinzipien hinreichende Allgemeinheit besitzen, um die neue Situation zu erklären und welche derselben abzuändern oder aufzugeben sind. Die Haltung verschiedener Physiker zu Problemen dieser Art, welche hohe Anforderungen an die Intuition und den Takt eines Wissenschaftlers stellen, hängt wesentlich vom persönlichen Temperament des betreffenden Forschers ab. Im Falle der Planckschen Entdeckung des Wirkungsquantums im Jahre 1900, die er im Zuge seiner berühmten Untersuchungen über das Strahlungsgesetz des schwarzen Körpers machte, lag es auf der Hand, daß die Erhaltungssätze von Energie und Impuls, sowie das Boltzmannsche, Entropie und Wahrscheinlichkeit verbindende Prinzip sich als zwei Säulen erweisen mußten, deren Tragkraft durch die der neuen Entdeckung folgende Entwicklung nicht erschüttert werden konnten. Tatsächlich war es gerade das Festhalten an diesen Prinzipien, welches Planck die Einführung der neuen Konstanten h, des Wirkungsquantums, in seine statistische Theorie des thermodynamischen Strahlungsgleichgewichtes ermöglichte.
In diesem Artikel wird der Zugang zur Quantenphysik uber das einfachst mogliche Modellsystem, das Qubit, erweitert zu der Kombination von zwei Qubits. Dabei tritt erstmals das fur die Quantenphysik zentrale Konzept der Verschrankung auf, welches nicht nur seltsame Eigenschaften der Quantenphysik illustriert, sondern auch der Schlussel zum Verstandnis von modernen Anwendungen der Quantenphysik ist. Ahnlich wie im Falle des einzelnen Qubits wird dabei versucht, die Grundprinzipien von Verschrankung und deren Anwendung mit Hilfe einfacher Mathematik und Bilder zu vermitteln, wobei Visualisierungen eine zentrale Rolle spielen. Die behandelten Themen umfassen verschrankte Zustande, Operationen und Messungen. Die moglichen physikalischen Realisierungen und Anwendungen, insbesondere im Bereich der Quanteninformation, werden hier kurz angesprochen, und in einer weiteren Publikation vertieft diskutiert.