Related papers: The Church-Turing thesis as a guiding principle fo…
It is postulated there is not a precise static instant in time underlying a dynamical physical process at which the relative position of a body in relative motion or a specific physical magnitude would theoretically be precisely determined.…
Quantum computing exposes the brilliance of quantum mechanics through computer science and, as such, gives oneself a marvelous and exhilarating journey to go through. This article leads along that journey with a historical and current…
Alan Turing's pioneering work on computability, and his ideas on morphological computing support Andrew Hodges' view of Turing as a natural philosopher. Turing's natural philosophy differs importantly from Galileo's view that the book of…
Turing Machines are universal computing machines in theory. It has been a long debate whether Turing Machines can simulate the consciousness mind behaviors in the materialistic universe. Three different hypotheses come out of such debate,…
Is there any hope for quantum computing to challenge the Turing barrier, i.e. to solve an undecidable problem, to compute an uncomputable function? According to Feynman's '82 argument, the answer is {\it negative}. This paper re-opens the…
This text presents the research field of natural/unconventional computing as it appears in the book COMPUTING NATURE. The articles discussed consist a selection of works from the Symposium on Natural Computing at AISB-IACAP (British Society…
A New Mathematico-Physical and Information Theoretic Approach Examination of the available hard core information to firm up the process of unification of quantum and gravitational physics leads to the conclusion that for achieving this…
Quantum mechanics is essentially a statistical theory. Classical mechanics, however, is usually not viewed as being inherently statistical. Nevertheless, the latter can also be formulated statistically. Furthermore, a statistical…
Euclid pioneered the concept of a mathematical theory developed from axioms by a series of justified proof steps. From the outset there were critics and improvers. In this century the use of computers to check proofs for correctness sets a…
Quantum mechanics, in its orthodox version, imposes severe limits on what can be known, or even said, about the condition of a quantum system between two observations. A relatively new approach, based on so-called "weak measurements",…
We argue against current proposals concerning the non-existence of time. We point out that a large number of these proposals rely, at least implicitly, on the assumption of `closure' (or `partial closure') of the laws of Physics. I.e. the…
Church's hypothesis and Godel's theorem may provide constraints on mental processes.As a relief quantum entanglement may lead to a definite proposal as regards the nature of reality and how much of it we are able to know and how do we know…
Computation is becoming an increasingly important part of physics education. However, there are currently few theories of learning that can be used to help explain and predict the unique challenges and affordances associated with…
It is a common view in philosophy of physics that thermodynamics is a non-fundamental theory. This is motivated in particular by the fact that thermodynamics is considered to be a paradigmatic example for a theory that can be reduced to…
There are several formulations of the second law, and they may, in principle, have different domains of validity. Here a simple mathematical theorem is proven which serves as the most general basis for the second law, namely the Thomson…
In this paper the claim that Zeno's paradoxes have been solved is contested. Although no one has ever touched Zeno without refuting him (Whitehead), it will be our aim to show that, whatever it was that was refuted, it was certainly not…
In this course, I talk about the source of mathematical constructivism and its role in the future development of theoretical physics. I describe what physical constructivism is and why it is necessary for the penetration of exact methods of…
Turing's famous 'machine' model constitutes the first intuitively convincing framework for computing with real numbers. Kleene's computation schemes S1-S9 extend Turing's approach and provide a framework for computing with objects of any…
This paper proposes a method of unifying quantum mechanics and gravity based on quantum computation. In this theory, fundamental processes are described in terms of pairwise interactions between quantum degrees of freedom. The geometry of…
A fundamental question is whether Turing machines can model all reasoning processes. We introduce an existence principle stating that the perception of the physical existence of any Turing program can serve as a physical causation for the…