Schrödingers Katze
Schrödingers Katze bezeichnet ein grundlegendes Gedankenexperiment aus der Physik, um ein begriffliches Problem der Quantentheorie hinsichtlich ihrer Beziehung zur Realität zu verdeutlichen.[1] Mit dem mathematischen Formalismus der Quantenmechanik kann man nämlich, auch wenn der quantenmechanische Zustand eines physikalischen Systems vollständig mit der größten theoretisch möglichen Genauigkeit bekannt ist, für den Messwert einer physikalischen Größe meist keinen bestimmten Wert berechnen, sondern nur die Vorhersage einer unscharfen oder „verwaschenen“[2] Wahrscheinlichkeitsverteilung verschiedener möglicher Messwerte. Mit allen diesen Werten muss nach der weitverbreiteten Kopenhagener Interpretation der Quantenmechanik die betreffende Größe gleichzeitig im System vorgelegen haben, wobei erst durch den Akt der Messung entschieden wird, welcher Wert nun in der Realität gilt.
Ein einfaches Beispiel ist die Wellenfunktion für ein Elektron, sei es in einem Elektronenstrahl, der auf einen Leuchtschirm trifft (siehe z. B. Doppelspaltexperiment), oder innerhalb eines Atoms (siehe Orbital). Das Elektron ist ein punktförmiges Elementarteilchen, doch in jedem Fall ist seine Wellenfunktion räumlich ausgedehnt und stellt damit eine Überlagerung vieler möglicher Ort dar. Ein Elektron zeigt sich bei Messung des Orts aber immer nur an einem Punkt. An welchem Punkt das sein wird, dafür lässt sich aus der Wellenfunktion nur eine Wahrscheinlichkeitsverteilung berechnen. Um diese theoretische Voraussage zu testen, muss man im Experiment an vielen einzelnen Elektronen z. B. die Auftreffpunkte auf dem Schirm bestimmen und überprüfen, ob ihre Verteilung der berechneten Verteilung entspricht. Solche Experimente haben ausnahmslos die Richtigkeit der quantenmechanischen Berechnungen bestätigt.
Nach der Quantenmechanik müssen sich aber nicht nur Elektronen oder andere mikroskopische Objekte so verhalten, sondern auch makroskopische Objekte von beliebiger Größe und Komplexität. Das steht im Gegensatz zur alltäglichen Erfahrung und stellt damit für die Quantenmechanik ein Problem dar. Um dieses in „burlesk“ ausgeschmückter Form zu verdeutlichen, veröffentlichte Erwin Schrödinger 1935 ein Gedankenexperiment, in dem eine lebendige Katze in einen Zustand gerät, in dem sie der Quantenmechanik zufolge je zur Hälfte im Zustand „lebendig“ und im Zustand „tot“ sein sollte.[2] Diese Überlagerung der verschiedenen möglichen Zustände wird, wie beim Elektron auch, erst durch eine „Messung“ aufgehoben: beim Elektron durch das Aufblitzen des Schirms am Auftreffpunkt, bei der Katze dadurch, dass jemand nachschaut und das eindeutige Ergebnis feststellt.
Das Gedankenexperiment problematisiert das für die Quantenmechanik grundlegende Superpositionsprinzip, wonach immer, wenn ein Objekt verschiedene Zustände einnehmen kann, auch die Überlagerung dieser Zustände einen möglichen Zustand darstellt. Erst wenn eine Beobachtung oder Messung durchgeführt wird, mit der man zwischen den überlagerten Zuständen unterscheiden kann, nimmt das Objekt einen von ihnen an (Kollaps der Wellenfunktion). Das steht für makroskopische Körper im Gegensatz zur klassischen Physik und zur Anschauung. Schrödinger schlägt für dieses Problem eine Lösung vor, über die bis heute debattiert wird (siehe Erkenntnistheoretische Positionen zur Quantenmechanik): Demnach darf die Wellenfunktion nicht mit einer Beschreibung des Objekts selbst identifiziert werden, sondern ausschließlich mit der Beschreibung dessen, was man über seinen Zustand wissen kann. Dann ist es unproblematisch, dass mehrere Möglichkeiten (auch wenn sie einander ausschließen) eine Zeit lang nebeneinander bestehen, und dass nach der Messung oder Beobachtung nur noch eine der Möglichkeiten real ist. Aufgrund der quantenmechanischen Dekohärenz, die bei makroskopischen Objekten wie der Katze eintritt, entsteht dabei eine Situation wie beim Würfelspiel bis zum Aufheben des Würfelbechers.
Bei Schrödingers Gedankenexperiment ist es wichtig, dass es sich bei der Katze um ein komplexes makroskopisches System handelt. Trotzdem spricht man in Anlehnung daran auch bei einem mikroskopischen quantenmechanischen System von einem Katzenzustand, wenn man erst verschiedene Zustände überlagert und später dann durch eine Messung unterscheidet.
Das Gedankenexperiment
[Bearbeiten | Quelltext bearbeiten]In Schrödingers Gedankenexperiment befinden sich eine Katze und ein instabiler Atomkern in einem geschlossenen Kasten. Der Atomkern zerfällt mit einer gewissen Wahrscheinlichkeit innerhalb einer bestimmten Zeitspanne. Der Zerfall löst mittels eines Geigerzählers die Freisetzung von Giftgas aus, welches die Katze tötet.
Schrödinger argumentiert nun, dass – wenn die Quantenphysik auch auf makroskopische Systeme anwendbar wäre – nicht nur der Atomkern, sondern auch die Katze in einen Zustand der Überlagerung geraten müsste. Diese Überlagerung würde erst beendet, wenn jemand den Kasten öffnet und den Zustand der Katze überprüft. Dies stellt eine Messung dar, die entweder das Ergebnis „tot“ oder „lebendig“ feststellt. Bis dahin wäre die Katze also lebendig und gleichzeitig tot. Diese Schlussfolgerung erscheint paradox, wobei die Paradoxie in gewisser Weise durch das Postulat der Überlagerungen mathematisch dargestellt wird.
Schrödinger selbst formuliert das 1935 in seinem Aufsatz Die gegenwärtige Situation in der Quantenmechanik. § 5. Sind die Variablen wirklich verwaschen?
„Man kann auch ganz burleske Fälle konstruieren. Eine Katze wird in eine Stahlkammer gesperrt, zusammen mit folgender Höllenmaschine (die man gegen den direkten Zugriff der Katze sichern muß): in einem Geigerschen Zählrohr befindet sich eine winzige Menge radioaktiver Substanz, so wenig, daß im Laufe einer Stunde vielleicht eines von den Atomen zerfällt, ebenso wahrscheinlich aber auch keines; geschieht es, so spricht das Zählrohr an und betätigt über ein Relais ein Hämmerchen, das ein Kölbchen mit Blausäure zertrümmert. Hat man dieses ganze System eine Stunde lang sich selbst überlassen, so wird man sich sagen, daß die Katze noch lebt, wenn inzwischen kein Atom zerfallen ist. Der erste Atomzerfall würde sie vergiftet haben. Die Psi-Funktion des ganzen Systems würde das so zum Ausdruck bringen, daß in ihr die lebende und die tote Katze (s.v.v.) zu gleichen Teilen gemischt oder verschmiert sind. Das Typische an solchen Fällen ist, daß eine ursprünglich auf den Atombereich beschränkte Unbestimmtheit sich in grobsinnliche Unbestimmtheit umsetzt, die sich dann durch direkte Beobachtung entscheiden läßt. Das hindert uns, in so naiver Weise ein „verwaschenes Modell“ als Abbild der Wirklichkeit gelten zu lassen. An sich enthielte es nichts Unklares oder Widerspruchsvolles. Es ist ein Unterschied zwischen einer verwackelten oder unscharf eingestellten Photographie und einer Aufnahme von Wolken und Nebelschwaden.“
Hintergrund
[Bearbeiten | Quelltext bearbeiten]Die Superposition in der Quantenmechanik
[Bearbeiten | Quelltext bearbeiten]Die Quantenmechanik beschreibt den Zustand und die Entwicklung eines physikalischen Systems mittels eines Zustandsvektors. Im Allgemeinen ist dieser eine gewichtete Summe (kohärente Superposition) solcher Eigenzustände, in denen eine durch Messung bestimmbare Größe einen jeweils wohldefinierten Messwert hat. Jeden einzelnen dieser Messwerte könnte man bei einer Messung dieser Größe erhalten; d. h., bei einem solchen quantenmechanischen Zustand ist das Ergebnis einer einzelnen Messung nicht eindeutig bestimmt. Eine Serie von identischen Messungen, d. h. Messungen derselben physikalischen Größe an gleichen Systemen mit immer demselben Zustandsvektor, ergibt daher eine Folge von Messergebnissen mit zufällig verschiedenen Werten. Deren Wahrscheinlichkeitsverteilung, aber nicht die Aufeinanderfolge der einzelnen Werte, kann mittels der Quantenmechanik aus dem Zustandsvektor ermittelt werden. Unmittelbar nach einer Messung liegt das System sicher in dem Eigenzustand vor, der zu dem gerade erhaltenen Messergebnis gehört. Dieser Vorgang der Zustandsreduktion wird durch ein eigenes Postulat in die Quantenmechanik (in ihrer Kopenhagener Deutung) eingeführt. Er bezeichnet das quantenmechanische Messproblem und ist auch heute nicht befriedigend verstanden.
Historischer Kontext
[Bearbeiten | Quelltext bearbeiten]Zum Zeitpunkt von Schrödingers Veröffentlichung waren solche Quanteneffekte nur im mikroskopischen Bereich bekannt. Die Anwendbarkeit der Quantenmechanik auf komplexe makroskopische Prozesse, z. B. auf den Messprozess selbst, war jedoch unklar. Schrödingers Gedankenexperiment dient der Illustration der konzeptionellen Schwierigkeiten, die mit der Anwendung des Begriffs des Quantenzustands auf makroskopische Systeme verbunden sind. Heute ist die Quantentheorie makroskopischer Systeme ein umfangreich untersuchtes Teilgebiet der Physik.
Realisierbarkeit
[Bearbeiten | Quelltext bearbeiten]Der Dekohärenz-Effekt
[Bearbeiten | Quelltext bearbeiten]Gemäß der Dekohärenztheorie tritt die von Schrödinger beschriebene Situation in der Realität so nicht ein, da es bei makroskopischen Systemen immer zu einer Unterdrückung der Kohärenzeigenschaften des quantenmechanischen Zustands kommt.[4] Selbst durch die Wand des Kastens hindurch steht die Katze im thermischen Kontakt mit der Außenwelt, wodurch permanent mikroskopische Information über den Zustand nach außen gelangt. Dadurch findet nach extrem kurzer Zeit ein effektiver Kollaps der Wellenfunktion im Sinne der Kopenhagener Deutung statt. Die Dekohärenztheorie nimmt damit die realen Umgebungsbedingungen ernst, die sich bei makroskopischen Objekten technisch nicht eliminieren lassen. Die Vergiftungsapparatur und die Katze reagieren daher nicht erst auf den „Messprozess“ durch das Öffnen des Kastens, sondern direkt auf die ersten unmittelbaren Auswirkungen des atomaren Zerfalls.
Reale Experimente
[Bearbeiten | Quelltext bearbeiten]Trotz des Einflusses der Dekohärenz kann das Gedankenexperiment mit realen Experimenten überprüft werden. Dabei muss die Wechselwirkung mit der Umgebung vollständig abgeschirmt werden. Eine solche Isolation erreicht man sehr gut bei Photonen als Untersuchungsobjekten, da Photonen selbst nicht von anderen Photonen beeinflusst werden und somit von der Dekohärenz wenig betroffen sind. Bei fester Materie ist eine Isolation sehr viel schwieriger und gelang bisher nur bei sehr kleinen Objekten. Zum Beispiel konnte bei einem Experiment mit Fullerenen nachgewiesen werden, dass ein solches aus 60 Kohlenstoffatomen bestehendes einzelnes Molekül gleichzeitig unterschiedliche Wege durch verschiedene Spalte eines Hindernisses nehmen kann.[5] Die experimentellen Bedingungen, die hier ausreichend vor Dekohärenz schützten, waren ein hohes Vakuum, Dunkelheit und eine sehr kurze Zeitspanne zwischen Erzeugung und Überprüfung der Überlagerung. Bei Quantencomputern versucht man die Dekohärenz von Elektronen zu unterdrücken, indem man mithilfe sehr tiefer Temperaturen und Supraleitung deren Freiheitsgrade einschränkt. Die überlagerten Zustände nutzt man dann zur Durchführung von parallelen Rechenoperationen.
Diese Experimente bestätigen die Annahme, dass die Gesetze der Quantenmechanik auch für makroskopische Systeme gelten.
Interpretationen
[Bearbeiten | Quelltext bearbeiten]Unabhängig von der Dekohärenztheorie werden die Abläufe im hypothetischen perfekt verschlossenen Kasten in den verschiedenen Schulen und Deutungen der Quantenmechanik sehr unterschiedlich interpretiert.
Kopenhagener Deutung
[Bearbeiten | Quelltext bearbeiten]In der Kopenhagener Deutung der Quantenmechanik erfolgt im Moment der Messung ein Kollaps der Wellenfunktion des gemessenen Systems. Beim Öffnen des Raums und Beobachtung seines Inneren (Messung) springt der Atomkern, der sich zuvor im Zustand der Überlagerung befand, in einen der zu diesem Messapparat gehörenden Eigenzustände. Erst bei der Messung (hier durch einen äußeren Beobachter) entscheidet sich also, ob die Katze tot oder lebendig ist. Vor der Messung kann über den Zustand der Katze lediglich eine Wahrscheinlichkeitsaussage getroffen werden. Der Messvorgang selbst wird dabei wie in der klassischen Physik beschrieben.
Spätere Interpreten der Kopenhagener Deutung wie Carl Friedrich von Weizsäcker erkennen an, dass das makroskopische Ansprechen der „Höllenmaschine“ die Entstehung eines irreversiblen „Dokuments“ über den erfolgten Atomzerfall zur Folge hat, mit anderen Worten, eine Messung hat stattgefunden. Die Wellenfunktion kollabiert ohne weiteres menschliches Zutun; die Katze ist entweder lebendig oder tot.
Mit den 50-Prozent-Wahrscheinlichkeiten für die beiden möglichen Eigenzustände beschreibt die Wellenfunktion vor der Messung gewissermaßen nicht wirklich das System, sondern das unvollständige Wissen über das System. Fröhner[6] hat nachgewiesen, dass die quantenmechanischen Wahrscheinlichkeiten widerspruchsfrei als Bayessche Wahrscheinlichkeiten aufgefasst werden können. Diese ändern sich, indem die Messung den Informationsstand des Beobachters verändert. Dazu wird keine Zeit benötigt; was kollabiert („zusammenbricht“), ist nichts Physikalisches, sondern nur der Informationsmangel des Beobachters. Ganz entsprechend haben sich hierzu Heisenberg 1960 in einer brieflichen Diskussion (siehe Zitat bei Fröhner) und Styer[7] geäußert.
Viele-Welten-Interpretation
[Bearbeiten | Quelltext bearbeiten]Die Viele-Welten-Interpretation geht auf den Physiker Hugh Everett zurück. Sie ist keine neue oder zusätzliche Theorie, sondern eine alternative Interpretation der Quantenmechanik. Die Viele-Welten-Interpretation spricht allen möglichen Zuständen (also hier „Katze tot“ und „Katze lebendig“) gleichermaßen physikalische Realität zu. Es gibt dann tatsächlich ein Universum, in dem das Atom zerfallen ist, und eines, in dem das Atom noch nicht zerfallen ist. Im ersten Universum öffnen wir den Kasten und finden die Katze tot, im zweiten Universum ist die Katze lebendig.
Unsere Erinnerungen und das, was wir als Realität wahrnehmen, entsprechen dann nur einer von unzähligen möglichen (und gleichermaßen realisierten) Geschichten des Universums.
Ensembletheorie
[Bearbeiten | Quelltext bearbeiten]Vertreter der Ensembletheorie würden das Gedankenexperiment auf eine Gesamtheit von Systemen beziehen (also mehrere Kästen mit Katzen): Nach einem bestimmten Zeitintervall sind dann die Hälfte aller Katzen tot und die andere Hälfte lebendig. Hier greift das empirische Gesetz der großen Zahlen, d. h., je öfter man dieses Experiment durchführt, desto sicherer ist es, dass die relative Häufigkeit sich der theoretischen Wahrscheinlichkeit annähert.
Bohmsche Mechanik
[Bearbeiten | Quelltext bearbeiten]Die bohmsche Mechanik ist eine alternative Formulierung der Quantenmechanik. Sie fügt der Quantenmechanik eine zusätzliche Bewegungsgleichung hinzu, die den Ort sämtlicher Teilchen zu jeder Zeit festlegt. Die Beschreibung wird dadurch deterministisch. Die Bohmsche Mechanik legt also zu jeder Zeit genau fest, ob die Katze tot oder lebendig ist. Man kann den Anfangszustand des Systems jedoch nicht genau messen, ohne das System zu stören. Daher kann man für das Ergebnis nur Wahrscheinlichkeiten für den Fall einer toten oder einer lebendigen Katze angeben.
Katzenzustand
[Bearbeiten | Quelltext bearbeiten]Allgemeine Überlegung
[Bearbeiten | Quelltext bearbeiten]In einem allgemeineren Sinn wird in der Quantenmechanik eine Überlagerung zweier kohärenter Zustände, die hinreichend unterschiedlich und klassischen Zuständen ähnlich sind, als Katzenzustand bezeichnet. Um einen solchen Zustand zu präparieren, ist es notwendig, das System von der Umgebung abzuschirmen. Typische experimentelle Realisierungen sind Spin-Ausrichtungen oder Teilchenpositionen. Erste mesoskopische Katzenzustände wurden mit Elektronenstrahlen und Strahlteilern erzeugt, bei denen eine Überlagerung der Zustände darin bestand, dass ein Elektron in dem einen oder dem anderen Teilstrahl ist. Mitte der 1990er Jahre ist es gelungen, einen mesoskopischen Katzenzustand für ein einzelnes Atom bezüglich seiner Position zu erzeugen.[8] Darauf aufbauend wurden größere Systeme aus einzelnen Atomen erzeugt, bei denen zum Beispiel mit sechs Atomen die Überlagerung der beiden Zustände, bei denen alle Atome Spin-Up. oder alle Atome Spin-Down. untersucht wurden.[9] Diese Formulierung wurde von David Bohm vorgeschlagen, der den Spin als Observable 1935 in einem Gedankenexperiment zum Einstein-Podolsky-Rosen-Paradoxon formulierte.[10]
Katzenzustand beim Quantencomputer
[Bearbeiten | Quelltext bearbeiten]Konkreter Spezialfall ist der Katzenzustand als Zustand in einem Register eines Quantencomputers, der aus der Überlagerung der beiden Zustände besteht, bei denen alle Qubits |0⟩ bzw. alle |1⟩ sind. In der Bra-Ket-Notation wird er als proportional zu |00…0⟩ +|11…1⟩ geschrieben. Diese Art von Katzenzustand wird auch als Greenberger–Horne–Zeilinger (GHZ) Zustand bezeichnet.
Katzenzustand in der Quantenoptik
[Bearbeiten | Quelltext bearbeiten]In der Quantenoptik wird ein Katzenzustand als kohärente Überlagerung von zwei bestimmten kohärenten Zuständen mit entgegengesetzten Phasen definiert:
- ,
wobei
- ,
und
als kohärente Zustände in der Zahlenbasis (Fock-Zustand) definiert sind. Die Bezeichnung Katzenzustand ergibt sich daraus, dass α prinzipiell beliebig große Werte annehmen kann, und die beiden Anteile somit makroskopisch unterscheidbar werden, wie die tote oder lebendige Katze. Die vergleichsweise einfache Struktur des Zustandes erlaubt dann systematische theoretische und experimentelle Untersuchungen.
Wenn man die beiden entgegengesetzten Zustände addiert, enthält der Katzenzustand nur gerade Fock-Zustands-Terme:
- .
Als Ergebnis dieser Eigenschaft wird der obige Zustand oft als gerader Katzenzustand bezeichnet. Alternativ kann man einen ungeraden Katzenzustand mit
definieren, der nur ungerade Fock-Zustände enthält
- .
Siehe auch
[Bearbeiten | Quelltext bearbeiten]- Wigners Freund stellt eine Erweiterung dieses Gedankenexperiments dar.
- Der sogenannte Quantenselbstmord zieht andere Schlüsse aus einem vergleichbaren Experiment.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Karl von Meyenn (Hrsg.): Eine Entdeckung von ganz außerordentlicher Tragweite: Schrödingers Briefwechsel zur Wellenmechanik und zum Katzenparadoxon. Springer, Berlin/Heidelberg 2011, ISBN 978-3-642-04334-5.
- John Gribbin: Auf der Suche nach Schrödingers Katze: Quantenphysik und Wirklichkeit. Aus dem Englischen von Friedrich Griese. Piper, München/Zürich 2004, ISBN 3-492-24030-5.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Ist Schrödingers Katze tot? aus der Fernseh-Sendereihe alpha-Centauri (ca. 15 Minuten). Erstmals ausgestrahlt am 15. Sep. 2004.
- Schrödingers Katze kann aufatmen – und sei es auch nur ein letztes Mal. quanten.de
- Wie Erwin Schrödingers Katze zu Weltruhm kam. Welt Online, 12. August 2013
- Reincarnation can save Schrödinger’s cat. In: Nature, Band 454, 2. Juli 2008, S. 8–9.
- Quantum superposition of distinct macroscopic states. In: Nature, Band 406, 6. Juli 2000, S. 43–46; nature.com (PDF) doi:10.1038/35017505 – Versuch einer experimentellen Realisierung des Gedankenexperiments mit makroskopischen elektrischen Strömen, die angeblich gleichzeitig in zwei Richtungen fließen.
- Zvi Schreiber: The nine lives of Schrödingers Cat. Diplomarbeit. Imperial College 1995, Schrödingers Katze in verschiedenen Interpretationen der Quantenmechanik, arxiv:quant-ph/9501014.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Arroyo Camejo, Silvia.: Skurrile Quantenwelt. 1. Auflage. Springer, Berlin 2006, ISBN 978-3-540-29720-8. Kap. 12
- ↑ a b Die gegenwärtige Situation in der Quantenmechanik. In: Naturwissenschaften (Organ der Gesellschaft Deutscher Naturforscher und Ärzte – Berlin, Springer), Band 23, 1935; Teil 1: doi:10.1007/BF01491891, Teil 2: doi:10.1007/BF01491914, Teil 3: doi:10.1007/BF01491987. Die Katze wird am Ende des ersten Teils auf S. 812 beschrieben und wird im zweiten Teil nochmal in Klammern erwähnt (S. 827: „Man erinnere sich der vergifteten Katze!“)
- ↑ Erwin Schrödinger: Naturwissenschaften. 48, 807; 49, 823; 50, 844, November 1935.
- ↑ H. P. J. Haken, H. H. C. Wolf: The Physics of Atoms and Quanta: Introduction to Experiments and Theory (Advanced Texts in Physics). 6. Auflage. Springer, 2000, S. 406. (google books)
- ↑ Markus Arndt, Olaf Nairz, Julian Vos-Andreae, Claudia Keller, Gerbrand Van Der Zouw, Anton Zeilinger: Wave–particle duality of C60. In: Nature. 401. Jahrgang, Nr. 6754, 1999, S. 680–2, doi:10.1038/44348, PMID 18494170, bibcode:1999Natur.401..680A.
- ↑ F. H. Fröhner: Missing Link between Probability Theory and Quantum Mechanics: the Riesz-Fejér Theorem. In: Zeitschrift für Naturforschung, 1998, 53a, S. 637–654; doi:10.1515/zna-1998-0801
- ↑ Daniel F. Styer: The Strange World of Quantum Mechanics. Cambridge University Press, 2000, ISBN 0-521-66780-1, S. 115
- ↑ C. Monroe, D. M. Meekhof, B. E. King, D. J. Wineland: A “Schrödinger cat” superposition state of an atom. In: Science. 272(5265), 1996, S. 1131–1136.
- ↑ D. Leibfried, E. Knill, S. Seidelin, J. Britton, R. B. Blakestad, J. Chiaverini, D. Hume, W. M. Itano, J. D. Jost, C. Langer, R. Ozeri, R. Reichle, D. J. Wineland: Creation of a six atom ‘Schrödinger_cat’ state. In: Nature, 1. Dezember 2005, S. 639–642; qudev.phys.ethz.ch (PDF; 213 kB)
- ↑ Amir D. Aczel: Entanglement: the unlikely story of how scientists, mathematicians, and philosophers proved Einstein’s spookiest theory. Penguin, 2001, ISBN 0-452-28457-0 (englisch).