Suppose you are God… …how would you do it? Karl Svozil /ITP/TUVienna This source at

Slides:



Advertisements
Similar presentations
The Matrix as Metaphysics
Advertisements

The Social Scientific Method An Introduction to Social Science Research Methodology.
Being&Knowledge along any post- metaphysical context: 1.Being & Probability.
Philosophy 1010 Class 7/17/13 Title:Introduction to Philosophy Instructor:Paul Dickey Tonight: Finish.
Limitations. Limitations of Computation Hardware precision Hardware precision Software - we’re human Software - we’re human Problems Problems –complex.
STRUCTURAL PROOF THEORY: Uncovering capacities of the mathematical mind Wilfried Sieg Carnegie Mellon.
The Enlightenment in Economic Science For the 100 th Birthday of Ronald Coase December 29, 2010 Chenggang Xu University of Hong Kong.
From Kant To Turing He Sun Max Planck Institute for Informatics.
Logic and Set Theory.
Context translation & quantum information via state partitions quant-ph/ Karl Svozil ITP/TUW
Quantum Interfaces Karl Svozil Vienna University of Technology
FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
Quantum information: the new frontier Karl Svozil TU Wien/Theoretical Physics
Survey of COMP 006 Time to Remember …. Turing Machine definition (why TM?) Turmites Conway’s Game of Life Program Turing machines in class –Does input.
Slide 1 of No. Insert Unit Name Here Lecture L: Computability Unit L1: What is Computation?
Gödel’s Incompleteness Theorem and the Birth of the Computer Christos H. Papadimitriou UC Berkeley.
Lecture 24: Gödel’s Proof CS150: Computer Science
What More Than Turing- Universality Do You Want? Scott Aaronson (MIT) Papers and slides at +?
Self-reproducing programs. And Introduction to logic. COS 116: 3/6/2008 Sanjeev Arora.
Properties of Random Numbers
Computability Thank you for staying close to me!! Learning and thinking More algorithms... computability.
2012: J Paul GibsonTSP: Mathematical FoundationsMAT7003/L5- CountingAndEnumeration.1 MAT 7003 : Mathematical Foundations (for Software Engineering) J Paul.
Quantum Computing MAS 725 Hartmut Klauck NTU
Definitions of Reality (ref . Wiki Discussions)
Unit 1, Lesson 2 Introduction to Digital Video & Digital Media AOIT Digital Video and Digital Media.
Self-reproducing programs. And Introduction to logic. COS 116, Spring 2012 Adam Finkelstein.
Introduction to the Theory of Computation
CASA June 2006 BRATISLAVA Mária Bohdalová Faculty of Management, Comenius University Bratislava Oľga Nánásiová Faculty of Civil.
Operating Systems AOIT Principles of Information Technology.
David Evans CS200: Computer Science University of Virginia Computer Science Class 24: Gödel’s Theorem.
Logic in Computer Science - Overview Sep 1, 2011 POSTECH 박성우.
Module 3Special Relativity1 Module 3 Special Relativity We said in the last module that Scenario 3 is our choice. If so, our first task is to find new.
Chapter 2: Reality Modern Metaphysics: Descartes
1 Special Theory of Relativity. 2 Introduction In 1905, Albert Einstein changed our perception of the world forever. He published the paper "On the Electrodynamics.
Modern Physics (PC300) Class #2 Review Einstein and Newton The Ether question How to draw Events on a Spacetime diagram.
Computing and Communications and Biology Molecular Communication; Biological Communications Technology Workshop Arlington, VA 20 February 2008 Jeannette.
ISBN Chapter 3 Describing Semantics -Attribute Grammars -Dynamic Semantics.
Cellular Automata. John von Neumann 1903 – 1957 “a Hungarian-American mathematician and polymath who made major contributions to a vast number of fields,
G. Cowan Lectures on Statistical Data Analysis Lecture 1 page 1 Lectures on Statistical Data Analysis London Postgraduate Lectures on Particle Physics;
Organizational Structure Coordination and Leadership Group (CLG) AD Council BIOCISEEHRENGGEOMPSSBE OIIA Charge: Coordinating NSF’s cyberinfrastructure.
Technology History and the Development of Computers AOIT Principles of Information Technology.
Great Theoretical Ideas in Computer Science.
Great Theoretical Ideas in Computer Science.
Definitions of Reality (ref. Wiki Discussions). Reality Two Ontologic Approaches What exists: REALISM, independent of the mind What appears: PHENOMENOLOGY,
A New Kind of Science by Stephen Wolfram Principle of Computational Equivalence - Ting Yan,
Thinking in Methodologies Class Notes. Gödel’s Theorem.
Public Access: Update on Progress National Science Foundation April 2, 2014.
Cellular Automata Introduction  Cellular Automata originally devised in the late 1940s by Stan Ulam (a mathematician) and John von Neumann.  Originally.
CSE 311 Foundations of Computing I Lecture 26 Cardinality, Countability & Computability Autumn 2011 CSE 3111.
Chapter 4 Computation Chapter 4: Computation.
Utrecht University Gerard ’t Hooft and Isaac Newton Institute, December 15, 2004.
CMPT 308 — Computability and Complexity Fall 2004 Instructor: Andrei Bulatov, TA: Ramsay Dyer, Learning.
CSE 311: Foundations of Computing Fall 2013 Lecture 26: Pattern matching, cardinality.
Alonzo Church: Mathematician. Philosopher. Computer Scientist? Who is Alonzo Church? Alonzo Church was a man who was very important to the computer science.
CSE 311: Foundations of Computing Fall 2014 Lecture 27: Cardinality.
The awesome power of the notion of Computational Universality suggests a complementary thesis It from Bit: Physics is Informational Dynamics should be.
Introduction to Automata Theory
Localization by TDOA ©Thomas Haenselmann – Department of Computer Science IV – University of Mannheim Lecture on Sensor Networks Historical Development.
Payam Seraji IPM-Isfahan branch, Ordibehesht 1396
Discrete Mathematics for Computer Science
Universality of Computation
Computation: The Mathematical Story
Great Theoretical Ideas in Computer Science
Cosmology I Definition of Cosmology: The scientific study of the universe as a whole; how long ago it came into being, the nature of that beginning, the.
Threshold for Life Prof. Isaac Chuang MIT Media Laboratory.
Lecture 22: Gödel’s Theorem CS200: Computer Science
Week 5: INTERNAL CRISIS Armahedi Mahzar ICAS Jacarta 2010
On Kripke’s Alleged Proof of Church-Turing Thesis
The broad spectrum of Mathematics
Survey of COMP 006 Time to Remember ….
Presentation transcript:

