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 (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

The potential for scalable quantum computing depends on the viability of fault tolerance and quantum error correction, by which the entropy of environmental noise is removed during a quantum computation to maintain the physical reversibility of the computer’s logical qubits. However, the theory underlying quantum error correction applies a linguistic double standard to the words “noise” and “measurement” by treating environmental interactions during a quantum computation as inherently reversible, and environmental interactions at the end of a quantum computation as irreversible (...) measurements. Specifically, quantum error correction theory models noise as interactions that are uncorrelated or that result in correlations that decay in space and/or time, thus embedding no permanent information to the environment. I challenge this assumption both on logical grounds and by discussing a hypothetical quantum computer based on “position qubits.” The technological difficulties of producing a useful scalable position-qubit quantum computer parallel the overwhelming difficulties in performing a double-slit interference experiment on an object comprising a million to a billion fermions. (shrink)

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 (...) reasoning, to the case of quantum mechanics (many Feynman trajectories). Frame semantics turns out to be the natural counterpart of that linguistic interpretation of quantum mechanics. (shrink)

Philosophers have been contemplating the nature of the mind for centuries and have produced mountains of intricate jargon, thought experiments, and views, that map a landscape of interminable disputes. One such dispute is between philosophers who believe that the mind can be explained as a mechanism and philosophers who insist it cannot. In this paper I take a look at this dispute and argue that it is unique in philosophy and a key to the nature of the mind.

The book is devoted to the contemporary stage of quantum mechanics – quantum information, and especially to its philosophical interpretation and comprehension: the first one of a series monographs about the philosophy of quantum information. The second will consider Be l l ’ s inequalities, their modified variants and similar to them relations. The beginning of quantum information was in the thirties of the last century. Its speed development has started over the last two decades. The main phenomenon is entanglement. (...) The subareas are quantum computer, quantum communication (and teleportation), and quantum cryptography. The book offers the following main conceptions, theses and hypotheses: – dualistic Phythagoreanism as a new kind among the interpretations of quantum mechanics and information: arithmetical, logical, and metamathematical one; – Gödel ’ s first incompleteness theorem is an undecidable proposition, and consequently the second one,too. – a partial rehabilitation of Hilbert ’ s program for the self-foundation of mathematics; – the dual-foundation of mathematics; – Skolemian relativity between: Cantor ’s kinds of infinity, finiteness and infinity, discreteness and continuity, completeness and incompleteness, etc.; – information is a physical quantity representing the non-reducibility of a system to its parts, particularly nonaddtivity; – there exist pure relations «by itself», which cannot be reduced to predications; – energy conservation can and should be generalized; – Einstein’ s «general covariance» or «principle of relativity» can and should be generalized to cover discrete morphisms where the notion of velocity does not make sense. (shrink)

The purpose of this paper is to argue against the claim that morphological computation is substantially different from other kinds of physical computation. I show that some (but not all) purported cases of morphological computation do not count as specifically computational, and that those that do are solely physical computational systems. These latter cases are not, however, specific enough: all computational systems, not only morphological ones, may (and sometimes should) be studied in various ways, including their energy efficiency, cost, reliability, (...) and durability. Second, I critically analyze the notion of “offloading” computation to the morphology of an agent or robot, by showing that, literally, computation is sometimes not offloaded but simply avoided. Third, I point out that while the morphology of any agent is indicative of the environment that it is adapted to, or informative about that environment, it does not follow that every agent has access to its morphology as the model of its environment. (shrink)

The mind of man is central to the structure and functioning of the physical world. Modern physical theory indicates that the mind stands in a relationship of equals to the physical world. Both are fundamental, neither can be reduced to the other, and both require each other for their full understanding. This thesis is at odds with the view of the universe found in Newtonian mechanics as well as the generally held view among contemporary physicists of modern physical theory. Since (...) the Renaissance, man has come to understand a great deal about the physical world, and he has gained significant control over it. This increased power over the physical world has occurred hand in hand with the assumption that the structure and functioning of the physical world is essentially independent from his cognitive functioning. According to this assumption, if man’s cognitive capacity did not exist, the functioning of the physical world would not be fundamentally altered. This last statement is not in fact correct, and modern physical theory, and even fundamentals underlying Newtonian mechanics, provide evidence to attest to this. Nonetheless, contemporary physicists for the most part do not see that the relationship of human cognition to the physical world is radically altered in their own modern theory, theory that is supported by a great deal of empirical data. Instead, attempting to preserve the thesis that the structure and functioning of the physical world is independent of the mind while on a practical level relying on modern theory that contradicts this thesis, physicists have placed themselves in the position of wondering at times exactly what is the nature of the physical world at the same time they obtain experimental results concerning the physical world that can only be labeled astonishing in their precision and the scope of their implications. Modern physical theory consists of three main components: 1) the special and general theories of relativity; 2) quantum mechanics; and 3) statistical mechanics. There are very successful theories that have been developed on the basis of these three bedrock areas. An example of one is quantum electrodynamics. But these theories owe their conceptual foundation to the three components mentioned. The basic issues at the core of these three components also are expressed in these later theories. In addition, there are new unresolved issues of a fundamental nature concerning the conceptual integrity of these later theories that do not apply to quantum mechanics, relativity theory, and statistical mechanics. Quantum mechanics and relativity theory are areas I have written about for over twelve years. The nature of statistical mechanics has also been of interest to me during this time. But when I took a serious look in 1993 at Tolman’s (1938) The Principles of Statistical Mechanics, it became clear that the mind is linked to the physical world in statistical mechanics, a relationship I had found earlier in both relativity theory and quantum mechanics. It was after reading Tolman’s justification of the method of statistical mechanics in the original that I decided to write this book. When I found that the three components of modern physical theory all pointed to the same relationship between mind and the physical world, it became clear that the fundamental isolation of the mind from the physical world that has characterized our experience since the development of Newtonian mechanics is unfounded. Based on empirically supported principles of modern physical theory, I determined that the appropriate assumption for one’s experience, that the mind is linked to the physical world, could be stated with confidence. The impact of this change in assumption concerning the relationship of man to the cosmos in modern physical theory will find its way into our everyday experience. It will perhaps have no greater effect than in reducing the sense of isolation of man from the world that has characterized modern existence. (shrink)

