Schatten des Geistes

Größe: px
Ab Seite anzeigen:

Download "Schatten des Geistes"

Transkript

1 Roger Penrose Schatten des Geistes Wege zu einer neuen Physik des Bewußtseins Aus dem Englischen übersetzt von Anita Ehlers Spektrum Akademischer Verlag Heidelberg Berlin Oxford

2 Inhalt Vorwort Danksagungen Bildnachweise Hinweise für die Leser XI XV XVII XIX Prolog 1 Teil 1: Warum wir zum Verständnis von Geist und Bewußtsein eine neue Physik brauchen Die Grenzen der Berechenbarkeit 1. Bewußtsein und Berechenbarkeit Geist und Naturwissenschaft Können Roboter die (bedrohte) Welt retten? Das. -/,./> t'j der Berechnung und des bewußten Denkens Physikalismus gegen Mentalismus Berechnungen - aufwärts oder abwärts gerichtete Verfahren? Standpunkt % und die Church-Turing-These 25

3 1.7 Chaos Analog-Berechnungen Wie müßten nicht-rechnerische Vorgänge beschaffen sein? Wie steht es in Zukunft? Können Computer Rechte oder Pflichten haben? Verstehen", Bewußtsein", Wahrnehmung", Intelligenz" Die Überlegung von John Searle Einige Schwierigkeiten mit dem rechnerischen Modell Die Grenzen der heutigen Kl - ein Argument für üt? Gödels Satz als Begründung Piatonismus oder Mystizismus? Warum ist mathematisches Verständnis so wichtig? Was hat Gödels Satz mit dem gesunden Menschenverstand zu tun? Innere Veranschaulichung und virtuelle Realität Sind mathematische Vorstellungen nicht-rechnerisch? Die Sache mit Gödel Der Gödelsche Satz und die Turing-Maschinen Berechnungen Nicht-anhaltende Berechnungen Wie entscheiden wir, ob Berechnungen nicht aufhören? Familien von Berechnungen: die Schlußfolgerung t von Gödel und Turing Mögliche Einwände gegen Einige tiefere mathematische Überlegungen Die Bedingung der w-widerspruchsfreiheit Formale Systeme und algorithmische Beweise Weitere Einwände gegen :o 120 Anhang A: Eine Turing-Maschine für die Gödelisierung 148

4 3. Triftige Gründe für die Nicht-Berechenbarkeit mathematischen Denkens Was dachten Gödel und Turing? Könnte ein inkorrekter Algorithmus mathematisches Verständnis erkennbar simulieren? Könnte ein erkennbarer Algorithmus mathematisches Verständnis auf nicht erkennbare Weise simulieren? Verwenden die Mathematiker unwissentlich einen inkorrekten Algorithmus? Kann ein Algorithmus nicht-erkennbar sein? Natürliche Auslese oder Schöpfungsakt? Ein Algorithmus oder viele? Die natürliche Auslese bei weltfremden esoterischen Mathematikern Lernalgorithmen Könnte die Umwelt einen nicht-algorithmischen Faktor liefern? Wie kann ein Roboter lernen? Kann ein Roboter sichere mathematische Überzeugungen" erwerben? Grundlegende Mechanismen der Robotermathematik Der grundlegende Widerspruch Denkbare Versuche, den Widerspruch zu vermeiden Muß der Roboter an M glauben? Fehlerund Bedeutungen" bei Robotern Der Zufall und die Gemeinschaft der Roboter Das Beseitigen fehlerhafter -fr-behauptungen Reduktion auf endlich viele fr ^-Behauptungen Angemessene Sicherheitsvorkehrungen Kann Chaos das algorithmische Modell des Geistes retten? Reductio ad absurdum - ein erfundener Dialog Das Problem paradoxer Schlüsse Die Kompliziertheit mathematischer Beweise Auflösen von Schleifen Aufwärts- oder Abwärts-Mathematik? Schlußfolgerungen 255

5 Teil 2: Die Suche nach einer nicht-rechnerischen Physik des Geistes 4. Der Geist und die klassische Physik Der Geist und die Naturgesetze Berechenbarkeit und Chaos in der heutigen Physik Bewußtsein: Neue Physik oder emergentes Phänomen"? Der Einsteinsche Kippeffekt Berechnung und Physik Die Struktur der Quantenwelt Quantentheorie: Puzzle und Paradoxon Das Elitzur-Vaidman-Bombentestproblem Magische Dodekaeder Der experimentelle Stand der Z-Rätsel vom EPR-Typ Die Grundlagen der Quantentheorie: eine außerordentliche Geschichte Die Grundregeln der Quantentheorie Die unitäre Entwicklung U Reduktion R des Zustandsvektors Die Lösung des Bombentestproblems von 335 Elitzur-Vaidman 5.10 Die Quantentheorie des Spins - die Riemannsche Kugel Ort und Impuls eines Teilchens Der Hilbert-Raum R im Hilbert-Raum Vertauschbare Messungen Das quantenmechanische und" Die Orthogonalität von Produkt-Zuständen Quantenverschränkungen Die magischen Dodekaeder - eine Erklärung 369 Anhang B: Die Nicht-Einfärbbarkeit des Dodekaeders 379 Anhang C: Orthogonalität bei allgemeinen Spinzuständen 381

6 6. Quantentheorie und Wirklichkeit Ist R ein wirklicher Vorgang? Viele-Welten-Theorien Wenn ijj) nicht ernst genommen wird Die Dichtematrix Dichtematrizen für EPR-Paare Eine FAPP-Erklärung für R? Erklärt FAPP die Absolutquadrat-Regel? Reduziert das Bewußtsein den Zustandsvektor? i/f) ernst nehmen Kann Gravitation die Reduktion des Zustandsvektors bewirken? Absolute Einheiten Das neue Kriterium Quantentheorie und Gehirn Gehirnfunktionen durch makroskopische Quanteneffekte? Neuronen, Synapsen und Computer Quantencomputer Zellskelette und Mikrotubuli Quantenkohärenz in Mikrotubuli? Mikrotubuli und Bewußtsein Ein Modell für den Geist? Nicht-Berechenbarkeit in der Quantengravitation (1) Orakelmaschinen und physikalische Gesetze Nicht-Berechenbarkeit in der Quantengravitation (2) Zeit und bewußte Wahrnehmung EPR und Zeit: Eine neue Sicht der Welt Folgerungen Intelligente Apparate Was Computer gut können - und wo sie versagen Ästhetik und einiges mehr Einige Gefahren der Computertechnologie Die rätselhafte Wahl 506