Suppose you are God… …how would you do it? Karl Svozil /ITP/TUVienna This source at Copyright (c) 2003 Karl Permission is granted to copy, distribute and/or modify these documents under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation Free Documentation License,

Some broader context…awakening Are we at the center of the Universe? — No, but we seem to be quite conveniently located within our galaxy. Are our bodies made-up of solid stuff? — No, our bodies are „almost“ empty. Things only appear to be solid. Were we created in a different way than other species? — No, we evolved and spread just like locusts & everyone else around. Are we up to further disillusionments? Are we „fleshware,“ units inside a (what to us appears gigantic) simulation/computation?

Pythagoras (6th cent. B.C.) … considered numbers as the essence and principle of all things, and attributed to them a real and distinct existence; so that, in his view, they were the elements out of which the universe was constructed. Thomas Bulfinch (1796–1867). Age of Fable: Vols. I & II: Stories of Gods and Heroes

Plato (c c. 347 B.C.) „God geometrizes“ [Plutarch (Convivialium disputationum, liber 8,2): „Plato said God geometrizes continually“]

K. F. Gauss ( ) …„o theos arithmetizei“ = “God computes“

D. Hilbert ( ) Twenty-three problems of 1900: #2: The compatibility of the arithmetical axioms #6: Mathematical treatment of the axioms of physics #10: Determination of the solvability of a diophantine equation

