The EVM's Universe and the Universe

作者: Mariusz Nowostawski

DOI:

关键词: Computational theory of mindAstronomyLimit (category theory)Theoretical computer scienceHypercomputationInteractive computationVirtual machineProcess (engineering)TuringComputationComputer science

摘要: The notion that all (or in weaker sense, some) natural phenomena can be modelled as a computable process, some kind of algorithm is recently gaining scientific recognition, and more research dedicated to the rigorous explorations mapping between formalised computational systems. There debate controversy how much expressed models artificial, although due nature mathematics physics itself, it generally accepted computation viable way model physical reality. Contemporary developments computer science not only do no refute computationalism – they provide data evidence support basic theses. In this article we discuss aspects contemporary computationalist efforts based on traditional notions Turning Machine computation. Then present an extended computation, goes beyond Turing limit. We propose new interactive called Evolvable Virtual Machines (EVMs). EVM uses many independently asynchronously executing processes, communicate each other with outside environment. pitfalls computationalism, compare our new, model, massively concurrent (hypercomputation). argue, hypercomputationalism collection concurrently communicating machines compact appropriate representing Universe general). It theoretically sound, does violate any current state-of-the-art theories. details architecture, implications physical, life sciences,

参考文章(23)
Selmer Bringsjord, Michael John Zenzen, Superminds: People Harness Hypercomputation, and More ,(2003)
Scott Aaronson, NP-complete Problems and Physical Reality Sigact News. ,(2005)
Lynn Margulis, Symbiosis in cell evolution ,(1981)
R. Gandy, The confluence of ideas in 1936 A half-century survey on The Universal Turing Machine. pp. 55- 111 ,(1988)
Gregory J. Chaitin, Meta Math!: The Quest for Omega ,(2005)
Peter H. Raven, ORIGIN OF EUKARYOTIC CELLS Evolution. ,vol. 25, pp. 737- 737 ,(1971) , 10.1111/J.1558-5646.1971.TB01930.X
Alan Mathison Turing, Systems of Logic Based on Ordinals ,(1939)
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)