7 8.6 Ist Bewußtsein ein physikalisches Phänomen? 8.7 Drei Welten und drei Geheimnisse Epilog 531 Literatur 532 Index 551

Quelle: Wikipedia.org. Roger Penrose. Fabian Pawlowski, Hendrik Borghorst, Simon Theler

Quelle: Wikipedia.org. Roger Penrose. Fabian Pawlowski, Hendrik Borghorst, Simon Theler Quelle: Wikipedia.org 1 Biografie 2 Grundlegende Fragen 3 Schwache und starke KI 4 Turing-Test 5 Chinesiches Zimmer 6 Bewusstsein 7 Gehirn 8 Turing-Maschine 9 Fazit Biografie Biografie geb.: 8.August 1931

Mehr

Jürgen Audretsch (Hrsg.) Verschränkte Welt. Faszination der Quanten WILEY-VCH

Jürgen Audretsch (Hrsg.) Verschränkte Welt. Faszination der Quanten WILEY-VCH Jürgen Audretsch (Hrsg.) Verschränkte Welt Faszination der Quanten WILEY-VCH Die Autoren Vorwort XI XIII 1 Blick in die Quantenwelt I: Grundlegende Phänomene und Konzepte 1 Jürgen Audretsch 1-1 Einleitung

Mehr

INHALTS-ÜBERSICHT KÜNSTLICHE INTELLIGENZ. Abriss der Vorlesungen in Stichworten. I. Einleitende Überlegungen

INHALTS-ÜBERSICHT KÜNSTLICHE INTELLIGENZ. Abriss der Vorlesungen in Stichworten. I. Einleitende Überlegungen INHALTS-ÜBERSICHT KÜNSTLICHE INTELLIGENZ Abriss der Vorlesungen in Stichworten I. Einleitende Überlegungen Deep Blue besiegt Garry Kasparow Der rapide Fortschritt der Informationstechnologie Selbsttröstungen

Mehr

Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz. 6.

Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz.  6. Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz http://www.tuwien.ac.at/goldstern/ 6.September 2006 1 Kurt Gödel, 1906-1978 1906: geboren am 28.April in Brünn (heute Brno)

Mehr

Berechenbarkeit und Komplexität

Berechenbarkeit und Komplexität Teil II: Berechenbarkeit und Komplexität Algorithmen und Komplexität 22. November 2016 Berechenbarkeitstheorie RAM-Maschine 1: M 1 1 2: M 0 1 3: M 0 M 0 M 1 4: M 2 M 2 M 1 5: GOTO 3 IF M 2 > 0. M 2 : M

Mehr

Quantencomputer: Einführung

Quantencomputer: Einführung Quantencomputer: Einführung Martin Lange Institut für Informatik Ludwig-Maximilians-Universität München Quantencomputer: Einführung p.1/29 Einleitung Quantencomputer: Einführung p.2/29 Geschichte Computer

Mehr

John R. Searle: Das syntaktische Argument und die Irreduzibilität des Bewusstseins. Institut für Physik und Astronomie Universität Potsdam

John R. Searle: Das syntaktische Argument und die Irreduzibilität des Bewusstseins. Institut für Physik und Astronomie Universität Potsdam John R. Searle: Das syntaktische Argument und die Irreduzibilität des Bewusstseins Jonathan F. Donges Harald R. Haakh Institut für Physik und Astronomie Universität Potsdam Übersicht Themen 1 Physik, Syntax,

Mehr

Der kreative Kosmos. Geist und Materie aus Quanteninformation. Bearbeitet von Thomas Görnitz, Brigitte Görnitz

Der kreative Kosmos. Geist und Materie aus Quanteninformation. Bearbeitet von Thomas Görnitz, Brigitte Görnitz Der kreative Kosmos Geist und Materie aus Quanteninformation Bearbeitet von Thomas Görnitz, Brigitte Görnitz 1. Auflage 2013. Taschenbuch. VII, 372 S. Paperback ISBN 978 3 642 41750 4 Format (B x L): 12,7

Mehr

Wie unser Gehirn die Welt erschafft

Wie unser Gehirn die Welt erschafft Wie unser Gehirn die Welt erschafft von Chris Frith, Monika Niehaus-Osterloh 1st Edition. Wie unser Gehirn die Welt erschafft Frith / Niehaus-Osterloh schnell und portofrei erhältlich bei beck-shop.de

Mehr

MATHEMATIQ. Der Newsletter der MathSIG (Interessensgruppe innerhalb der Mensa Österreich) Ausgabe 4.

MATHEMATIQ. Der Newsletter der MathSIG (Interessensgruppe innerhalb der Mensa Österreich) Ausgabe 4. MATHEMATIQ Der Newsletter der MathSIG (Interessensgruppe innerhalb der Mensa Österreich) Ausgabe 4 http://www.hugi.scene.org/adok/mensa/mathsig/ Editorial Liebe Leserinnen und Leser! Dies ist die vierte

Mehr

Wir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen?

Wir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen? Einige Fragen Ziel: Wir suchen Antworten auf die folgenden Fragen: Wie kann man das intuitiv Berechenbare formal fassen? Was ist ein Algorithmus? Welche Indizien hat man dafür, dass ein formaler Algorithmenbegriff

Mehr

Theorie der Informatik

