Significance of Models of Computation, from Turing Model to Natural Computation
暂无分享,去创建一个
[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 .