Significance of Models of Computation, from Turing Model to Natural Computation

The increased interactivity and connectivity of computational devices along with the spreading of computational tools and computational thinking across the fields, has changed our understanding of the nature of computing. In the course of this development computing models have been extended from the initial abstract symbol manipulating mechanisms of stand-alone, discrete sequential machines, to the models of natural computing in the physical world, generally concurrent asynchronous processes capable of modelling living systems, their informational structures and dynamics on both symbolic and sub-symbolic information processing levels. Present account of models of computation highlights several topics of importance for the development of new understanding of computing and its role: natural computation and the relationship between the model and physical implementation, interactivity as fundamental for computational modelling of concurrent information processing systems such as living organisms and their networks, and the new developments in logic needed to support this generalized framework. Computing understood as information processing is closely related to natural sciences; it helps us recognize connections between sciences, and provides a unified approach for modeling and simulating of both living and non-living systems.

[1]  B. Jack Copeland Super turing-machines , 1998 .

[2]  G. Kampis Self-modifying systems in biology and cognitive science , 1991 .

[3]  Kevin T. Kelly Uncomputability: the problem of induction internalized , 2004, Theor. Comput. Sci..

[4]  Jaakko Hintikka,et al.  Game-theoretical semantics: insights and prospects , 1982, Notre Dame J. Formal Log..

[5]  B. J. Copeland,et al.  Alan Turing’s Forgotten Ideas in Computer Science , 1999 .

[6]  Eugene Eric Kim,et al.  Ada and the First Computer , 1999 .

[7]  Samson Abramsky Petri Nets, Discrete Physics, and Distributed Quantum Computation , 2008, Concurrency, Graphs and Models.

[8]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[9]  Formalising Semantic Information Lessons from Logical Pluralism , 2005 .

[10]  Selmer Bringsjord computation, among other things, is beneath us , 2004, Minds and Machines.

[11]  Viktor Mikhaĭlovich Glushkov,et al.  An Introduction to Cybernetics , 1957, The Mathematical Gazette.

[12]  Gualtiero Piccinini,et al.  Computational modelling vs. Computational explanation: Is everything a Turing Machine, and does it matter to the philosophy of mind? , 2007 .

[13]  B. Meltzer,et al.  Intelligent Machinery-National Physical Laboratory Report , 2011 .

[14]  J. Beall,et al.  Logical pluralism , 2000 .

[15]  B. Jack Copeland,et al.  The Church-Turing Thesis , 2007 .

[16]  Gordana Dodig-Crnkovic,et al.  Shifting the Paradigm of Philosophy of Science: Philosophy of Information and a New Renaissance , 2003, Minds and Machines.

[17]  J. Hintikka Logic, language-games and information : Kantian themes in the philosophy of logic , 1973 .

[18]  F. R. A. Hopgood,et al.  Machine Intelligence 5 , 1971, The Mathematical Gazette.

[19]  Johan van Benthem Logic and the Dynamics of Information , 2003 .

[20]  Oron Shagrir,et al.  Physical Computation: How General are Gandy’s Principles for Mechanisms? , 2007, Minds and Machines.

[21]  Hava T. Siegelmann,et al.  Neural Networks and Analog Computation , 1999, Progress in Theoretical Computer Science.

[22]  Gordana Dodig-Crnkovic,et al.  A Dialogue Concerning Two World Systems: Info-Computational vs. Mechanistic , 2009, ArXiv.

[23]  W. Ashby,et al.  An Introduction to Cybernetics , 1957 .

[24]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[25]  Johan van Benthem,et al.  Logical dynamics meets logical pluralism , 2008 .

[26]  Wilfried Sieg,et al.  Church Without Dogma: Axioms for Computability , 2008 .

[27]  Hava T. Siegelmann,et al.  Neural networks and analog computation - beyond the Turing limit , 1999, Progress in theoretical computer science.

[28]  Giorgi Japaridze,et al.  In the Beginning was Game Semantics? , 2005, Games: Unifying Logic, Language, and Philosophy.

[29]  Vincent Schächter HOW DOES CONCURRENCY EXTEND THE PARADIGM OF COMPUTATION , 1999 .

[30]  M. Burgin,et al.  Super-recursive Algorithms as a Tool for High Performance Computing , 1999 .

[31]  Scott A. Smolka,et al.  Interactive Computation: The New Paradigm , 2006 .