Theorie der Informatik Theorie der Informatik 15. Ackermannfunktion Malte Helmert Gabriele Röger Universität Basel 28. April 2014 Überblick: Vorlesung Vorlesungsteile I. Logik II. Automatentheorie und formale Sprachen III. Berechenbarkeitstheorie

Mehr

Nichtlokalität das Rätsel der Verschränkung

Nichtlokalität das Rätsel der Verschränkung Nichtlokalität das Rätsel der Verschränkung Spezielle Relativitätstheorie (A. Einstein, 1905) Wirkungen / Informationen können zwischen zwei Orten maximal mit der Vakuumlichtgeschwindigkeit (~300000 km/s)

Mehr

Angewandte Mathematik am Rechner 1

Angewandte Mathematik am Rechner 1 Angewandte Mathematik am Rechner 1 SOMMERSEMESTER 2017 Kapitel 3 [Bildquellen: Wikipedia User David Madore, Inductiveload ] Grundlagen 2: Funktionen, Berechenbarkeit und emergente Komplexität Michael Wand

Mehr

1936 von Alan Turing zum theoretischen Studium der Berechenbarkeit eingeführt Besteht aus

1936 von Alan Turing zum theoretischen Studium der Berechenbarkeit eingeführt Besteht aus //5 Abstrakte Maschinenmodelle: Turingmaschine (TM) 96 von Alan Turing zum theoretischen Studium der Berechenbarkeit eingeführt Besteht aus einem festen Teil ( "Hardware ) einem variablen Teil ( "Software

Mehr

Theoretische Informatik für Wirtschaftsinformatik und Lehramt

Theoretische Informatik für Wirtschaftsinformatik und Lehramt Theoretische Informatik für Wirtschaftsinformatik und Lehramt Universelle Turingmaschinen und Church sche These Priv.-Doz. Dr. Stefan Milius stefan.milius@fau.de Theoretische Informatik Friedrich-Alexander

Mehr

Die Physik der Unsterblichkeit

Die Physik der Unsterblichkeit Frank J.Tipler Die Physik der Unsterblichkeit Moderne Kosmologie, Gott und die Auferstehung der Toten Aus dem Amerikanischen von Inge Leipold, Barbara Schaden und Martin Lavelle Mit 28 Abbildungen r> Piper

Mehr

Seminar Künstliche Intelligenz Wintersemester 2013/14

Seminar Künstliche Intelligenz Wintersemester 2013/14 Seminar Künstliche Intelligenz Wintersemester 2013/14 Martin Hacker Richard Schaller Künstliche Intelligenz Department Informatik FAU Erlangen-Nürnberg 31.10.2013 2 / 13 Überblick Teilgebiete der KI Problemlösen,

Mehr

Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich?

Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? Hier betrachten wir ein Gedankenexperiment, das bereits in unterschiedlichster Weise realisiert wurde, und uns

Mehr

Unentscheidbarkeitssätze der Logik

Unentscheidbarkeitssätze der Logik Unentscheidbarkeitssätze der Logik Elmar Eder () Unentscheidbarkeitssätze der Logik 1 / 30 Die Zahlentheorie ist nicht formalisierbar Satz (Kurt Gödel) Zu jedem korrekten formalen System der Zahlentheorie

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 15.07.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie

Mehr

Das Quantenbewusstsein Wissenschaft trifft Spiritualität

Das Quantenbewusstsein Wissenschaft trifft Spiritualität Quantenbewu Das Quantenbewusstsein Wissenschaft trifft Spiritualität Wissenschaft trifft Spiritualität Franz Bludorf Nahtoderlebnisse gehören nach wie vor zu den größten Geheimnissen der modernen Neurowissenschaft.

Mehr

Theoretische Physik fürs Lehramt: L2

Theoretische Physik fürs Lehramt: L2 Theoretische Physik fürs Lehramt: L2 Beatrix C. Hiesmayr Faculty of Physics, University Vienna Beatrix.Hiesmayr@univie.ac.at WS 2015 Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte

Mehr

Inhaltsverzeichnis. Einleitung 1

Inhaltsverzeichnis. Einleitung 1 Inhaltsverzeichnis Einleitung 1 1 Licht und Materie 7 Was ist eigentlich Licht? 8 Aber was schwingt da wie? 9 Was sind Frequenz und Wellenlänge des Lichts? 11 Was ist eigentlich Materie? 12 Woraus besteht

Mehr

Über die Natur der Dinge Materialismus und Wissenschaft

Über die Natur der Dinge Materialismus und Wissenschaft Mario Bunge/Martin Mahner Über die Natur der Dinge Materialismus und Wissenschaft S. Hirzel Verlag Stuttgart Leipzig Inhaltsverzeichnis Vorwort IX Danksagung XII 1 Einleitung 1 1.1 Zwei radikal verschiedene

Mehr

Motivation und Geschichte. Geschichte der Logik Logik und Informatik

Motivation und Geschichte. Geschichte der Logik Logik und Informatik Motivation und Geschichte Geschichte der Logik Logik und Informatik Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 2.1 Motivation und Geschichte Geschichte der Logik 13 Aufgaben der Logik

Mehr

Panorama der Mathematik und Informatik

