Alan Turing s Legacy: Info-Computational Philosophy of Nature

Size: px
Start display at page:

Download "Alan Turing s Legacy: Info-Computational Philosophy of Nature"

Transcription

1 TURING CENTENARY CONFERENCECiE How the World Computes University of Cambridge 18 June - 23 June, Alan Turing s Legacy: Info-Computational Philosophy of Nature Gordana Dodig Crnkovic School of Innovation, Design and Engineering, Mälardalen University, Sweden

2 Hd Hodges: Turing as NaturalPhilosopherh Andrew Hodges describes Turing as a natural philosopher: He thought and lived a generation ahead of his time, and yet the features of his thought that burst the boundaries of the 1940s are better described by the antique words: natural philosophy. (Hodges, 1997) Turing s natural philosophy differs from Galileo s view that the book of nature is written in the language of mathematics (The Assayer, 1623). Computation was not just a language of nature; it was the way nature behaved. Computers not only calculate numbers, but more importantly, can produce real time behaviors in physical world (control systems, robots, simulations). Self Organization of Life - Pattern Formation In Nature.- Alan Turing

3 Turing as Natural Philosopher: Mechanical Intelligence Turing studied a variety of natural phenomena and proposed their computational modeling. He made a pioneering contribution in the elucidation of connections between computation and intelligence. He was convinced that intelligent machines can be constructed and that machines can be made able to think.

4 Turing as Natural Philosopher Chemistry and Biology Sara Turing s biography of her son witness his interest for chemistry, biology and physics. Turing s work on morphogenesis provides evidence for natural philosophers h approach. His 1952 paper on morphogenesis proposed a chemical model as the basis of the development of biological patterns such as the spots and stripes that appear on animal skin.

5 Turing's Reaction-Diffusion Model of Morphogenesis Patterns resulting from the sole interplay between reaction and diffusion are probably involved in certain stages of morphogenesis in biological systems, as initially proposed by Alan Turing. Selforganization phenomena of this type can only develop in nonlinear systems (i.e. involving positive and negative feedback loops) maintained far from equilibrium. Dulos, E., Boissonade, J., Perraud, J. J.Rudovics, B., Kepper, P. (1996) Chemical morphogenesis: Turing patterns in an experimental chemical system, Acta Biotheoretica, Volume: 44, Issue: 3, pp

6 Computing Nature Nature as a Network of Computational Processes In contemporary reconstruction of Turing's world view we can find that Turing was one of the first natural computationalists, who believed in computational nature, even in case of phenomena of human mind. Naturalist computationalism (Pancomputationalism) is a view that the universe is a huge computational machine or rather a network of computational processes which following fundamental physical laws compute (dynamically develop) its own next state from the current one. Natural computationalists: Konrad Zuse, Edward Fredkin, Stephen Wolfram, Gregory Chaitin, Seth Lloyd, Gerard 't Hooft, Charles Seife, David Deutsch, John Archibald Wheeler's ("It from bit ) and many others.

7 Computing Nature and Nature Inspired Computation ti Natural computation includes: Computation Inspired by nature: Evolutionary computation Neural networks Artificial immune systems Swarm intelligence In 1623, Galileo in his book The Assayer - Il Saggiatore, claimed that the language of nature's book is mathematics and that the way to understand nature is through mathematics. Generalizing mathematics to computation we may agree with Galileo the great book of nature is an e-book! Simulation and emulation of nature: Fractal geometry Artificial life Computing with natural materials: DNA computing Quantum computing Journals: Natural Computing and IEEE Transactions on Evolutionary Computation.

8 Computation The Computing Universe: Pancomputationalism Computation is generally defined as information processing. (See Burgin, M., Super-Recursive Algorithms, Springer Monographs in Computer Science, 2005) For different views see e.g. Computation and Cognitive Science 7 8 July 2008, King's College Cambridge

9 What Is Computation? How Does Nature Compute? Learning from Nature * It always bothers me that, according to the laws as we understand them today, it takes a computing machine an infinite number of logical operations to figure out what goes on in no matter how tiny a region of space, and no matter how tiny a region of time So I have often made the hypothesis that ultimately physics will not require a mathematical statement, that in the end the machinery will be revealed, and the laws will turn out to be simple, like the chequer er board with all its apparent complexities. Richard Feynman The Character of Physical Law * 2008 Midwest NKS Conference, Indiana University Bloomington, IN

10 Information as a Fabric of Reality INFORMATIONAL STRUCTURAL REALISM (Floridi, Sayre) argues that information is the fabric of reality: Reality consists of informational i structures organized on different levels l of abstraction/resolution. The same view is defended in the book: Ladyman J. and Ross D., with Spurrett D. and Collier J. (2007) Every Thing Must Go: Metaphysics Naturalized, Oxford UP This proto-information that is the fabric of reality gets complexly structured in living organisms able to make sense out of information in the world.

11 Structure and Process According to Informational structural Realism (Floridi, Sayre) information is the fabric of reality As we can observe, structures in the world constantly change. The knowledge of structures is half a story. The other half is the knowledge of processes information dynamics. (information processing-computation) Gordana Dodig-Crnkovic, Dynamics of Information as Natural Computation, Information 2011, 2(3), ; Selected Papers from FIS 2010 Beijing, 2011.