Gödel ( ) & Turing ( ) Formalization of Mathematics by coding of axiomatic systems, which are representable as (universal) computer programs Precise definition of „Universal Computation“ (Turing machine is modeled after pencil&paper operations) wich is „robust“ „true > provable“

E. Wigner ( ) „The unreasonable effectiveness of mathematics in the natural sciences“ Richard Courant Lecture delivered at New York University, May 11, 1959 and published in Communications on Pure and Applied Mathematics 13, 1 (1960).

Von Neumann ( ) „Theory of Self- Reproducing [[Universal Cellular]] Automata“ (1966)

E. F. Moore „Gedanken-Experiments on Sequential Machines“ (1956) Automaton Uncertainty Principle Two modes of measurement Automata Studies, ed. by C.E.Shannon and J.McCarthy, Princeton Univ. Press, Princeton, pp

K. Zuse ( ) „Rechnender Raum“ = „Calculating Space“ Konrad Zuse, Rechnender Raum, Friedrich Vieweg & Sohn, Braunschweig, English translation: Calculating Space, MIT Technical Translation AZT GEMIT, MIT (Proj. MAC), Cambridge, Mass , Feb

T. Toffoli & E. Fredkin Reversible Computation Role of the Observer in Uniform Systems Digital Mechanics „The Universe is a cellular automaton “ Digital Philosophy

S. Wolfram (et al ;) … Is there any physics left to be done after ANKOS (=A New Kind of Science)?

The (humble?) rest … Not too many researchers pursuing Digital Mechanics: J. Schmidhuber, N. Margolus, K.Svozil (not very lately), Jim Crutchfield…., among others…

Some of my results… Automaton logic Intrinsic =/= extrinsic Space-time frame generation by intrinsic observers K. Svozil, ``Randomness and Undecidability in Physics'‚ (World Scientific, Singapore, 1993), xvi+292 p.

Space-time of intrinsic CA observers CA rules of a light clock (below), and CA light clock evolution (right) „universality“ and „robustness“ makes this Model independent

Let‘s face it: Digital Physics is utterly non mainstream & off-topic! Today‘s physics is continuum physics; even quantum theory just discretizes the number of quanta within a mode. Modes are still continuous! What is it good for? Is it Ideology (according to Popper, but who cares about Popper anyway)? What about „non-locality“ and „contextuality“? Not good for your career as a physicist!

Some mind-boggling speculations Automaton Logic very similar to Quantum Logic Relativity-Type transformation laws of frames constructed by radar coordinates (Alexandrov‘s theorem,…) Intrinsic-Extrinsic setup (Systems Science) Interfaces & Dualism & the Eccles Telegraph

… continued… „Atomism“ is very suitable for digital simulation (identical parts, recyclable,…) Physical undecidability by uncomputability (Casti‘s Red Herring “Zoo hypothesis” (cf. F.Sagan’s “Contact” with aliens) Maybe we are simulations; e.g., for marketing purposes Maybe there is just one consistent Universe? Maybe free will is an illusion?

Not much empirical evidence … (indeed, is there any?) How could we ever find out? Some claims, none convincing. Ultimate physical justification is experiment. Competing with “traditional” continuum physics is hard; e.g., take this: anomalous magnetic Moment of the Muon a(theory) = (7) × 10^-10 a(experi) = (7)(5) × 10^-10 or this: Neutron double slit experiment

… but it is fun & inspiring! Daniel F. Galouye, Simulacron 3 (1964); stimulated R. W. Fassbender’s “Welt am Draht” & “Thirteenth Floor” H. Putnam, “Reason, Truth and History” (“Brain in a vat”) “Total Recall” “Matrix”, of course...

Thank you for listening!