Panorama der Mathematik und Informatik Panorama der Mathematik und Informatik : Hilberts Probleme Dirk Frettlöh Technische Fakultät 8/60 : Hilberts Probleme Panorama der Mathematik und Informatik Eine sehr kurze Geschichte der Mathematik (aus:

Mehr

MATHEMATIK. Allgemeine Bildungsziele. Richtziele. Grundkenntnisse

MATHEMATIK. Allgemeine Bildungsziele. Richtziele. Grundkenntnisse MATHEMATIK Allgemeine Bildungsziele Der Mathematikunterricht vermittelt ein intellektuelles Instrumentarium, das ein vertieftes Verständnis der Mathematik, ihrer Anwendungen und der wissenschaftlichen

Mehr

Was ist Informatik? Alexander Lange

Was ist Informatik? Alexander Lange Was ist Informatik? Was ist Informatik? Alexander Lange 12.11.2003 Was ist Informatik? Inhalt 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. Das Wort»Informatik«Die Idee Teilgebiete der Informatik Technische Informatik

Mehr

Die Kontinuität von Bewusstsein

Die Kontinuität von Bewusstsein GUTHMANNßf PETERSON und Vwiegef / Wien und Mülheim on der Ruhr Martin Balluch Die Kontinuität von Bewusstsein Das naturwissenschaftliche Argument für Tierrechte Inhaltsverzeichnis Kurzdarstellung 13 Vorwort

Mehr

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung

Mehr

Nichts als die mathematische Wahrheit

Nichts als die mathematische Wahrheit 1 Nichts als die mathematische Wahrheit Holger Stephan Weierstraß Institut für Angewandte Analysis und Stochastik (WIAS), Berlin Lange Nacht der Wissenschaften 10. Mai 2014 2 Anregungen zu folgenden Fragen

Mehr

Bellsche Ungleichungen

Bellsche Ungleichungen Bellsche Ungleichungen Christoph Meyer Seminar - Grundlagen der Quantenphysik Christoph Meyer Bellsche Ungleichungen 1 / 20 Inhaltsverzeichnis 1 Einführung Das EPR-Paradoxon Verborgene Variablen 2 Herleitung

Mehr

Verschränkte Zustände. - spukhafte Fernwirkungen-

Verschränkte Zustände. - spukhafte Fernwirkungen- I) Einführung:.) Klassische echanik: - Kausalität: Ursache Wirkung - relativistische Kausalität: kausale Einflüsse bewegen sich maximal mit Lichtgeschwindigkeit c keine instantane Fernwirkung lokale Wechselwirkung

Mehr

Relativität und Realität

Relativität und Realität Max Drömmer Relativität und Realität Zur Physik und Philosophie der allgemeinen und der speziellen Relativitätstheorie mentis PADERBORN Inhaltsverzeichnis Vorwort... 15 Einleitung... 17 Kapitel 1 Allgemeine

Mehr

Hilberts zweites Problem: Die Widerspruchsfreiheit der arithmetischen Axiome

Hilberts zweites Problem: Die Widerspruchsfreiheit der arithmetischen Axiome Hilberts zweites Problem: Die Widerspruchsfreiheit der arithmetischen Axiome Marcel Karcher Hilbertseminar, TUM Teil I: Die Problemstellung und das Hilbertprogramm mit seinen Zielen Problem: Sind die arithmetischen

Mehr

Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich?

Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? Kapitel 1 Bellsche Ungleichungen oder existiert Einstein s spukhafte Fernwirkung wirklich? 1.1 Worum gehts? In vielen Experimenten mit verschiedensten Teilchen ist nun gezeigt worden, dass Verschränkung

Mehr

Westfälische Wilhelms-Universität Münster Fachbereich Physik. Quantenlogik. Martin Kohn Münster,

Westfälische Wilhelms-Universität Münster Fachbereich Physik. Quantenlogik. Martin Kohn Münster, Westfälische Wilhelms-Universität Münster Fachbereich Physik Quantenlogik Martin Kohn martin-kohn@gmx.de Münster, 14.09.2009 1 Einleitung Die Quantenlogik beschreibt die Anwendung der klassischen, alltäglichen

Mehr

Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis

Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis Hagen Knaf Prof. Dr. H. Knaf, Mathematisches Beweisen 1 Struktur mathematischer Texte Ein mathematischer Text enthält neben dem fortlaufenden

Mehr

Gehirn, Computer, Komplexität

Gehirn, Computer, Komplexität Gehirn, Computer, Komplexität Springer Berlin Heidelberg NewYork Barcelona Budapest Hongkong London Mailand Paris SantaCIara Singapur Tokio Klaus Mainzer Gehirn,Computer, Komplexität Mit 73 Abbildungen

Mehr

Proseminar CiS November Quantencomputer. Tom Petersen

Proseminar CiS November Quantencomputer. Tom Petersen Proseminar CiS November 2011 Quantencomputer Tom Petersen Die Idee des Quantencomputers - Fortschreitende Miniaturisierung - Es existieren technische Grenzen, auch wenn sie durch neue Verfahren immer weiter

Mehr

Gierhardt. Einführung:

Gierhardt. Einführung: Informatik 13: Gierhardt Theoretische Informatik I Einführung: Neben den Problemen und Fragen der praktischen Informatik, wo es in erster Linie um die Wahl der geeigneten Algorithmen und Datenstrukturen

Mehr

Motivation und Geschichte. Geschichte der Logik Logik und Informatik

Motivation und Geschichte. Geschichte der Logik Logik und Informatik Motivation und Geschichte Geschichte der Logik Logik und Informatik Logik für Informatiker, M. Lange, IFI/LMU: Motivation und Geschichte Geschichte der Logik 12 Aufgaben der Logik Logik (aus Griechischem)

Mehr

Ernst von Glasersfeld Radikaler Konstruktivismus

Ernst von Glasersfeld Radikaler Konstruktivismus Ernst von Glasersfeld Radikaler Konstruktivismus Ideen, Ergebnisse, Probleme Übersetzt von Wolfram K. Köck /l Suhrkämp Inhalt Siegfried J. Schmidt Vorwort zur deutschen Ausgabe 11 Vorwort 17 Danksagung

Mehr

String Theorie - Die Suche nach der großen Vereinheitlichung

String Theorie - Die Suche nach der großen Vereinheitlichung String Theorie - Die Suche nach der großen Vereinheitlichung Ralph Blumenhagen Max-Planck-Institut für Physik String Theorie - Die Suche nach der großen Vereinheitlichung p.1 Das Ziel der Theoretischen

Mehr

Schrödingers Katze -oder- Wo ist der Übergang?