12 Computing Nature: Dual-Aspect Info-computational ti Metaphysics ONTOLOGY/ AGENCY/ INFORMATION COMPUTATION Gordana Dodig-Crnkovic, Investigations into Information Semantics and Ethics of Computing,, Mälardalen University Press, 2006

13 If Info-computational lmorphogenesis In an info-computational framework, information is a structure and computation is a process. Process of computation implements (represents) physical laws. It governs self-structuring of data (information). Through process of computation, structures change their forms. All of computation on some level of abstraction is morphological computation a form-changing/ formgenerating process. Butterfly morphogenesis Drawing Gabriel Kelemen

14 Info-computational Character of Morphological Computing INFORMATION + COMPUTATION MORPHOLOGY CONNECTIONS TO ROBOTICS (AI) AND MORPHOLOGICAL COMPUTING (Rolf Pfeifer)

15 Morphological Computing in Robotics In recent years, morphological computing emerged as a new idea in robotics, (Pfeifer 2011), (Pfeifer and Iida 2005), (Pfeifer and Gomez 2009) (Paul 2004). From the beginning, based on the Cartesian traditions, robotics treated separately the body as a machine and its control as a program. However, successively it became evident that embodiment itself is essential for cognition, intelligence and generation of behavior. In a most profound sense, embodiment is vital because cognition results from the interaction ti of brain, body, and environment. (Pfeifer 2011)

16 Morphological Computation: Connecting Body, Brain, and Environment soft robotics / self-assembly systems and molecular robotics/ self-assembly systems at all scales / embodied robotics / reservoir computing / physical reservoir computing/ real neural systems systems medicine /f functional architecture / organization / process management / computation based on spatio-temporal dynamics/ information theoretical approach to embodiment mechatronics / amorphous computing / molecular computing Tutorial on Embodiment: R Pfeifer

17 MESSAGE Morphological computing is information (re)structuring through computational processes which follow (implement) physical laws. Morphological computing is physical computing or natural computing in which physical objects perform computation. Symbol manipulation in this case is physical object manipulation.

18 References Dodig Crnkovic G, Info-computationalism and Morphological Computing of Informational Structure, Proceeding s of INBIOSA conference, University it of Stirling 2011, forthcoming by Springer Dodig Crnkovic, G. and Müller, V., A Dialogue Concerning Two World Systems: Info-Computational vs. Mechanistic; in Dodig Crnkovic G and Burgin, M., Eds.; World Scientific Publishing Co., Inc.: Singapore, 2010

Alan Turing s Legacy: Info-Computational Philosophy of Nature

Alan Turing s Legacy: Info-Computational Philosophy of Nature AISB/IACAP World Congress 2012 - Alan Turing 2012 University of Birmingham 2-6 July 2012 http://events.cs.bham.ac.uk/turing12/ Alan Turing s Legacy: Info-Computational Philosophy of Nature Gordana Dodig

More information

Unity of Science in the Info-Computationalist Framework

Unity of Science in the Info-Computationalist Framework 1 Unity of Science in the Info-Computationalist Framework 2nd European Congress of Philosophy of Science; Geneva, March 29-31 2007 Gordana Dodig-Crnkovic http://www.idt.mdh.se/personal/gdc/ Department

More information

information ISSN

information ISSN Information 2011, 2, 460-477; doi:10.3390/info2030460 OPEN ACCESS information ISSN 2078-2489 www.mdpi.com/journal/information Article Dynamics of Information as Natural Computation Gordana Dodig Crnkovic

More information

MAA509: Quantum Computing and Information Introduction

MAA509: Quantum Computing and Information Introduction MAA509: Quantum Computing and Information Introduction November 7, 2016 November 7, 2016 1 / 19 Why make computers? Computation by hand is difficult and not very stimulating. Why not make a machine do

More information

biologically-inspired computing lecture 5 Informatics luis rocha 2015 biologically Inspired computing INDIANA UNIVERSITY

biologically-inspired computing lecture 5 Informatics luis rocha 2015 biologically Inspired computing INDIANA UNIVERSITY lecture 5 -inspired Sections I485/H400 course outlook Assignments: 35% Students will complete 4/5 assignments based on algorithms presented in class Lab meets in I1 (West) 109 on Lab Wednesdays Lab 0 :

More information

Adamatzky, A. (2001). Computing in Nonlinear Media and Automata Collectives.

Adamatzky, A. (2001). Computing in Nonlinear Media and Automata Collectives. Bibliography Adamatzky, A. (2001). Computing in Nonlinear Media and Automata Collectives. Bristol:InstituteofPhysicsPublishing. Adamatzky, A., De Lacy Costello, B., & Asai, T. (2005). Reaction-Di usion

More information

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities

An Ontology Diagram for Coordination of the Hylomorphically Treated Entities An Ontology Diagram for Coordination of the Hylomorphically Treated Entities Algirdas [0000-0001-6712-3521] Vilnius University, Vilnius, Universiteto g. 3, LT-01513, Lithuania algirdas.budrevicius@kf.vu.lt

More information

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction Symbolical artificial intelligence is a field of computer science that is highly related to quantum computation. At first glance, this statement appears to be a contradiction. However,

More information

Other Problems in Philosophy and Physics

Other Problems in Philosophy and Physics 384 Free Will: The Scandal in Philosophy Illusionism Determinism Hard Determinism Compatibilism Soft Determinism Hard Incompatibilism Impossibilism Valerian Model Soft Compatibilism Other Problems in Philosophy