This is the editorial to the special edition of Progress in Biophysics and Molecular Biology on the role engagement with Eastern traditions of thought could play in the advancement of science generally and biology and the science of mind in particular.

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion that metaphysical supervaluationism (...) cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

The idea about this special issue came from a paper published as an updated and upridged version of an older memorial lecture given by Brian D. Josephson and Michael Conrad at the Gujarat Vidyapith University in Ahmedabad, India on March 2, 1984. The title of this paper was “Uniting Eastern Philosophy and Western Science” (1992). We thought that this topic deserves to be revisited after 25 years to demonstrate to the scientific community which new insights and achievements were attained in (...) this fairly broad field during this period. (shrink)

Forty-two years ago, Capra published “The Tao of Physics” (Capra, 1975). In this book (page 17) he writes: “The exploration of the atomic and subatomic world in the twentieth century has …. necessitated a radical revision of many of our basic concepts” and that, unlike ‘classical’ physics, the sub-atomic and quantum “modern physics” shows resonances with Eastern thoughts and “leads us to a view of the world which is very similar to the views held by mystics of all ages and (...) traditions.“ This article stresses an analogous situation in biology with respect to a new theoretical approach for studying living systems, Integral Biomathics (IB), which also exhibits some resonances with Eastern thought. Stepping on earlier research in cybernetics1 and theoretical biology,2 IB has been developed since 2011 by over 100 scientists from a number of disciplines who have been exploring a substantial set of theoretical frameworks. From that effort, the need for a robust core model utilizing advanced mathematics and computation adequate for understanding the behavior of organisms as dynamic wholes was identified. At this end, the authors of this article have proposed WLIMES (Ehresmann and Simeonov, 2012), a formal theory for modeling living systems integrating both the Memory Evolutive Systems (Ehresmann and Vanbremeersch, 2007) and the Wandering Logic Intelligence (Simeonov, 2002b). Its principles will be recalled here with respect to their resonances to Eastern thought. (shrink)

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, I (...) believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)

This paper presents a new modified quantum mechanics, Critical Complexity Quantum Mechanics, which includes a new account of wavefunction collapse. This modified quantum mechanics is shown to arise naturally from a fully discrete physics, where all physical quantities are discrete rather than continuous. I compare this theory with the spontaneous collapse theories of Ghirardi, Rimini, Weber and Pearle and discuss some implications of these theories and CCQM for a realist view of the quantum realm.