[32]  L. Floridi OPEN PROBLEMS IN THE PHILOSOPHY OF INFORMATION , 2004 .

[33]  Samson Abramsky,et al.  Sequentiality vs. concurrency in games and logic , 2003, Mathematical Structures in Computer Science.

[34]  S. Abramsky,et al.  Physics from Computer Science , 2007 .

[35]  Peter Wegner,et al.  The Church-Turing Thesis: Breaking the Myth , 2005, CiE.

[36]  Grzegorz Rozenberg,et al.  The many facets of natural computing , 2008, Commun. ACM.

[37]  B. Copeland,et al.  Beyond the universal Turing machine , 1999 .

[38]  Johan van Benthem,et al.  Extensive Games as Process Models , 2002, J. Log. Lang. Inf..

[39]  Gordana Dodig Crnkovic Investigations into Information Semantics and Ethics of Computing , 2006 .

[40]  Michael Conrad,et al.  Self-modifying systems in biology and cognitive science: A new framework for dynamics, information and complexity: By George Kampis, Pergamon Press, Oxford, 1991, 543 pp., US$100 , 1992 .

[41]  Selmer Bringsjord,et al.  Toward a Formal Philosophy of Hypercomputation , 2004, Minds and Machines.

[42]  A. Church An Unsolvable Problem of Elementary Number Theory , 1936 .

[43]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[44]  Johan van Benthem LOGICAL PLURALISM MEETS LOGICAL DYNAMICS , 2008 .

[45]  José Meseguer,et al.  Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday , 2008, Concurrency, Graphs and Models.

[46]  Aaron Sloman,et al.  Beyond Turing Equivalence , 1996 .

[47]  G. J. Chaitin Epistemology as Information Theory: From Leibniz to Omega , 2005 .

[48]  Samson Abramsky Semantics of Interaction (Abstract) , 1996, CAAP.

[49]  R. Penrose,et al.  Incomputability, Emergence and the Turing Universe , 2010 .

[50]  Timothy R. Colburn,et al.  Metaphor in computer science , 2008, J. Appl. Log..

[51]  S. Josephson,et al.  Australasian Journal of Philosophy, , 2013 .

[52]  Gordana Dodig Crnkovic,et al.  Computation, Information, Cognition: The Nexus and the Liminal , 2007 .

[53]  Peter J. Denning,et al.  Computing is a natural science , 2007, CACM.

[54]  Brian Cantwell Smith,et al.  On the origin of objects , 1997, Trends in Cognitive Sciences.

[55]  K BenthemvanJ.F.A. Logic and the Dynamics of Information , 2003 .

[56]  B. Jack Copeland,et al.  Narrow Versus Wide Mechanism: Including a Re-Examination of Turing’s Views on the Mind-Machine Issue , 2000 .

[57]  Peter Wegner,et al.  Paraconsistency of Interactive Computation , 2002, Paraconsistent Computational Logic.

[58]  Theo A.F. Kuipers Theories Looking for Domains. Fact or Fiction? Reversing Structuralist Truth Approximation , 2006 .

[59]  Samson Abramsky,et al.  A Compositional Game Semantics for Multi−Agent Logics of Partial Information , 2007 .

[60]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[61]  Samson Abramsky,et al.  Petri Nets, Discrete Physics, and Distributed Quantum Computation , 2008, ICATPN.

[62]  S. Lloyd Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos , 2006 .

[63]  Mark Burgin,et al.  Super-Recursive Algorithms , 2004, Monographs in Computer Science.

[64]  Bruce J. MacLennan,et al.  Natural computation and non-Turing models of computation , 2004, Theor. Comput. Sci..

[65]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[66]  Andrea Sorbi,et al.  New Computational Paradigms: Changing Conceptions of What is Computable , 2007 .

[67]  S. Abramsky Semantics of Interaction: an introduction to Game Semantics , 1997 .

[68]  Gordana Dodig Crnkovic,et al.  The Cybersemiotics and Info-Computationalist Research Programmes as Platforms for Knowledge Production in Organisms and Machines , 2010, Entropy.

[69]  Alan M. Turing,et al.  Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.

[70]  BringsjordSelmer,et al.  Toward a Formal Philosophy of Hypercomputation , 2002 .

[71]  Paul Bohan Broderick,et al.  On Communication and Computation , 2004, Minds and Machines.

[72]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

[73]  Gregory J. Chaitin,et al.  Epistemology as Information Theory : From Leibniz to Ω ∗ , 2005 .