Switch to: References

Add citations

You must login to add citations.
  1. Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.
    A version of the Church-Turing Thesis states that every effectively realizable physical system can be simulated by Turing Machines (‘Thesis P’). In this formulation the Thesis appears to be an empirical hypothesis, subject to physical falsification. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal computation. The conclusions are that these models reduce to supertasks, i.e. infinite computation, and that even supertasks are no solution for recursive incomputability. This yields that the realization (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Confirmation via Analogue Simulation: What Dumb Holes Could Tell Us about Gravity.Radin Dardashti, Karim P. Y. Thébault & Eric Winsberg - 2017 - British Journal for the Philosophy of Science 68 (1).
    In this article we argue for the existence of ‘analogue simulation’ as a novel form of scientific inference with the potential to be confirmatory. This notion is distinct from the modes of analogical reasoning detailed in the literature, and draws inspiration from fluid dynamical ‘dumb hole’ analogues to gravitational black holes. For that case, which is considered in detail, we defend the claim that the phenomena of gravitational Hawking radiation could be confirmed in the case that its counterpart is detected (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Empirical Protocols for Mediating Long-Range Coherence in Biological Systems.Richard L. Amoroso - 2013 - Journal of Consciousness Exploration and Research 4 (09):24-45.
    Delineating the framework for a fundamental model of long-range coherence in biological systems is said to rely on principles beyond parameters addressed by current physical science. Just as phenomena of quantum mechanics lay beyond tools of classical Newtonian mechanics we must now enter a 3rd regime of unified field, UF mechanics. In this paper we present a battery of nine empirical protocols for manipulating long-range coherence in complex self-organized living systems (SOLS) in a manner surmounting the Copenhagen Interpretation of quantum (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Measurement-Based Quantum Computation and Undecidable Logic.Maarten Van den Nest & Hans J. Briegel - 2008 - Foundations of Physics 38 (5):448-457.
    We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to evade the confrontation with the uncertainty relations.V. B. Braginsky & F. Ya Khalili - 1986 - Foundations of Physics 16 (4):379-382.
    It is demonstrated that one can in principle register an arbitrarily small force acting on a free particle by employing only measurements of its coordinates.
    Download  
     
    Export citation  
     
    Bookmark  
  • Computability in Quantum Mechanics.Wayne C. Myrvold - 1995 - In Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.), The Foundational Debate: Complexity and Constructivity in Mathematics and Physics. Dordrecht, Boston and London: Kluwer Academic Publishers. pp. 33-46.
    In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Materialism and the "problem" of quantum measurement.Gregory R. Mulhauser - 1995 - Minds and Machines 5 (2):207-17.
    For nearly six decades, the conscious observer has played a central and essential rôle in quantum measurement theory. I outline some difficulties which the traditional account of measurement presents for material theories of mind before introducing a new development which promises to exorcise the ghost of consciousness from physics and relieve the cognitive scientist of the burden of explaining why certain material structures reduce wavefunctions by virtue of being conscious while others do not. The interactive decoherence of complex quantum systems (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Addressability, or What Even Is Computation?Ranjodh Singh Dhaliwal - 2022 - Critical Inquiry 49 (1):1-27.
    This article argues against the conflation of digital and computational that ails contemporary critical discourse. Searching for a common logic among the three modes of computing (namely analog, digital, and quantum), it ends up finding an answer in the individuating backbone that runs through histories of postal, civic, and technological addresses. Borrowing the concept of addressability from computer science and adapting it to explain procedures of identificatory mapping at large, the article theorizes addressability as a cultural technique that can be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.
    The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Model of Causal and Probabilistic Reasoning in Frame Semantics.Vasil Penchev - 2020 - Semantics eJournal (Elsevier: SSRN) 2 (18):1-4.
    Quantum mechanics admits a “linguistic interpretation” if one equates preliminary any quantum state of some whether quantum entity or word, i.e. a wave function interpret-able as an element of the separable complex Hilbert space. All possible Feynman pathways can link to each other any two semantic units such as words or term in any theory. Then, the causal reasoning would correspond to the case of classical mechanics (a single trajectory, in which any next point is causally conditioned), and the probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantum mechanics and computation.Bart D’Hooghe & Jaroslaw Pykacz - 2004 - Foundations of Science 9 (4):387-404.
    In quantum computation non classical features such as superposition states and entanglement are used to solve problems in new ways, impossible on classical digital computers.We illustrate by Deutsch algorithm how a quantum computer can use superposition states to outperform any classical computer. We comment on the view of a quantum computer as a massive parallel computer and recall Amdahls law for a classical parallel computer. We argue that the view on quantum computation as a massive parallel computation disregards the presence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantum/classical correspondence in the light of Bell's inequalities.Leonid A. Khalfin & Boris S. Tsirelson - 1992 - Foundations of Physics 22 (7):879-948.
    Instead of the usual asymptotic passage from quantum mechanics to classical mechanics when a parameter tended to infinity, a sharp boundary is obtained for the domain of existence of classical reality. The last is treated as separable empirical reality following d'Espagnat, described by a mathematical superstructure over quantum dynamics for the universal wave function. Being empirical, this reality is constructed in terms of both fundamental notions and characteristics of observers. It is presupposed that considered observers perceive the world as a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The theoretical foundations for engineering a conscious quantum computer.M. Gams - 1997 - In Matjaz Gams (ed.), Mind Versus Computer: Were Dreyfus and Winograd Right? Amsterdam: IOS Press. pp. 43--141.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
    Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Toward a formal philosophy of hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.
    Does what guides a pastry chef stand on par, from the standpoint of contemporary computer science, with what guides a supercomputer? Did Betty Crocker, when telling us how to bake a cake, provide an effective procedure, in the sense of `effective' used in computer science? According to Cleland, the answer in both cases is ``Yes''. One consequence of Cleland's affirmative answer is supposed to be that hypercomputation is, to use her phrase, ``theoretically viable''. Unfortunately, though we applaud Cleland's ``gadfly philosophizing'' (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Analogue Quantum Simulation: A Philosophical Prospectus.Dominik Hangleiter, Jacques Carolan & Karim P. Y. Thebault - unknown
    This paper provides the first systematic philosophical analysis of an increasingly important part of modern scientific practice: analogue quantum simulation. We introduce the distinction between `simulation' and `emulation' as applied in the context of two case studies. Based upon this distinction, and building upon ideas from the recent philosophical literature on scientific understanding, we provide a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. We expect our framework to be useful to both (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Information, physics, and computation.Subhash C. Kak - 1996 - Foundations of Physics 26 (1):127-137.
    This paper presents several observations on the connections between information, physics, and computation. In particular, the computing power of quantum computers is examined. Quantum theory is characterized by superimposed states and nonlocal interactions. It is argued that recently studied quantum computers, which are based on local interactions, cannot simulate quantum physics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Historical Roots and Seminal Papers of Quantum Technology 2.0.Thomas Scheidsteger, Robin Haunschild & Christoph Ettl - 2022 - NanoEthics 16 (3):271-296.
    We present a historical study of Quantum Technology 2.0 using more than 66,000 papers from 1980 to 2020 that had been assigned to four subfields. We applied the method reference publication year spectroscopy to respective publication sets of the subfields in order to identify their historical roots and seminal papers. We found 126 of them in total, 43 in quantum metrology and sensing, 46 in quantum communication and cryptography, 42 in quantum computing, and 33 in quantum information science–with a significant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Superminds: People Harness Hypercomputation, and More.Mark Phillips, Selmer Bringsjord & M. Zenzen - 2003 - Dordrecht, Netherland: Springer Verlag.
    When Ken Malone investigates a case of something causing mental static across the United States, he is teleported to a world that doesn't exist.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Quantum computation and the conscious machine —the reason why computers will never be smarter than people.Peter J. Marcer - 1992 - AI and Society 6 (1):88-93.
    Download  
     
    Export citation  
     
    Bookmark  
  • Zwischen berechenbarkeit und nichtberechenbarkeit. Die thematisierung der berechenbarkeit in der aktuellen physik komplexer systeme.Jan C. Schmidt - 2003 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 34 (1):99-131.
    Between Calculability and Non-Calculability. Issues of Calculability and Predictability in the Physics of Complex Systems. The ability to predict has been a very important qualifier of what constitutes scientific knowledge, ever since the successes of Babylonian and Greek astronomy. More recent is the general appreciation of the fact that in the presence of deterministic chaos, predictability is severely limited (the so-called ‘butterfly effect’): Nearby trajectories diverge during time evolution; small errors typically grow exponentially with time. The system obeys deterministic laws (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Can We Define Levels of Artificial Intelligence?S. C. Kak - 1996 - Journal of Intelligent Systems 6 (2):133-144.
    Download  
     
    Export citation  
     
    Bookmark