I discuss the view, increasingly common in physics, that the foundational level of our physical reality is a network of computing machines (so that our universe is ultimately like a cellular automaton). I discuss finitely extended and divided (discrete) space-time and discrete causality. I examine reasons for thinking that the foundational computational complexity of our universe is finite. I discuss the emergence of an ordered complexity hierarchy of levels of objects over the foundational level and I show how the special (...) sciences study these emergent objects. (shrink)

Analysis is given of the Omega Point cosmology, an extensively peer-reviewed proof (i.e., mathematical theorem) published in leading physics journals by professor of physics and mathematics Frank J. Tipler, which demonstrates that in order for the known laws of physics to be mutually consistent, the universe must diverge to infinite computational power as it collapses into a final cosmological singularity, termed the Omega Point. The theorem is an intrinsic component of the Feynman-DeWitt-Weinberg quantum gravity/Standard Model Theory of Everything (TOE) describing (...) and unifying all the forces in physics, of which itself is also required by the known physical laws. With infinite computational resources, the dead can be resurrected--never to die again--via perfect computer emulation of the multiverse from its start at the Big Bang. Miracles are also physically allowed via electroweak quantum tunneling controlled by the Omega Point cosmological singularity. The Omega Point is a different aspect of the Big Bang cosmological singularity--the first cause--and the Omega Point has all the haecceities claimed for God in the traditional religions. -/- From this analysis, conclusions are drawn regarding the social, ethical, economic and political implications of the Omega Point cosmology. (shrink)

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.

This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation.

McTaggart's ideas on the unreality of time as expressed in "The Nature of Existence" have retained great interest for many years for scholars, academics and other philosophers. In this essay, there is a brief discussion which mentions some of the high points of this philosophical interest, and goes on to apply his ideas to modern physics and neuroscience. It does not discuss McTaggart's C and D series, but does emphasise how the use of derived versions of both his A and (...) B series can be of great virtue in discussing both the abstract physics of time, and the present and future importance of McTaggart's ideas to the subject of time. Indeed an experiment using human volunteers and dynamic systems modelling which was carried out is described, which illustrates this fact. The Many Bubble Interpretation, which also derives from McTaggart's ideas, is discussed and various examples of its use and effectiveness are referred to. The Schrodinger Cat paradox is essentially resolved in principle, the quantum Zeno effect interpretable, Kwiat's recent result referred to, and the newly discovered reverse Stickgold effect described. (shrink)

Combining physics, mathematics and computer science, quantum computing and its sister discipline of quantum information have developed in the past few decades from visionary ideas to two of the most fascinating areas of quantum theory. General interest and excitement in quantum computing was initially triggered by Peter Shor (1994) who showed how a quantum algorithm could exponentially “speed-up” classical computation and factor large numbers into primes far more efficiently than any (known) classical algorithm. Shor’s algorithm was soon followed by several (...) other algorithms that aimed to solve combinatorial and algebraic problems, and in the years since theoretical study of quantum systems serving as computational devices has achieved tremendous progress. Common belief has it that the implementation of Shor’s algorithm on a large scale quantum computer would have devastating consequences for current cryptography protocols which rely on the premise that all known classical worst-case algorithms for factoring take time exponential in the length of their input (see, e.g., Preskill 2005). Consequently, experimentalists around the world are engaged in attempts to tackle the technological difficulties that prevent the realisation of a large scale quantum computer. But regardless whether these technological problems can be overcome (Unruh 1995; Ekert and Jozsa 1996; Haroche and Raimond 1996), it is noteworthy that no proof exists yet for the general superiority of quantum computers over their classical counterparts. -/- The philosophical interest in quantum computing is manifold. From a social-historical perspective, quantum computing is a domain where experimentalists find themselves ahead of their fellow theorists. Indeed, quantum mysteries such as entanglement and nonlocality were historically considered a philosophical quibble, until physicists discovered that these mysteries might be harnessed to devise new efficient algorithms. But while the technology for harnessing the power of 50–100 qubits (the basic unit of information in the quantum computer) is now within reach (Preskill 2018), only a handful of quantum algorithms exist, and the question of whether these can truly outperform any conceivable classical alternative is still open. From a more philosophical perspective, advances in quantum computing may yield foundational benefits. For example, it may turn out that the technological capabilities that allow us to isolate quantum systems by shielding them from the effects of decoherence for a period of time long enough to manipulate them will also allow us to make progress in some fundamental problems in the foundations of quantum theory itself. Indeed, the development and the implementation of efficient quantum algorithms may help us understand better the border between classical and quantum physics (Cuffaro 2017, 2018a; cf. Pitowsky 1994, 100), and perhaps even illuminate fundamental concepts such as measurement and causality. Finally, the idea that abstract mathematical concepts such as computability and complexity may not only be translated into physics, but also re-written by physics bears directly on the autonomous character of computer science and the status of its theoretical entities—the so-called “computational kinds”. As such it is also relevant to the long-standing philosophical debate on the relationship between mathematics and the physical world. (shrink)

