Schatten des Geistes
|
|
- Paul Schräder
- vor 6 Jahren
- Abrufe
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 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
MehrJü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
MehrINHALTS-Ü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
MehrMartin 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)
MehrBerechenbarkeit 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
MehrQuantencomputer: 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
MehrJohn 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,
MehrDer 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
MehrWie 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
MehrMATHEMATIQ. 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
MehrWir 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
MehrTheorie 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
MehrNichtlokalitä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)
MehrAngewandte 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
Mehr1936 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
MehrTheoretische 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
MehrDie 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
MehrSeminar 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,
MehrBellsche 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
MehrUnentscheidbarkeitssä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
MehrGrundlagen 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
MehrDas 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.
MehrTheoretische 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
MehrInhaltsverzeichnis. 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
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
MehrMotivation 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
MehrPanorama 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:
MehrMATHEMATIK. 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
MehrWas 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
MehrDie 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
MehrHinweise 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
MehrNichts 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
MehrBellsche 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
MehrVerschrä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
MehrRelativitä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
MehrHilberts 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
MehrBellsche 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
MehrWestfä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 Hagen Knaf Prof. Dr. H. Knaf, Mathematisches Beweisen 1 Struktur mathematischer Texte Ein mathematischer Text enthält neben dem fortlaufenden
MehrGehirn, 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
MehrProseminar 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
MehrGierhardt. 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
MehrMotivation 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)
MehrErnst 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
MehrString 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
MehrSchrö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,
MehrErklä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
MehrDie 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
MehrQuantenmechanik. 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
MehrTheoretische 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
MehrWas 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
MehrBernstein. 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
MehrWissenschaft 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
MehrModerne 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
MehrVortrag ü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
MehrBellsche 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
MehrBrü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
Mehr1. 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
Mehr1 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
MehrInhalt. 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
MehrWissen, 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
MehrPSYCHOLOGIE 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
MehrStringtheorie: 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)
MehrQuantenteleportation
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
MehrDie 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
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.
MehrJochen 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,
MehrRoulette - 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
MehrQuantentheorie. Ü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
MehrOrientierungsfragen 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
MehrDer 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,
MehrDas 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>
MehrDer 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
Mehrllya 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
MehrSeminararbeit 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
MehrFunktionale 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
MehrGrundlagen 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
MehrStephen 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
Mehrannehmen 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
MehrWAHRSCHEINLICHKEITSRECHNUNG
WAHRSCHEINLICHKEITSRECHNUNG Mathematischer Teil In der Wahrscheinlichkeitsrechnung haben wir es mit Zufallsexperimenten zu tun, d.h. Ausgang nicht vorhersagbar. Grundbegriffe Zufallsexperiment und Ergebnisse
MehrDas 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
MehrAntje 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
MehrWege 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
MehrDie 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
MehrFormale 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:
MehrEinfü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
MehrEinfü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
MehrMartin 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;
MehrLogik 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
MehrDekohä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:
MehrFormale 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
MehrKapitel 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
MehrKerncurriculum 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
MehrVom 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
MehrAutomaten, 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
MehrEPR, 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
MehrWortschatz 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
Mehr6.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
MehrInformatik 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
MehrEinfü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