Schrödingers Katze -oder- Wo ist der Übergang? Schrödingers Katze -oder- Wo ist der Übergang? Themen Vergleich Quantenmechanik klassische Mechanik Das Gedankenexperiment Interpretationen des Messprozesses (Kopenhagener Deutung, Viele-Welten-Theorie,

Mehr

Erklärungsversuch für die Wirkungsweise der Homöopathie mit dem Verschränkungsmodell in der Quantenphysik

Erklärungsversuch für die Wirkungsweise der Homöopathie mit dem Verschränkungsmodell in der Quantenphysik Erklärungsversuch für die Wirkungsweise der Homöopathie mit dem Verschränkungsmodell in der Quantenphysik 2003 hat Professor Dr. Harald Walach eine Arbeit darüber verfasst, wie die homöopathische Wirkungsweise

Mehr

Die Church-Turing-These

Die Church-Turing-These Die Church-Turing-These Elmar Eder () Die Church-Turing-These 1 / 12 Formale Systeme Formale Systeme µ-partiellrekursive Funktionen Logikkalküle SLD-Resolution (Prolog) Chomsky-Grammatiken Turing-Maschinen

Mehr

Quantenmechanik. Seminar Interpretation der QM, Goethe-Universität Frankfurt am Main. Daniel Guterding. 26. Mai Die Kopenhagener Deutung der

Quantenmechanik. Seminar Interpretation der QM, Goethe-Universität Frankfurt am Main. Daniel Guterding. 26. Mai Die Kopenhagener Deutung der Seminar Interpretation der QM, Goethe-Universität Frankfurt am Main Daniel Guterding 26. Mai 2011 Väter der Interpretation Niels Bohr ( 1885 1962) Werner Heisenberg ( 1901 1976) Entstehungsgeschichte QM

Mehr

Theoretische Grundlagen der Informatik

Theoretische Grundlagen der Informatik Theoretische Grundlagen der Informatik 0 KIT 17.05.2010 Universität des Dorothea Landes Baden-Württemberg Wagner - Theoretische und Grundlagen der Informatik nationales Forschungszentrum Vorlesung in am

Mehr

Was können wir wissen?

Was können wir wissen? Was können wir wissen? Band 2 Die Erkenntnis der Natur Beiträge zur modernen Naturphilosophie Prof. Dr. rer. nat. Dr. phil. Gerhard Vollmer Zentrum für Philosophie und Grundlagen der Wissenschaft der Justus-Liebig-Universität

Mehr

Bernstein. Elektronen sind die wohl bekanntesten Elementarteilchen.

Bernstein. Elektronen sind die wohl bekanntesten Elementarteilchen. Bernstein Elektronen sind die wohl bekanntesten Elementarteilchen. Der Name kommt vom griechischen elektron und bedeutet Bernstein. Bernstein ist eine goldgelbe organische Substanz aus dem fossilen Harz

Mehr

Wissenschaft und Spiritualität

Wissenschaft und Spiritualität Wissenschaft und Spiritualität Andreas Neyer andreas.neyer@tu-dortmund.de Übersicht 1. Grundsätzliches zum Verhältnis von Wissenschaft und Spiritualität 2. Die Quantenphysik als Brücke zwischen der Welt

Mehr

Moderne Physik. von Paul A.Tipler und Ralph A. Liewellyn

Moderne Physik. von Paul A.Tipler und Ralph A. Liewellyn Moderne Physik von Paul A.Tipler und Ralph A. Liewellyn Aus dem Englischen von Dr. Anna Schleitzer Bearbeitet von Prof. Dr. Gerd Czycholl Prof. Dr. Cornelius Noack Prof. Dr. Udo Strohbusch 2., verbesserte

Mehr

Vortrag über QUANTENCOMPUTER. gehalten von Marcus HARRINGER, Gregor KÖNIG, Michael POBER, Klaus WERDENICH

Vortrag über QUANTENCOMPUTER. gehalten von Marcus HARRINGER, Gregor KÖNIG, Michael POBER, Klaus WERDENICH Vortrag über QUANTENCOMPUTER gehalten von Marcus HARRINGER, Gregor KÖNIG, Michael POBER, Klaus WERDENICH 24.01.2002 Einleitung massive Parallelrechner und absolut sichere Kodierungssyteme Erweiterung der

Mehr

Bellsche Ungleichungen Seminar zur Theorie der Teilchen und Felder. Seminarvortrag von Norina Richter Münster,

Bellsche Ungleichungen Seminar zur Theorie der Teilchen und Felder. Seminarvortrag von Norina Richter Münster, Bellsche Ungleichungen Seminar zur Theorie der Teilchen und Felder Seminarvortrag von Norina Richter Münster, 04.06.006 1 1 Einleitung Als 1934 das EPR-Paradoxon von Einstein, Podolsky und Rosen vorgestellt

Mehr

Brückenkurs Mathematik

Brückenkurs Mathematik Beweise und Beweisstrategien andreas.kucher@uni-graz.at Institute for Mathematics and Scientific Computing Karl-Franzens-Universität Graz Graz, September 5, 2015 Hinweis zu den Folien Diese Folien sind

Mehr

1. Methoden der Hirnforschung 2. Mechanistische Erklärung 3. Neuronale Mechanismen 4. Erklärung des Bewusstseins?

1. Methoden der Hirnforschung 2. Mechanistische Erklärung 3. Neuronale Mechanismen 4. Erklärung des Bewusstseins? 1. Methoden der Hirnforschung 2. Mechanistische Erklärung 3. Neuronale Mechanismen 4. Erklärung des Bewusstseins? Brigitte Falkenburg 1 1. Methoden der Hirnforschung 2 top-down down/analytisch: Atomistisch

Mehr

1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie

1 Einführung. 2 Typ-0- und Typ-1-Sprachen. 3 Berechnungsmodelle. 4 Unentscheidbarkeit. 5 Unentscheidbare Probleme. 6 Komplexitätstheorie 1 Einführung 2 Typ-0- und Typ-1-Sprachen 3 Berechnungsmodelle 4 Unentscheidbarkeit 5 Unentscheidbare Probleme 6 Komplexitätstheorie 139 Unentscheidbarkeit Überblick Zunächst einmal definieren wir formal

Mehr

Inhalt. VORWORT aus dem Osten Dr. Shiuji Inomata 13. VORWORT aus dem Westen Gunnar Sandberg 17 EINLEITUNG 19

Inhalt. VORWORT aus dem Osten Dr. Shiuji Inomata 13. VORWORT aus dem Westen Gunnar Sandberg 17 EINLEITUNG 19 VORWORT aus dem Osten Dr. Shiuji Inomata 13 VORWORT aus dem Westen Gunnar Sandberg 17 EINLEITUNG 19 TEIL I Der Tanz des Zauberers Das Vakuum und die Feinstofflichkeit, das Energieparadigma und das Leben

Mehr

Wissen, Sprache und Wirklichkeit

Wissen, Sprache und Wirklichkeit Ernst von Glasersfeld Wissen, Sprache und Wirklichkeit Arbeiten zum radikalen Konstruktivismus Autorisierte deutsche Fassung von Wolfram K. Köck V Friedr.Vieweg& Sohn Braunschweig/Wiesbaden . V Quellenverzeichnis

Mehr

PSYCHOLOGIE DES BEWUSSTSEINS QUANTENPHYSIK BEWUSSTSEIN. Weltprozess: Weg zu mehr Bewusstsein

PSYCHOLOGIE DES BEWUSSTSEINS QUANTENPHYSIK BEWUSSTSEIN. Weltprozess: Weg zu mehr Bewusstsein QUANTENPHYSIK BEWUSSTSEIN Weltprozess: Weg zu mehr Bewusstsein ROLAND CHRISTIAN MANDL QUANTEN PHYSIK BEWUSSTSEIN Wenn die Quantenphysik recht hat, ist die Welt verrückt (Albert Einstein) QUANTENPHYSIK

Mehr

Stringtheorie: Auf der Suche nach der Weltformel

Stringtheorie: Auf der Suche nach der Weltformel Stringtheorie: Auf der Suche nach der Weltformel Jan Louis Universität Hamburg Sylt, Juli 2005 2 Physik des 20. Jahrhunderts Quantentheorie (QT) Planck, Bohr, Heisenberg,... Physik von kleinen Skalen (Mikrokosmos)

Mehr

Quantenteleportation

Quantenteleportation Quantenteleportation Tim Robert Würfel Fakultät für Physik Universität Bielefeld Physikalisches Proseminar 2013 1 von 34 Würfel, Tim Robert Quantenteleportation Gliederung Motivation 1 Motivation 2 Physikalische

Mehr

Die Grenzen der KI: Können Maschinen denken?

Die Grenzen der KI: Können Maschinen denken? Die Grenzen der KI: Können Maschinen denken? Eine Argumentation von Searle (1986, 1990) und Churchland und Churchland (1990) Proseminar Denkmaschinen Sommersemester 2005 Vorgestellt von Matthias Bonnesen

Mehr

Über das Beweisen. Stefan Geschke. 19. Mai 2010

Über das Beweisen. Stefan Geschke. 19. Mai 2010 19. Mai 2010 Mathematik und Physik seit der Antike Wir vergleichen kurz die Geschichte von Mathematik und Physik seit der Antike. Die Physik steht dabei stellvertretend für andere Naturwissenschaften.

Mehr

Jochen Ziegenbalg Oliver Ziegenbalg Bemd Ziegenbalg. Algorithmen. von Hammurapi bis Gödel. 2., verbesserte Auflage Verlag g;> Harri Deutsch

Jochen Ziegenbalg Oliver Ziegenbalg Bemd Ziegenbalg. Algorithmen. von Hammurapi bis Gödel. 2., verbesserte Auflage Verlag g;> Harri Deutsch Jochen Ziegenbalg Oliver Ziegenbalg Bemd Ziegenbalg Algorithmen von Hammurapi bis Gödel 2., verbesserte Auflage 2007 Verlag g;> Harri Deutsch Inhalt Einleitung 1 Vorbemerkungen: Stellenwert des Themas,

Mehr

Roulette - Glück & Geschick

Roulette - Glück & Geschick Roulette - Glück & Geschick "Zufall und Regel sind die Elemente des Spiels. Einst von Elementarteilchen, Atomen und Molekülen begonnen, wird es nun von unseren Gehirnzellen fortgefohrt. Es ist nicht der

Mehr

Quantentheorie. Über Rätsel, die uns die Natur aufgibt. Franz Embacher.

Quantentheorie. Über Rätsel, die uns die Natur aufgibt. Franz Embacher. Quantentheorie Über Rätsel, die uns die Natur aufgibt Franz Embacher http://homepage.univie.ac.at/franz.embacher/ franz.embacher@univie.ac.at Fakultät für Physik Universität Wien VHS Science, Planetarium

Mehr

Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung. Erste Lieferung

Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung. Erste Lieferung Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung Erste Lieferung Zum Thema: Einführung: Verbreitete Ansichten, die für die Theologie relevant

Mehr

Der erste Gödelsche Unvollständigkeitssatz

Der erste Gödelsche Unvollständigkeitssatz Der erste Gödelsche Unvollständigkeitssatz Referent: Tobias Gleißner 29. Januar 2013 (syntaktischer Aufbau eines arithmetischen Terms) - Jede Zahl ist ein Term - Jede Variable ist ein Term - Sind und Terme,

Mehr

Das Quark und der Jaguar

Das Quark und der Jaguar Murray Gell-Mann Das Quark und der Jaguar Vom Einfachen zum Komplexen - die Suche nach einer neuen Erklärung der Welt Aus dem Amerikanischen von Inge Leipold und Thorsten Schmidt Mit 23 Abbildungen v>

Mehr

Der begriffliche Aufbau der theoretischen Physik

Der begriffliche Aufbau der theoretischen Physik Carl Friedrich von Weizsäcker Der begriffliche Aufbau der theoretischen Physik Vorlesung gehalten in Göttingen im Sommer 1948 Herausgegeben von Holger Lyre S. Hirzel Verlag Stuttgart Leipzig VORWORT von

Mehr

llya Prigogine VOM SEIN ZUM WERDEN Zeit und Komplexität in den Naturwissenschaften Überarbeitete und erweiterte Neuausgabe

llya Prigogine VOM SEIN ZUM WERDEN Zeit und Komplexität in den Naturwissenschaften Überarbeitete und erweiterte Neuausgabe llya Prigogine VOM SEIN ZUM WERDEN Zeit und Komplexität in den Naturwissenschaften Überarbeitete und erweiterte Neuausgabe Aus dem Englischen von Friedrich Griese Piper München Zürich Inhaltsverzeichnis

Mehr

Seminararbeit zum Thema Was ist ein Algorithmus?

Seminararbeit zum Thema Was ist ein Algorithmus? Seminararbeit zum Thema Was ist ein Algorithmus? Martin Griesser 05. Juni 2013 Inhaltsverzeichnis 1 Vorwort 2 2 Wortherkunft 2 3 Definition 2 3.1 Algorithmus und Berechenbarkeit.................. 2 3.2

Mehr

Funktionale Programmierung ALP I. λ Kalkül WS 2012/2013. Prof. Dr. Margarita Esponda. Prof. Dr. Margarita Esponda

Funktionale Programmierung ALP I. λ Kalkül WS 2012/2013. Prof. Dr. Margarita Esponda. Prof. Dr. Margarita Esponda ALP I λ Kalkül WS 2012/2013 Berechenbarkeit - inspiriert durch Hilbert's Frage - im Jahr 1900, Paris - Internationaler Mathematikerkongress Gibt es ein System von Axiomen, aus denen alle Gesetze der Mathematik

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik Grundlagen der Theoretischen Informatik Turingmaschinen und rekursiv aufzählbare Sprachen (V) 7.07.2016 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Übersicht 1. Motivation 2. Terminologie

Mehr

Stephen Hawking und Gott

Stephen Hawking und Gott 1 Stephen Hawking und Gott Professor John C. Lennox Oxford In seinem neuesten Buch, Der große Entwurf Eine neue Erklärung des Universums stellt der berühmteste aller Physiker, Stephen Hawking (zusammen

Mehr

annehmen müssen, um dem Bild des Universums, das uns von kosmologischen Beobachtungen nahegelegt wird, einen Sinn abzugewinnen. Das ist es, was ich

annehmen müssen, um dem Bild des Universums, das uns von kosmologischen Beobachtungen nahegelegt wird, einen Sinn abzugewinnen. Das ist es, was ich annehmen müssen, um dem Bild des Universums, das uns von kosmologischen Beobachtungen nahegelegt wird, einen Sinn abzugewinnen. Das ist es, was ich unter der Wiedergeburt der Zeit verstehe. Ein Großteil

Mehr

WAHRSCHEINLICHKEITSRECHNUNG

WAHRSCHEINLICHKEITSRECHNUNG WAHRSCHEINLICHKEITSRECHNUNG Mathematischer Teil In der Wahrscheinlichkeitsrechnung haben wir es mit Zufallsexperimenten zu tun, d.h. Ausgang nicht vorhersagbar. Grundbegriffe Zufallsexperiment und Ergebnisse

Mehr

Das Einstein-Podolsky-Rosen-Paradoxon

Das Einstein-Podolsky-Rosen-Paradoxon Das Einstein-Podolsky-Rosen-Paradoxon Felix Huerkamp 15. Juli 2006 1 Einleitung Die Quantenmechanik ist eine der besten bestätigten Theorien in der Physik. Allerdings zeigen sich in ihrem Formalismus auch

Mehr

Antje Jackelen. Zeit und Ewigkeit. Die Frage der Zeit in Kirche, Naturwissenschaft und Theologie. Neukirchener

Antje Jackelen. Zeit und Ewigkeit. Die Frage der Zeit in Kirche, Naturwissenschaft und Theologie. Neukirchener Antje Jackelen Zeit und Ewigkeit Die Frage der Zeit in Kirche, Naturwissenschaft und Theologie Neukirchener Inhalt Vorwort ix Einleitung und hermeneutische Ortsbestimmung 1 1 Kein Zeitverständnis ohne

Mehr

Wege der Wissenschaft

Wege der Wissenschaft Alan F. Chalmers Wege der Wissenschaft Einführung in die Wissenschaftstheorie Herausgegeben und übersetzt von Niels Bergemann und Christine Altstötter-Gleich Sechste, verbesserte Auflage 4y Springer Inhalt

Mehr

Die seltsame Welt der Quanten

Die seltsame Welt der Quanten Saturday Morning Physics Die seltsame Welt der Quanten Wie spielt Gott sein Würfelspiel? 12. 11. 2005 Gernot Alber und Gerhard Birkl Institut für Angewandte Physik Technische Universität Darmstadt gernot.alber@physik.tu-darmstadt.de

Mehr

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 25.

Formale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 25. Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 25. Januar 2017 Gödels Unvollständigkeitssatz Unvollständigkeit von Axiomensystemen:

Mehr

Einführung 1. 1 Erfindung der Zivilisation 1. 2 Re-Inventing die Schlüsselkonzeption des Studiums und Selbststudiums der TRIZ 3

Einführung 1. 1 Erfindung der Zivilisation 1. 2 Re-Inventing die Schlüsselkonzeption des Studiums und Selbststudiums der TRIZ 3 Einführung 1 1 Erfindung der Zivilisation 1 2 Re-Inventing die Schlüsselkonzeption des Studiums und Selbststudiums der TRIZ 3 Methoden des Erfindens 16 3 Erfindung 16 3.1 Entdeckung und Erfindung 3.2 Niveaus

Mehr

Einführung in die Quantentheorie der Atome und Photonen

Einführung in die Quantentheorie der Atome und Photonen Einführung in die Quantentheorie der Atome und Photonen 23.04.2005 Jörg Evers Max-Planck-Institut für Kernphysik, Heidelberg Quantenmechanik Was ist das eigentlich? Physikalische Theorie Hauptsächlich

Mehr

Martin Rees Vor dem Anfang Eine Geschichte des Universums

Martin Rees Vor dem Anfang Eine Geschichte des Universums Martin Rees Vor dem Anfang Eine Geschichte des Universums Mit einem Geleitwort von Stephen Hawking Aus dem Englischen von Anita Ehlers S.Fischer Geleitwort 11 Einleitung 13 Die kosmische Perspektive 13;

Mehr

Logik in der Informatik

Logik in der Informatik Goethe-Universität Frankfurt am Main Institut für Informatik Theorie komplexer Systeme Logik in der Informatik Skript zur Vorlesung Prof. Dr. Nicole Schweikardt Version vom 25. Oktober 2013 2 Inhaltsverzeichnis

Mehr

Dekohärenz vs. Willensfreiheit

Dekohärenz vs. Willensfreiheit Ludwig-Maximilians-Universität München Sommersemester 2008 Katholisch-Theologische Fakultät Hausarbeit (Ausformuliertes Referat) Institut für Fundamentaltheologie Verfasser: Johannes Grössl Hauptseminar:

Mehr

Formale Systeme. Übung: Reinhard Hemmerling Büsgenweg 4, Raum 89 (1. Stock) rhemmer<at>gwdg.de

Formale Systeme. Übung: Reinhard Hemmerling Büsgenweg 4, Raum 89 (1. Stock) rhemmer<at>gwdg.de Formale Systeme Vorlesung: Winfried Kurth Lehrstuhl Computergrafik und ökologische Informatik Büsgenweg 4, Raum 90 (1. Stock) 39-9715 wkinformatik.uni-goettingen.de http://www.uni-goettingen.de/de/72781.html

Mehr

Kapitel 3: Berechnungstheorie Algorithmisch unlösbare Probleme. Einordnung

Kapitel 3: Berechnungstheorie Algorithmisch unlösbare Probleme. Einordnung Einordnung es gibt algorithmische Probleme, die algorithmisch unlösbar sind (/ * d.h. unter der Annahme, das die Churchsche These richtig ist, kann es nachweislich kein Computerprogramm geben, welches

Mehr

Kerncurriculum gymnasiale Oberstufe Mathematik. Mathematisch argumentieren (K1)

Kerncurriculum gymnasiale Oberstufe Mathematik. Mathematisch argumentieren (K1) Kerncurriculum gymnasiale Oberstufe Mathematik Matrix Kompetenzanbahnung Kompetenzbereiche, Bildungsstandards und Themenfelder Durch die Auseinandersetzung mit den inhaltlichen Aspekten der Themenfelder

Mehr

Vom Doppelspalt zum Quantencomputer

Vom Doppelspalt zum Quantencomputer Vom Doppelspalt zum Quantencomputer Aktuelle Physik in der Schule Herbert Rubin Aufbau der Lerneinheit Vorstellungen von Licht Huygens Newton Young 1704 1678 1804 Linienspektren Äusserer Photoeffekt Hallwachs-Effekt

Mehr

Automaten, Formale Sprachen und Berechenbarkeit I Wichtige Begriffe

Automaten, Formale Sprachen und Berechenbarkeit I Wichtige Begriffe Automaten, Formale Sprachen und Berechenbarkeit I Wichtige Begriffe Eine partielle Funktion ist eine Relation f A B; für jedes x dom(f) gibt es ein y range(f) mit x f y; wir schreiben statt f A B und x

Mehr

EPR, Verschränkung und die Bell schen Ungleichungen

EPR, Verschränkung und die Bell schen Ungleichungen Quantenphysik EPR, Verschränkung und die Bell schen Ungleichungen Einstein-Podolski-Rosen 1935 Einstein-Podolski-Rosen 1935 Einstein-Podolski-Rosen 1935 If, without in any way disturbing a system, we can

Mehr

Wortschatz 200+ Nomen

Wortschatz 200+ Nomen Wortschatz 200+ Nomen Diese Liste enthält 200+ themenunabhängige Nomen/Substantive, die wichtig sind für o die Beschreibung von Statistiken o die Interpretation von Texten o Diskussionen über kontroverse

Mehr

6.4 Entscheidbarkeit. nein sein müssen, ist klar. THEO 6.4 Entscheidbarkeit 205/307 c Ernst W. Mayr

6.4 Entscheidbarkeit. nein sein müssen, ist klar. THEO 6.4 Entscheidbarkeit 205/307 c Ernst W. Mayr 6.4 Entscheidbarkeit Wortproblem Leerheit Äquivalenz Schnittproblem Typ 3 ja ja ja ja DCFL ja ja ja nein (*) Typ 2 ja ja nein (*) nein Typ 1 ja nein (*) nein nein Typ 0 nein (*) nein nein nein (*) Diese

Mehr

Informatik I: Einführung in die Programmierung

Informatik I: Einführung in die Programmierung Informatik I: Einführung in die Programmierung 30. Ausblick Albert-Ludwigs-Universität Freiburg Bernhard Nebel 13.02.2016 1 13.02.2016 B. Nebel Info I 3 / 17 Programmieren jedenfalls ein bisschen Python-Programme

Mehr

Einführung in die Informatik Turing Machines

Einführung in die Informatik Turing Machines Einführung in die Informatik Turing Machines Eine abstrakte Maschine zur Präzisierung des Algorithmenbegriffs Wolfram Burgard 1 Motivation und Einleitung Bisher haben wir verschiedene Programmiersprachen

Mehr