The aim of this essay is to distinguish and analyze several difficulties confronting attempts to reconcile the fundamental quantum mechanical dynamics with Born''s rule. It is shown that many of the proposed accounts of measurement fail at least one of the problems. In particular, only collapse theories and hidden variables theories have a chance of succeeding, and, of the latter, the modal interpretations fail. Any real solution demands new physics.

We explore the possibility of using quantum mechanical principles for hypercomputation through the consideration of a quantum algorithm for computing the Turing halting problem. The mathematical noncomputability is compensated by the measurability of the values of quantum observables and of the probability distributions for these values. Some previous no-go claims against quantum hypercomputation are then reviewed in the light of this new positive proposal.

Artificial intelligence algorithms, fueled by continuous technological development and increased computing power, have proven effective across a variety of tasks. Concurrently, quantum computers have shown promise in solving problems beyond the reach of classical computers. These advancements have contributed to a misconception that quantum computers enable hypercomputation, sparking speculation about quantum supremacy leading to an intelligence explosion and the creation of superintelligent agents. We challenge this notion, arguing that current evidence does not support the idea that quantum technologies enable hypercomputation. (...) Fundamental limitations on information storage within finite spaces and the accessibility of information from quantum states constrain quantum computers from surpassing the Turing computing barrier. While quantum technologies may offer exponential speed-ups in specific computing cases, there is insufficient evidence to suggest that focusing solely on quantum-related problems will lead to technological singularity and the emergence of superintelligence. Subsequently, there is no premise suggesting that general intelligence depends on quantum effects or that accelerating existing algorithms through quantum means will replicate true intelligence. We propose that if superintelligence is to be achieved, it will not be solely through quantum technologies. Instead, the attainment of superintelligence remains a conceptual challenge that humanity has yet to overcome, with quantum technologies showing no clear path toward its resolution. (shrink)

Though there is yet no consensus on the right way to understand ‘physicalism’, most philosophers agree that, regardless of whatever else is required, physicalism cannot be true if there exists fundamental mentality. I will follow Jessica Wilson (Philosophical Studies 131:61–99, 2006) in calling this the 'No Fundamental Mentality' (NFM) constraint on physicalism. Unfortunately for those who wish to constrain physicalism in this way, NFM admits of a counterexample: an artificially intelligent quantum computer which employs quantum properties as part of its (...) cognitive operations. If one of these quantum properties serves a proper functional role in the artificial intelligence, then that property counts as a mental under the physicalism-friendly theory of mentality called “realizer functionalism”, which says that a lower-order property is mental if it satisfies an appropriate higher-order functional description. Further, if this quantum property is both fundamental and mental, then NFM must rule that it is not physical. Yet the existence of such an artificially intelligent quantum computer, which possesses mental properties solely in virtue of the functional roles those properties play, is surely consistent with the truth of physicalism. This ought to motivate NFM proponents to reformulate their view. (shrink)

Over the past ten years, we have worked in a collaboration between educators and computer scientists at the University of Illinois to imagine futures for education in the context of what is loosely called “artificial intelligence.” Unhappy with the first generation of digital learning environments, our agenda has been to design alternatives and research their implementation. Our starting point has been to ask, what is the nature of machine intelligence, and what are its limits and potentials in education? This paper (...) offers some tentative answers, first conceptually, and then practically in an overview of the results of a number of experimental implementations documented in greater detail elsewhere. Our key finding is that artificial intelligence—in the context of the practices of electronic computing developing over the past three quarters of a century—will never in any sense “take over” the role of teacher, because how it works and what it does are so profoundly different from human intelligence. However, within the limits that we describe in this paper, it offers the potential to transform education in ways that—counterintuitively perhaps—make education more human, not less. (shrink)