More information

CHAPTER 6 A DIALOGUE CONCERNING TWO WORLD SYSTEMS: INFO-COMPUTATIONAL VS. MECHANISTIC

CHAPTER 6 A DIALOGUE CONCERNING TWO WORLD SYSTEMS: INFO-COMPUTATIONAL VS. MECHANISTIC CHAPTER 6 A DIALOGUE CONCERNING TWO WORLD SYSTEMS: INFO-COMPUTATIONAL VS. MECHANISTIC Gordana Dodig-Crnkovic & Vincent C. Müller Mälardalen University & Anatolia College/ACT www.idt.mdh.se/personal/gdc

More information

School of EECS Washington State University. Artificial Intelligence

School of EECS Washington State University. Artificial Intelligence School of EECS Washington State University 1 } Webpage: www.eecs.wsu.edu/~holder/courses/ai } Email (holder@wsu.edu) } Blackboard Learn (learn.wsu.edu) } mywsu (my.wsu.edu) 2 Readings: Chapter 1 3 } John

More information

A Dialogue Concerning Two World Systems: Info-Computational vs. Mechanistic

A Dialogue Concerning Two World Systems: Info-Computational vs. Mechanistic A Dialogue Concerning Two World Systems: Info-Computational vs. Mechanistic Gordana Dodig-Crnkovic & Vincent C. Müller Mälardalen University & Anatolia College/ACT www.idt.mdh.se/personal/gdc & www.typos.de

More information

The World According to Wolfram

The World According to Wolfram The World According to Wolfram Basic Summary of NKS- A New Kind of Science is Stephen Wolfram s attempt to revolutionize the theoretical and methodological underpinnings of the universe. Though this endeavor

More information

CONTENTS. Preface. 1. Cybersemiotics and the Question of Knowledge 1 Søren Brier. 2. Information Dynamics in a Categorical Setting 35 Mark Burgin

CONTENTS. Preface. 1. Cybersemiotics and the Question of Knowledge 1 Søren Brier. 2. Information Dynamics in a Categorical Setting 35 Mark Burgin http://www.sophia.de - http://orcid.org/0000-0002-4144-4957 CONTENTS Preface v 1. Cybersemiotics and the Question of Knowledge 1 Søren Brier 2. Information Dynamics in a Categorical Setting 35 Mark Burgin

More information

Some Thoughts on Computation and Simulation in Cognitive Science

Some Thoughts on Computation and Simulation in Cognitive Science Some Thoughts on Computation and Simulation in Cognitive Science Markus Peschl ( * ) and Matthias Scheutz ( ** ) ( * ) Department of Philosophy of Science and Social Studies of Science University of Vienna

More information

de Blanc, Peter Ontological Crises in Artificial Agents Value Systems. The Singularity Institute, San Francisco, CA, May 19.

de Blanc, Peter Ontological Crises in Artificial Agents Value Systems. The Singularity Institute, San Francisco, CA, May 19. MIRI MACHINE INTELLIGENCE RESEARCH INSTITUTE Ontological Crises in Artificial Agents Value Systems Peter de Blanc Machine Intelligence Research Institute Abstract Decision-theoretic agents predict and

More information

COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, Hanna Kurniawati

COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, Hanna Kurniawati COMP3702/7702 Artificial Intelligence Week1: Introduction Russell & Norvig ch.1-2.3, 3.1-3.3 Hanna Kurniawati Today } What is Artificial Intelligence? } Better know what it is first before committing the

More information

The Legacy of Hilbert, Gödel, Gentzen and Turing

The Legacy of Hilbert, Gödel, Gentzen and Turing The Legacy of Hilbert, Gödel, Gentzen and Turing Amílcar Sernadas Departamento de Matemática - Instituto Superior Técnico Security and Quantum Information Group - Instituto de Telecomunicações TULisbon

More information

Scientific Explanation- Causation and Unification

Scientific Explanation- Causation and Unification Scientific Explanation- Causation and Unification By Wesley Salmon Analysis by Margarita Georgieva, PSTS student, number 0102458 Van Lochemstraat 9-17 7511 EG Enschede Final Paper for Philosophy of Science

More information

Limits of Computation

Limits of Computation The real danger is not that computers will begin to think like men, but that men will begin to think like computers Limits of Computation - Sydney J. Harris What makes you believe now that I am just talking

More information

A structural perspective on quantum cognition

A structural perspective on quantum cognition A structural perspective on quantum cognition Kyoto University Supported by JST PRESTO Grant (JPMJPR17G9) QCQMB, Prague, 20 May 2018 QCQMB, Prague, 20 May 2018 1 / Outline 1 What Is Quantum Cognition?

More information

Methuselah s Diary and the Finitude of the Past. Ben Waters

Methuselah s Diary and the Finitude of the Past. Ben Waters Forthcoming in Philosophia Christi Volume 15, Number 2 (2013) Methuselah s Diary and the Finitude of the Past Ben Waters Abstract William Lane Craig modified Bertrand Russell s Tristram Shandy example

More information

Premise: Humans are biological quantum computers

Premise: Humans are biological quantum computers Premise: Humans are biological quantum computers Presented at the Nov 2008 Annual Dallas Mensa Gathering By Douglas Matzke, Ph.D. doug@quantumdoug.com http://www.quantumdoug.com Abstract This talk explores

More information

Realism and Idealism External Realism

Realism and Idealism External Realism Realism and Idealism External Realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 8/10/15 What is metaphysics? Metaphysics is the attempt to: give a general description of the whole of

More information

and Models of Computation

and Models of Computation CDT314 FABE Formal anguages, Automata and Models of Computation ecture 12 Mälardalen University 2013 1 Content Chomsky s anguage Hierarchy Turing Machines Determinism Halting TM Examples Standard TM Computing

More information

Intelligent Systems and Control Prof. Laxmidhar Behera Indian Institute of Technology, Kanpur

Intelligent Systems and Control Prof. Laxmidhar Behera Indian Institute of Technology, Kanpur Intelligent Systems and Control Prof. Laxmidhar Behera Indian Institute of Technology, Kanpur Module - 2 Lecture - 4 Introduction to Fuzzy Logic Control In this lecture today, we will be discussing fuzzy

More information

BINARY MORPHOLOGY AND CELLULAR AUTOMATA

BINARY MORPHOLOGY AND CELLULAR AUTOMATA BINARY MORPHOLOGY AND CELLULAR AUTOMATA I can't leave this subject without mentioning cellular automata (CAs). Conway's "Game of Life" is an example of a cellular automaton (CA). In each generation (or

More information

Creative Genomic Webs -Kapil Rajaraman PHY 498BIO, HW 4

Creative Genomic Webs -Kapil Rajaraman PHY 498BIO, HW 4 Creative Genomic Webs -Kapil Rajaraman (rajaramn@uiuc.edu) PHY 498BIO, HW 4 Evolutionary progress is generally considered a result of successful accumulation of mistakes in replication of the genetic code.

More information

M.Burgin Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095

M.Burgin Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095 Proceedings of the High Performance Computing Symposium, San Diego, 1999, pp. 224-228 SUPER-RECURSIVE ALGORITHMS AS A TOOL FOR HIGH PERFORMANCE COMPUTING M.Burgin Department of Mathematics University of

More information

The Bit and the Pendulum: From Quantum Computing to M Theory--The New Physics of Information, Tom Siegfried, 2000

The Bit and the Pendulum: From Quantum Computing to M Theory--The New Physics of Information, Tom Siegfried, 2000 The Bit and the Pendulum: From Quantum Computing to M Theory--The New Physics of Information, Tom Siegfried, 2000 Tom Siegfried, The Bit and the Pendulum: From Quantum Computing to M Theory--The New Physics

More information

biologically-inspired computing lecture 6 Informatics luis rocha 2015 INDIANA UNIVERSITY biologically Inspired computing

biologically-inspired computing lecture 6 Informatics luis rocha 2015 INDIANA UNIVERSITY biologically Inspired computing lecture 6 -inspired Sections I485/H400 course outlook Assignments: 35% Students will complete 4/5 assignments based on algorithms presented in class Lab meets in I1 (West) 109 on Lab Wednesdays Lab 0 :

More information

The Duality of the Universe

The Duality of the Universe The Duality of the Universe Gordon McCabe May 23, 2008 Abstract It is proposed that the physical universe is an instance of a mathematical structure which possesses a dual structure, and that this dual

More information

CISC 1002 [CORC 3310, CC 30.10] Paradoxes and the Limits of Knowledge 3 hours; 3 credits

CISC 1002 [CORC 3310, CC 30.10] Paradoxes and the Limits of Knowledge 3 hours; 3 credits CISC 1002 [CORC 3310, CC 30.10] Paradoxes and the Limits of Knowledge 3 hours; 3 credits Paradoxes and limitations arising in computer science, the physical sciences, and mathematics. Paradoxes created

More information

Mappings For Cognitive Semantic Interoperability

Mappings For Cognitive Semantic Interoperability Mappings For Cognitive Semantic Interoperability Martin Raubal Institute for Geoinformatics University of Münster, Germany raubal@uni-muenster.de SUMMARY Semantic interoperability for geographic information

More information

EMULATION, REDUCTION, AND EMERGENCE IN DYNAMICAL SYSTEMS Marco Giunti,

EMULATION, REDUCTION, AND EMERGENCE IN DYNAMICAL SYSTEMS Marco Giunti, EMULATION, REDUCTION, AND EMERGENCE IN DYNAMICAL SYSTEMS Marco Giunti, giunti@unica.it Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari via Is Mirrionis 1, 09123 Cagliari, ITALY

More information

Cartesian Thinking System Thinking Quantum Thinking

Cartesian Thinking System Thinking Quantum Thinking Cartesian Thinking System Thinking Quantum Thinking CVEN4700L15 For good or ill, ideas guide our economic, social and cultural development. Ideas and History We must torture nature to reveal her secrets

More information

Structuralism and the Limits of Skepticism. David Chalmers Thalheimer Lecture 3

Structuralism and the Limits of Skepticism. David Chalmers Thalheimer Lecture 3 Structuralism and the Limits of Skepticism David Chalmers Thalheimer Lecture 3 Skepticism and Realism I Skepticism: We don t know whether external things exist Realism: External things exist Anti-Realism:

More information

Course 395: Machine Learning

Course 395: Machine Learning Course 395: Machine Learning Lecturers: Maja Pantic (maja@doc.ic.ac.uk) Stavros Petridis (sp104@doc.ic.ac.uk) Goal (Lectures): To present basic theoretical concepts and key algorithms that form the core

More information

Quantum Computing. Vraj Parikh B.E.-G.H.Patel College of Engineering & Technology, Anand (Affiliated with GTU) Abstract HISTORY OF QUANTUM COMPUTING-

Quantum Computing. Vraj Parikh B.E.-G.H.Patel College of Engineering & Technology, Anand (Affiliated with GTU) Abstract HISTORY OF QUANTUM COMPUTING- Quantum Computing Vraj Parikh B.E.-G.H.Patel College of Engineering & Technology, Anand (Affiliated with GTU) Abstract Formerly, Turing Machines were the exemplar by which computability and efficiency

More information

PREFACE FOR THE ENCYCLOPEDIA OF COMPLEXITY AND SYSTEMS SCIENCE

PREFACE FOR THE ENCYCLOPEDIA OF COMPLEXITY AND SYSTEMS SCIENCE PREFACE FOR THE ENCYCLOPEDIA OF COMPLEXITY AND SYSTEMS SCIENCE The Encyclopedia of Complexity and System Science is an authoritative single source for understanding and applying the basic tenets of complexity

More information

Gualtiero Piccinini: Physical Computation: A Mechanistic Account

Gualtiero Piccinini: Physical Computation: A Mechanistic Account Minds & Machines DOI 10.1007/s11023-016-9397-y Gualtiero Piccinini: Physical Computation: A Mechanistic Account Oxford University Press, Oxford, 2015, ix + 313, 35.00, ISBN 9780199658855 Matteo Colombo

More information

complex networks and systems i609: advanced PhD seminar I Informatics luis rocha 2019 INDIANA UNIVERSITY

complex networks and systems i609: advanced PhD seminar I Informatics luis rocha 2019 INDIANA UNIVERSITY complex networks and systems Informatics luis rocha 2019 i609: advanced PhD seminar I luis m. rocha school of informatics, computing, & engineering indiana university, bloomington, usa and instituto gulbenkian

More information

Models. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation

Models. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation Turing Computation /0/ Models of Computation, Turing Machines, and the Limits of Turing Computation Bruce MacLennan Models A model is a tool intended to address a class of questions about some domain of

More information

Dynamical Embodiments of Computation in Cognitive Processes James P. Crutcheld Physics Department, University of California, Berkeley, CA a

Dynamical Embodiments of Computation in Cognitive Processes James P. Crutcheld Physics Department, University of California, Berkeley, CA a Dynamical Embodiments of Computation in Cognitive Processes James P. Crutcheld Physics Department, University of California, Berkeley, CA 94720-7300 and Santa Fe Institute, 1399 Hyde Park Road, Santa Fe,

More information

Information Entropy Theory of Physics

Information Entropy Theory of Physics Information Entropy Theory of Physics Abstract... 1 Considering the chess game as a model of physics... 1 Using this model in physics... 4 Quantum Information Science... 4 Quantum Computing Research...

More information

Challenges for Logic AI Systems. Northwestern EECS 348 Doug Downey

Challenges for Logic AI Systems. Northwestern EECS 348 Doug Downey Challenges for Logic AI Systems Northwestern EECS 348 Doug Downey Logic as a Foundation for AI Logic: extremely expressive, powerful Theorem provers: useful in practice But: Writing down needed knowledge

More information

Validity Analysis of Chaos Generated with Neural-Network-Differential-Equation for Robot to Reduce Fish s Learning Speed

Validity Analysis of Chaos Generated with Neural-Network-Differential-Equation for Robot to Reduce Fish s Learning Speed International Journal of Applied Electromagnetics and Mechanics 41 (2014) 1 6 1 IOS Press Validity Analysis of Chaos Generated with Neural-Network-Differential-Equation for Robot to Reduce Fish s Learning

More information

The mousetrap. Figure by MIT OCW.

The mousetrap. Figure by MIT OCW. Handout 8: Functionalism The Basic Idea behind various forms of behaviorism (see handout 6) is that to have a mind (or to be in such-and-such mental state) is to (be disposed to) behave in certain ways:

More information

The Evolution of Mind and Morality: 19th-21st Centuries. Winter, 2007

The Evolution of Mind and Morality: 19th-21st Centuries. Winter, 2007 The Evolution of Mind and Morality: 19th-21st Centuries Winter, 2007 Instructor: Robert J. Richards Hist 35501, HiPSS 25901, Phil 24300/34300 Psyc 28200/38200, CHSS 35900 Course Assistants: P.-J. Benson

More information

A Dual Ontology of Nature, Life, and Person

A Dual Ontology of Nature, Life, and Person A Dual Ontology of Nature, Life, and Person Unit 11: The QV foliation in thermal QFT and in quantum computing: the "Infinite State Black-Box Machine" construction Course WI-FI-BASTIONTO-ER 2017/18 1 By

More information

Integrating divergent and/or complementary views into a coherent whole.

Integrating divergent and/or complementary views into a coherent whole. Project Title: What is Computation? (How) Does Nature Compute? Integrating divergent and/or complementary views into a coherent whole. Project Description: We are seeking support in organizing the 2008

More information

Max Planck, Nobel Prize in Physics and inventor of Quantum Mechanics said:

Max Planck, Nobel Prize in Physics and inventor of Quantum Mechanics said: Max Planck, Nobel Prize in Physics and inventor of Quantum Mechanics said: As a man who has devoted his whole life to the most clear-headed science, to the study of matter, I can tell you as a result of

More information

On the Possibility of Quantum Informational Structural Realism*

On the Possibility of Quantum Informational Structural Realism* 1 On the Possibility of Quantum Informational Structural Realism* Terrell Ward Bynum Southern Connecticut State University Abstract: In The Philosophy of Information, Luciano Floridi presents an ontological

More information

Prime Clocks. Michael Stephen Fiske. 10th GI Conference on Autonomous Systems October 23, AEMEA Institute. San Francisco, California

Prime Clocks. Michael Stephen Fiske. 10th GI Conference on Autonomous Systems October 23, AEMEA Institute. San Francisco, California Prime Clocks Michael Stephen Fiske 10th GI Conference on Autonomous Systems October 23, 2017 AEMEA Institute San Francisco, California Motivation for Prime Clocks The mindset of mainstream computer science

More information

ESD.84 Doctoral Seminar Session 8 Notes Guests Presenting: Seth Lloyd, Joe Sussman, Neil Gershenfeld

ESD.84 Doctoral Seminar Session 8 Notes Guests Presenting: Seth Lloyd, Joe Sussman, Neil Gershenfeld ESD.84 Doctoral Seminar Session 8 Notes Guests Presenting: Seth Lloyd, Joe Sussman, Neil Gershenfeld Session Design: Welcome and Overview and Introductions (5-10 min.) Generating Key Questions from Readings

More information

Chapter 8 AI, Quantum Information, and External Semantic Realism: Searle s Observer-Relativity and Chinese Room, Revisited

Chapter 8 AI, Quantum Information, and External Semantic Realism: Searle s Observer-Relativity and Chinese Room, Revisited Chapter 8 AI, Quantum Information, and External Semantic Realism: Searle s Observer-Relativity and Chinese Room, Revisited Yoshihiro Maruyama Abstract In philosophy of mind, Searle contrived two arguments

More information

Computer Science and Logic A Match Made in Heaven

Computer Science and Logic A Match Made in Heaven A Match Made in Heaven Luca Aceto Reykjavik University Reykjavik, 3 April 2009 Thanks to Moshe Vardi from whom I have drawn inspiration (read stolen ideas ) for this presentation. Why This Talk Today?

More information

Toward a Better Understanding of Complexity

Toward a Better Understanding of Complexity Toward a Better Understanding of Complexity Definitions of Complexity, Cellular Automata as Models of Complexity, Random Boolean Networks Christian Jacob jacob@cpsc.ucalgary.ca Department of Computer Science

More information

Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno. Biocybernetics

Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno. Biocybernetics Lectures on Medical Biophysics Department of Biophysics, Medical Faculty, Masaryk University in Brno Norbert Wiener 26.11.1894-18.03.1964 Biocybernetics Lecture outline Cybernetics Cybernetic systems Feedback

More information

Reinforcement Learning, Neural Networks and PI Control Applied to a Heating Coil

Reinforcement Learning, Neural Networks and PI Control Applied to a Heating Coil Reinforcement Learning, Neural Networks and PI Control Applied to a Heating Coil Charles W. Anderson 1, Douglas C. Hittle 2, Alon D. Katz 2, and R. Matt Kretchmar 1 1 Department of Computer Science Colorado

More information

Chapter 2 The Structure of the Theories of Physics

Chapter 2 The Structure of the Theories of Physics Chapter 2 The Structure of the Theories of Physics 2.1 Introduction The mechanistic point of view that the ultimate scope of physics is to explain the whole of the physical world and the numerous phenomena

More information

What Does Quantum Mechanics Suggest About Our Perceptions of Reality?

What Does Quantum Mechanics Suggest About Our Perceptions of Reality? What Does Quantum Mechanics Suggest About Our Perceptions of Reality? Quantum mechanics suggests that we perceive at most a tiny sliver of reality. Of course we already knew that! We knew that the visible

More information

Distribution of Environments in Formal Measures of Intelligence: Extended Version

Distribution of Environments in Formal Measures of Intelligence: Extended Version Distribution of Environments in Formal Measures of Intelligence: Extended Version Bill Hibbard December 2008 Abstract This paper shows that a constraint on universal Turing machines is necessary for Legg's

More information

Discriminative Direction for Kernel Classifiers

Discriminative Direction for Kernel Classifiers Discriminative Direction for Kernel Classifiers Polina Golland Artificial Intelligence Lab Massachusetts Institute of Technology Cambridge, MA 02139 polina@ai.mit.edu Abstract In many scientific and engineering

More information

Quantum Physics & Reality

Quantum Physics & Reality Quantum Physics & Reality Todd Duncan Science Integration Institute (www.scienceintegration.org) & PSU Center for Science Education Anyone who is not shocked by quantum theory has not understood it. -

More information

Meanings of Symbolism in Advanced Mathematical Thinking

Meanings of Symbolism in Advanced Mathematical Thinking PME-28 Bergen, Norway June 2004 Meanings of Symbolism in Advanced Mathematical Thinking David Tall University of Warwick, U.K. FORMAL WORLD Three Worlds of Mathematics of DEFINITION and FORMAL PROOF A

More information

II. Spatial Systems. A. Cellular Automata. Structure. Cellular Automata (CAs) Example: Conway s Game of Life. State Transition Rule

II. Spatial Systems. A. Cellular Automata. Structure. Cellular Automata (CAs) Example: Conway s Game of Life. State Transition Rule II. Spatial Systems A. Cellular Automata B. Pattern Formation C. Slime Mold D. Excitable Media A. Cellular Automata 1/18/17 1 1/18/17 2 Cellular Automata (CAs) Invented by von Neumann in 1940s to study

More information

Shadows of the Mind. A Search for the Missing Science of Consciousness ROGER PENROSE. Rouse Ball Professor of Mathematics University of Oxford

Shadows of the Mind. A Search for the Missing Science of Consciousness ROGER PENROSE. Rouse Ball Professor of Mathematics University of Oxford Shadows of the Mind A Search for the Missing Science of Consciousness ROGER PENROSE Rouse Ball Professor of Mathematics University of Oxford Oxford New York Melbourne OXFORD UNIVERSITY PRESS 1994 CONTENTS

More information

Conservation of Information

Conservation of Information Conservation of Information Amr Sabry (in collaboration with Roshan P. James) School of Informatics and Computing Indiana University May 8, 2012 Amr Sabry (in collaboration with Roshan P. James) (IU SOIC)

More information

ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran

ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran ALBERT EINSTEIN AND THE FABRIC OF TIME by Gevin Giorbran Surprising as it may be to most non-scientists and even to some scientists, Albert Einstein concluded in his later years that the past, present,

More information

Leibniz s Ultimate Theory Soshichi Uchii

Leibniz s Ultimate Theory Soshichi Uchii Leibniz s Ultimate Theory Soshichi Uchii Abstract This is a short summary of my new interpretation of Leibniz s philosophy, including metaphysics and dynamics. Monadology is the core of his philosophy,

More information

FIXATION AND COMMITMENT WHILE DESIGNING AND ITS MEASUREMENT

FIXATION AND COMMITMENT WHILE DESIGNING AND ITS MEASUREMENT FIXATION AND COMMITMENT WHILE DESIGNING AND ITS MEASUREMENT JOHN S GERO Krasnow Institute for Advanced Study, USA john@johngero.com Abstract. This paper introduces the notion that fixation and commitment

More information

Material Representations: From the Genetic Code to the Evolution of Cellular Automata

Material Representations: From the Genetic Code to the Evolution of Cellular Automata : From the Genetic Code to the Evolution of Cellular Automata Abstract We present a new definition of the concept of representation for cognitive science that is based on a study of the origin of structures

More information

Standing on the Shoulders of a Giant

Standing on the Shoulders of a Giant Standing on the Shoulders of a Giant One Person s Experience of Turing s Impact David Harel The Weizmann Institute of Science If I have seen further, it is because I stand on the shoulders of giants (Isaac

More information

TOWARDS COMPLEXITY OF SCIENCE

TOWARDS COMPLEXITY OF SCIENCE TOWARDS COMPLEXITY OF SCIENCE Sidik Permana A.M Bandung Fe Institute sidikpam@yahoo.com Abstract In the development of science, since antiquity, it s been developed with the main purpose to study regularities.

More information

EXTENDED FUZZY COGNITIVE MAPS

EXTENDED FUZZY COGNITIVE MAPS EXTENDED FUZZY COGNITIVE MAPS Masafumi Hagiwara Department of Psychology Stanford University Stanford, CA 930 U.S.A. Abstract Fuzzy Cognitive Maps (FCMs) have been proposed to represent causal reasoning

More information

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement

226 My God, He Plays Dice! Entanglement. Chapter This chapter on the web informationphilosopher.com/problems/entanglement 226 My God, He Plays Dice! Entanglement Chapter 29 20 This chapter on the web informationphilosopher.com/problems/entanglement Entanglement 227 Entanglement Entanglement is a mysterious quantum phenomenon

More information

Validity analysis of chaos generated with Neural-Network-Differential-Equation for robot to reduce fish s learning speed

Validity analysis of chaos generated with Neural-Network-Differential-Equation for robot to reduce fish s learning speed International Journal of Applied Electromagnetics and Mechanics 52 (2016) 883 889 883 DOI 10.3233/JAE-162206 IOS Press Validity analysis of chaos generated with Neural-Network-Differential-Equation for

More information

Notes on Information, Reference, and Machine Thirdness

Notes on Information, Reference, and Machine Thirdness Notes on Information, Reference, and Machine Thirdness Rafael Alvarado Data Science Institute Human & Machine Intelligence Group Humanities Informatics Lab 24 July 2018 Overview Paul proposes that neural

More information

Hypercomputation and the Grand Challenge in Non-Classical Computation

Hypercomputation and the Grand Challenge in Non-Classical Computation Hypercomputation and the Grand Challenge in Non-Classical Computation Susan Stepney Non-Standard Computation Group September 2006 hypercomputation -- 1 The UK Grand Challenges in Computing UK Computing

More information

The Neglected Pillar of Material Computation

The Neglected Pillar of Material Computation The Neglected Pillar of Material Computation Susan Stepney Non-Standard Computation Group University of York July 2007 UC 07 -- 1 The UK Grand Challenges in Computing UK Computing Research Committee (UKCRC)

More information

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014

Evidence and Theory in Physics. Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Evidence and Theory in Physics Tim Maudlin, NYU Evidence in the Natural Sciences, May 30, 2014 Two Features of Physics Physics displays two interesting features: 1) Programmatically, it aspires to be completely

More information

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 15 Ana Bove May 17th 2018 Recap: Context-free Languages Chomsky hierarchy: Regular languages are also context-free; Pumping lemma

More information

Why Complexity is Different

Why Complexity is Different Why Complexity is Different Yaneer Bar-Yam (Dated: March 21, 2017) One of the hardest things to explain is why complex systems are actually different from simple systems. The problem is rooted in a set

More information

Enduring understanding 1.A: Change in the genetic makeup of a population over time is evolution.

Enduring understanding 1.A: Change in the genetic makeup of a population over time is evolution. The AP Biology course is designed to enable you to develop advanced inquiry and reasoning skills, such as designing a plan for collecting data, analyzing data, applying mathematical routines, and connecting

More information

Epistemology as Information Theory: From Leibniz to Ω

Epistemology as Information Theory: From Leibniz to Ω arxiv:math/0506552v2 [math.ho] 28 Jun 2005 Epistemology as Information Theory: From Leibniz to Ω Gregory Chaitin Abstract In 1686 in his Discours de métaphysique, Leibniz points out that if an arbitrarily

More information

EPISTEMOLOGY, COMPUTATION AND THE LAWS OF PHYSICS

EPISTEMOLOGY, COMPUTATION AND THE LAWS OF PHYSICS EPISTEMOLOGY, COMPUTATION AND THE LAWS OF PHYSICS David H. Wolpert NASA Ames Research Center David.H.Wolpert@nasa.gov http://ti.arc.nasa.gov/people/dhw/ Walter Read Mathematics Department, CS Fresno NASA-ARC-03-0667

More information

Understanding Computation

Understanding Computation Understanding Computation 1 Mathematics & Computation -Mathematics has been around for a long time as a method of computing. -Efforts to find canonical way of computations. - Machines have helped with

More information

Creative Objectivism, a powerful alternative to Constructivism

Creative Objectivism, a powerful alternative to Constructivism Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite

More information

Three Approaches to Biology: Part lll. Organicism

Three Approaches to Biology: Part lll. Organicism Three Approaches to Biology: Part lll. Organicism RUPERT SHELDRAKE The Atomistic and Organismic Philosophies of Nature The atomistic philosophy of nature had become widely accepted by scientists by the

More information

Measurement Independence, Parameter Independence and Non-locality

Measurement Independence, Parameter Independence and Non-locality Measurement Independence, Parameter Independence and Non-locality Iñaki San Pedro Department of Logic and Philosophy of Science University of the Basque Country, UPV/EHU inaki.sanpedro@ehu.es Abstract

More information

An Algebraic Characterization of the Halting Probability

An Algebraic Characterization of the Halting Probability CDMTCS Research Report Series An Algebraic Characterization of the Halting Probability Gregory Chaitin IBM T. J. Watson Research Center, USA CDMTCS-305 April 2007 Centre for Discrete Mathematics and Theoretical

More information

4.13 It From Bit and the Triadic Theory of Reality

4.13 It From Bit and the Triadic Theory of Reality (Excerpt from S. Ji, Molecular Theory of the Living Cell: Concepts, Molecular Mechanisms, and Biomedical Applications, Springer, New York, 2012. Pp. 116-118.) 4.13 It From Bit and the Triadic Theory of

More information

How to make computers work like the brain

How to make computers work like the brain How to make computers work like the brain (without really solving the brain) Dileep George a single special machine can be made to do the work of all. It could in fact be made to work as a model of any

More information

Deep Metaphysical Indeterminacy

Deep Metaphysical Indeterminacy Deep Metaphysical Indeterminacy Bradford Skow Abstract A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality. That is, we have a case of metaphysical

More information

Philosophy of Science: Models in Science

Philosophy of Science: Models in Science Philosophy of Science: Models in Science Kristina Rolin 2012 Questions What is a scientific theory and how does it relate to the world? What is a model? How do models differ from theories and how do they

More information

Pei Wang( 王培 ) Temple University, Philadelphia, USA

Pei Wang( 王培 ) Temple University, Philadelphia, USA Pei Wang( 王培 ) Temple University, Philadelphia, USA Artificial General Intelligence (AGI): a small research community in AI that believes Intelligence is a general-purpose capability Intelligence should

More information

Quantum-Inspired Simulative Data Interpretation: A Proposed Research Strategy. Terry Bollinger 1 July 22, 2010

Quantum-Inspired Simulative Data Interpretation: A Proposed Research Strategy. Terry Bollinger 1 July 22, 2010 Quantum-Inspired Simulative Data Interpretation: A Proposed Research Strategy Terry Bollinger 1 July 22, 2010 1. Introduction The main objective of this paper is to propose a quantum-inspired approach

More information

Neural Networks: Introduction

Neural Networks: Introduction Neural Networks: Introduction Machine Learning Fall 2017 Based on slides and material from Geoffrey Hinton, Richard Socher, Dan Roth, Yoav Goldberg, Shai Shalev-Shwartz and Shai Ben-David, and others 1

More information

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 13 CHAPTER 4 TURING MACHINES 1. The definition of Turing machine 2. Computing with Turing machines 3. Extensions of Turing

More information