The aim of this paper is to begin developing a version of Gualtiero Piccinini’s mechanistic account of computation that does not need to appeal to any notion of proper (or teleological) functions. The motivation for doing so is a general concern about the role played by proper functions in Piccinini’s account, which will be evaluated in the first part of the paper. I will then propose a potential alternative approach, where computing mechanisms are understood in terms of Carl Craver’s perspectival (...) account of mechanistic functions. According to this approach, the mechanistic function of ‘performing a computation’ can only be attributed relative to an explanatory perspective, but such attributions are nonetheless constrained by the underlying physical structure of the system in question, thus avoiding unlimited pancomputationalism. If successful, this approach would carry with it fewer controversial assumptions than Piccinini’s original account, which requires a robust understanding of proper functions. Insofar as there are outstanding concerns about the status of proper functions, this approach would therefore be more generally acceptable. (shrink)

Christopher G. Timpson provides the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. He argues for an ontologically deflationary account of the nature of quantum information, which is grounded in a revisionary analysis of the concepts of information.

Why do the fundamental forces of nature (i.e., the forces that appear to cause all the movements and interactions in the universe) manifest in the way, shape, and form that they do? This is one of the greatest ontological questions that science can investigate. In this article, we are going to consider this crucial question (and relevant issues) via a new axiomatic mathematical formalism. -/- In Part I (pp. 1-10) of this article we provide a general overview (and analysis) of (...) the basic properties of a number of current notable discontinuous approaches to fundamental physics. -/- In Part II (the main part, pp.11-99, Ref. [37]) of this article, as a new mathematical approach to origin of the laws of nature, using a new basic algebraic axiomatic (matrix) formalism based on the ring theory and Clifford algebras (presented in Sec.2), “it is shown that certain mathematical forms of fundamental laws of nature, including laws governing the fundamental forces of nature (represented by a set of two definite classes of general covariant massive field equations, with new matrix formalisms), are derived uniquely from only a very few axioms”; where in agreement with the rational Lorentz group, it is also basically assumed that the components of relativistic energy-momentum can only take rational values. In essence, the main scheme of this new mathematical axiomatic approach to fundamental laws of nature is as follows. First based on the assumption of rationality of D-momentum, by linearization (along with a parameterization procedure) of the Lorentz invariant energy-momentum quadratic relation, a unique set of Lorentz invariant systems of homogeneous linear equations (with matrix formalisms compatible with certain Clifford, and symmetric algebras) is derived. Then by first quantization (followed by a basic procedure of minimal coupling to space-time geometry) of these determined systems of linear equations, a set of two classes of general covariant massive (tensor) field equations (with matrix formalisms compatible with certain Clifford, and Weyl algebras) is derived uniquely as well. Each class of the derived general covariant field equations also includes a definite form of torsion field appeared as generator of the corresponding field’ invariant mass. In addition, it is shown that the (1+3)-dimensional cases of two classes of derived field equations represent a new general covariant massive formalism of bispinor fields of spin-2, and spin-1 particles, respectively. In fact, these uniquely determined bispinor fields represent a unique set of new generalized massive forms of the laws governing the fundamental forces of nature, including the Einstein (gravitational), Maxwell (electromagnetic) and Yang-Mills (nuclear) field equations. Moreover, it is also shown that the (1+2)-dimensional cases of two classes of these field equations represent (asymptotically) a new general covariant massive formalism of bispinor fields of spin-3/2 and spin-1/2 particles, corresponding to the Dirac and Rarita–Schwinger equations. -/- As a particular consequence, it is shown that a certain massive formalism of general relativity – with a definite form of torsion field appeared originally as the generator of gravitational field’s invariant mass – is obtained only by first quantization (followed by a basic procedure of minimal coupling to space-time geometry) of a certain set of special relativistic algebraic matrix equations. It has been also proved that Lagrangian densities specified for the originally derived new massive forms of the Maxwell, Yang-Mills and Dirac field equations, are also gauge invariant, where the invariant mass of each field is generated solely by the corresponding torsion field. In addition, in agreement with recent astronomical data, a new form of massive boson is identified (corresponding to U(1) gauge group) with invariant mass: m_γ ≈ 4.90571×10^-50 kg, generated by a coupled torsion field of the background space-time geometry. -/- Moreover, based on the definite mathematical formalism of this axiomatic approach, along with the C, P and T symmetries (represented basically by the corresponding quantum operators) of the fundamentally derived field equations, it has been concluded that the universe could be realized solely with the (1+2) and (1+3)-dimensional space-times (where this conclusion, in particular, is based on the T-symmetry of these equations). It is shown that CPT is the only combined form of C, P, and T symmetries of interacting fields. In addition, on the basis of these discrete symmetries of derived field equations, it has been also shown that only left-handed particle fields (along with their complementary right-handed fields) could be coupled to the corresponding (any) source currents. Furthermore, it has been shown that the metric of background space-time is diagonalized for the uniquely derived fermion field equations (defined and expressed solely in (1+2)-dimensional space-time), where this property generates a certain set of additional symmetries corresponding uniquely to the "SU(2)_L x U(2)_R" symmetry group for spin-1/2 fermion fields (representing “1+3” generations of four fermions, including a group of eight leptons and a group of eight quarks), and also the "SU(2)_L x U(2)_R" and "SU(3)" gauge symmetry groups for spin-1 boson fields coupled to the spin-1/2 fermionic source currents. Hence, along with the known elementary particles, eight new elementary particles, including four new charge-less right-handed spin-1/2 fermions (including two leptons and two quarks), a spin-3/2 fermion, and also three new spin-1 (massive) bosons are predicted uniquely by this axiomatic approach. As a particular result, based on the definite formulation of the derived Maxwell (and Yang-Mills) field equations, it has been also concluded that magnetic monopoles could not exist in nature. -/- Comments: 99 Pages. A summary of a submitted and accepted research project (On "Foundations of Physics"), Ramin Zahedi, Japan, 2012 - 2015. -/- Invited and Presented Research Article at: The 4th International Conference on New Frontiers in Physics ICNFP2015, Europe (CERN), (https://indico.cern.ch/e/icnfp2015); The 2016 SIAM International Conference on Mathematical Aspects of Materials Science, Philadelphia, USA, (https://www.siam.org/meetings/ms16/); The 17th International Conference on Quantum Foundations: Quantum and Beyond, International Centre for Mathematical Modeling in Physics, Engineering and Cognitive Sciences ( ICMM), Linnaeus University, Sweden, 2016, (https://lnu.se/en/qb/); The 2016 International Conference on Algebraic Geometry and Mathematical Physics (AGMP 2016), University of Tromsø, Norway, (https://site.uit.no/); International Conference on Noncommutative Geometry, Quantum Symmetries and Quantum Gravity (II), XXXVII Max Born International Symposium, Wroclaw University, Poland, 2016, (http://ift.uni.wroc.pl/~mborn37/); 2016 GRavitational-wave Astronomy International Conference (Meeting) in Paris, The Institute d’Astrophysique de Paris (IAP), The University of Paris VI - Sorbonne University, CNRS, LERU, EUA, France, 2016, (Supported by the European Union's Seventh Framework Program: FP7/PEOPLE-2011-CIG); The 22nd Internnational Australian Institute of Physics Congress (AIP), University of Queensland, Brisbane, Australia, 2016, (http://appc-aip2016.org.au/); The 21st International Conference on General Relativity and Gravitation, Columbia University, New York, USA, 2016, (http://www.gr21.org/). -/- Acknowledgements: Special thanks are extended to Prof. and Academician Vitaly L. Ginzburg (Russia), Prof. and Academician Dmitry V. Shirkov (Russia), Prof. Leonid A . Shelepin (Russia), Prof. Vladimir Ya. Fainberg (Russia), Prof. Wolfgang Rindler (USA), Prof. Roman W. Jackiw (USA), Prof. Roger Penrose (UK), Prof. Steven Weinberg (USA), Prof. Ezra T. Newman (USA), Prof. Graham Jameson (UK), Prof. Sergey A. Reshetnjak (Russia), Prof. Sir Michael Atiyah (UK) (who, in particular, kindly encouraged me to continue this work as a new unorthodox (primary) mathematical approach to fundamental physics), and many others for their support and valuable guidance during my studies and research. -/- External URLs of the Article (Including updated versions): https://inspirehep.net/record/1387680/, https://indico.cern.ch/event/344173/session/22/contribution/422/attachments/1140145/1646101/R.a.Zahe di--OnDiscretePhysics-Jan.2015-signed.pdf, https://cds.cern.ch/record/1980381/, https://dumas.ccsd.cnrs.fr/TDS-MACS/hal-01476703 , http://eprints.lib.hokudai.ac.jp/dspace/handle/2115/59279/. DOI: https://dx.doi.org/10.17605/OSF.IO/PQGA9 . (shrink)

Certain enterprises at the fringes of science, such as intelligent design creationism, claim to identify phenomena that go beyond not just our present physics but any possible physical explanation. Asking what it would take for such a claim to succeed, we introduce a version of physicalism that formulates the proposition that all available data sets are best explained by combinations of “chance and necessity”—algorithmic rules and randomness. Physicalism would then be violated by the existence of oracles that produce certain kinds (...) of noncomputable functions. Examining how a candidate for such an oracle would be evaluated leads to questions that do not admit an easy resolution. Since we lack any plausible candidate for any such oracle, however, chance-and-necessity physicalism appears very likely to be correct. (shrink)

Quantum Information Theory and the Foundations of Quantum Mechanics is a conceptual analysis of one of the most prominent and exciting new areas of physics, providing the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. -/- Beginning from a careful, revisionary, analysis of the concepts of information in the everyday and classical information-theory settings, Christopher G. Timpson argues for an ontologically deflationary account of the nature of quantum information. (...) Against what many have supposed, quantum information can be clearly defined (it is not a primitive or vague notion) but it is not part of the material contents of the world. Timpson's account sheds light on the nature of nonlocality and information flow in the presence of entanglement and, in particular, dissolves puzzles surrounding the remarkable process of quantum teleportation. In addition it permits a clear view of what the ontological and methodological lessons provided by quantum information theory are; lessons which bear on the gripping question of what role a concept like information has to play in fundamental physics. Topics discussed include the slogan 'Information is Physical', the prospects for an informational immaterialism (the view that information rather than matter might fundamentally constitute the world), and the status of the Church-Turing hypothesis in light of quantum computation. -/- With a clear grasp of the concept of information in hand, Timpson turns his attention to the pressing question of whether advances in quantum information theory pave the way for the resolution of the traditional conceptual problems of quantum mechanics: the deep problems which loom over measurement, nonlocality and the general nature of quantum ontology. He marks out a number of common pitfalls to be avoided before analysing in detail some concrete proposals, including the radical quantum Bayesian programme of Caves, Fuchs, and Schack. One central moral which is drawn is that, for all the interest that the quantum information-inspired approaches hold, no cheap resolutions to the traditional problems of quantum mechanics are to be had. (shrink)

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'' (...) (as, in fact, seminal), we believe that unless such a modus operandi is married to formal philosophy, nothing conclusive will be produced (as evidenced by the problems plaguing Cleland's work that we uncover). Herein, we attempt to pull off not the complete marriage for hypercomputation, but perhaps at least the beginning of a courtship that others can subsequently help along. (shrink)

In 2003, philosopher Nick Bostrom presented the provocative idea that we are now living in a computer simulation. Although his argument is structured to include a “hypothesis,” it is unclear that his proposition can be accounted as a properly scientific hypothesis. Here Bostrom’s argument is engaged critically by accounting for philosophical and scientific positions that have implications for Bostrom’s principal thesis. These include discussions from Heidegger, Einstein, Heisenberg, Feynman, and Dreyfus that relate to modelling of structures of thinking and computation. (...) In consequence of this accounting, given that there seems to be no reasonably admissible evidence to count for the task of falsification, one concludes that the computer simulation argument’s hypothesis is only speculative and not scientific. (shrink)

Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate her proposal (...) to understand the effectiveness of procedures in terms of their reliability and precision. A number of conditions for effectiveness are identified and these are used to provide a general argument against the possibility of a Leibnizian decision procedure. (shrink)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

A recent attempt to compute a (recursion‐theoretic) noncomputable function using the quantum adiabatic algorithm is criticized and found wanting. Quantum algorithms may outperform classical algorithms in some cases, but so far they retain the classical (recursion‐theoretic) notion of computability. A speculation is then offered as to where the putative power of quantum computers may come from.

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 (...) of entanglement in a general quantum computation and the non classical way in which parallel results are combined to obtain the final output. (shrink)

The ideas of quantum simulation and advances in quantum algorithms to solve quantum chemistry problems have been discussed. Theoretical proposals and experimental investigations both have been studied to gauge the extent to which quantum computation has been applied to solve quantum chemical problems till date. The distinctive features and limitations of the application of quantum simulation on chemical systems and current approaches to define and improve upon standard quantum algorithms have been studied in detail. The possibility and consequences of designing (...) an efficient quantum computer that can address chemical problems have been assessed. The experimental realization of quantum supremacy defies the conventional belief of chemists, that millions of qubits would be required to solve fundamental chemistry problems. It is predicted that quantum simulation of quantum chemistry problems will radically revolutionize this field. (shrink)

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 (...) working scientists and philosophers of science interested in cutting-edge scientific practice. (shrink)

This paper considers the potential impact that the nascent technology of quantum computing may have on society. It focuses on three areas: cryptography, optimization, and simulation of quantum systems. We will also discuss some ethical aspects of these developments, and ways to mitigate the risks.

We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, quantum effects do not have the temporal properties required for neural information processing. Second, there are substantial physical obstacles to any organic instantiation of quantum computation. Third, there is no psychological evidence that such mental phenomena as consciousness and mathematical thinking require explanation via quantum theory. We conclude that understanding brain function is unlikely to require (...) quantum computation or similar mechanisms. (shrink)

Selmer Bringsjord & Joshua Taylor∗ Department of Cognitive Science Department of Computer Science The Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA http://www.rpi.edu/∼brings {selmer,tayloj}@rpi.edu..

We analyze the effects of the introduction of new mathematical tools on an old branch of physics by focusing on lattice fluids, which are cellular automata -based hydrodynamical models. We examine the nature of these discrete models, the type of novelty they bring about within scientific practice and the role they play in the field of fluid dynamics. We critically analyze Rohrlich's, Fox Keller's and Hughes' claims about CA-based models. We distinguish between different senses of the predicates “phenomenological” and “theoretical” (...) for scientific models and argue that it is erroneous to conclude, as they do, that CA-based models are necessarily phenomenological in any sense of the term. We conversely claim that CA-based models of fluids, though at first sight blatantly misrepresenting fluids, are in fact conservative as far as the basic laws of statistical physics are concerned and not less theoretical than more traditional models in the field. Based on our case-study, we propose a general discussion of the prospect of CA for modeling in physics. We finally emphasize that lattice fluids are not just exotic oddities but do bring about new advantages in the investigation of fluids' behavior. (shrink)

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 (...) within experiments conducted on diverse realizations of the analogue model. A prospectus is given for further potential cases of analogue simulation in contemporary science. 1 Introduction2 Physical Background2.1 Hawking radiation in semi-classical gravity2.2 Modelling sound in fluids2.3 The acoustic analogue model of Hawking radiation3 Simulation and Analogy in Physical Theory3.1 Analogical reasoning and analogue simulation3.2 Confirmation via analogue simulation3.3 Recapitulation4 The Sound of Silence: Analogical Insights into Gravity4.1 Experimental realization of analogue models4.2 Universality and the Hawking effect4.3 Confirmation of gravitational Hawking radiation5 Prospectus. (shrink)

Turing’s paper on computable numbers has played its role in underpinning different perspectives on the world of information. On the one hand, it encourages a digital ontology, with a perceived flatness of computational structure comprehensively hosting causality at the physical level and beyond. On the other, it can give an insight into the way in which higher order information arises and leads to loss of computational control—while demonstrating how the control can be re-established, in special circumstances, via suitable type reductions. (...) We examine the classical computational framework more closely than is usual, drawing out lessons for the wider application of information–theoretical approaches to characterizing the real world. The problem which arises across a range of contexts is the characterizing of the balance of power between the complexity of informational structure and the means available to bring this information back into the computational fold. We proceed via appropriate mathematical modelling to a more coherent view of the computational structure of information, relevant to a wide spectrum of areas of investigation. (shrink)

This article tells the story of Ed Fredkin, a pilot, programmer, engineer, hardware designer and entrepreneur, whose work inside and outside academia has influenced major developments in computer science and in the foundations of theoretical physics for the past fifty years.

The aim of this paper is to present some basic notions of the theory of quantum computing and to compare them with the basic notions of the classical theory of computation. I am convinced, that the results of quantum computation theory (QCT) are not only interesting in themselves, but also should be taken into account in discussions concerning the nature of mathematical knowledge. The philosophical discussion will however be postponed to another paper. QCT seems not to be well-known among philosophers (...) (at least not to the degree it deserves), so the aim of this paper is to provide the necessary technical preliminaries presented in a way accessible to the general philosophical audience. (shrink)