Related papers: Can Laplace's formula model a deterministic univer…
According to quantum theory, randomness is a fundamental property of the universe yet classical physics is mostly deterministic. In this article I show that it is possible for deterministic systems to arise from random ones and discuss the…
I shall argue that a resolution of the PvNP problem requires building an iff bridge between the domain of provability and that of computability. The former concerns how a human intelligence decides the truth of number-theoretic relations,…
We show that classical particle mechanics (Hamiltonian and Lagrangian consistent with relativistic electromagnetism) can be derived from three fundamental assumptions: infinite reducibility, deterministic and reversible evolution, and…
Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as…
This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…
We show that the classical interpretations of Tarski's inductive definitions actually allow us to define the satisfaction and truth of the quantified formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers…
A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), ''it is not just a matter of the future being determined by the past; the entire history of the…
To study relationship between quantum finite automata and probabilistic finite automata, we introduce a notion of probabilistic reversible automata (PRA, or doubly stochastic automata). We find that there is a strong relationship between…
The Born postulate can be reduced to its deterministic content that only applies to eigenvectors of observables: the standard probabilistic interpretation of generic states then follows from algebraic properties of repeated measurements and…
Quantum theory's irreducible empirical core is a probability calculus. While it presupposes the events to which (and on the basis of which) it serves to assign probabilities, and therefore cannot account for their occurrence, it has to be…
A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems whose low energy behavior simulates that of any spin system.…
One of the important questions in statistical mechanics is how irreversibility (time's arrow) occurs when Newton equations of motion are time reversal invariant. One objection to irreversibility is based on Poincar\'e's recursion theorem: a…
A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions…
It is often claimed that the fundamental laws of physics are deterministic and time-symmetric and that therefore our experience of the passage of time is an illusion. This paper will critically discuss these claims and show that they are…
Two problems will be considered: the question of hidden parameters and the problem of Kolmogorovity of quantum probabilities. Both of them will be analyzed from the point of view of two distinct understandings of quantum mechanical…
We revisit the vexed question of how unpredictability can arise in a deterministic universe, focusing on unitary quantum theory. We discuss why quantum unpredictability is irrelevant for the possibility of what some people call `free-will',…
We show that restricting the elimination principle of the natural numbers type in Martin-L\"of Type Theory (MLTT) to a universe of types not containing $\Pi$-types ensures that all definable functions are primitive recursive. This extends…
If there exists a classical, i.e. deterministic theory underlying quantum mechanics, an explanation must be found of the fact that the Hamiltonian, which is defined to be the operator that generates evolution in time, is bounded from below.…
Without wasting time and effort on philosophical justifications and implications, we write down the conditions for the Hamiltonian of a quantum system for rendering it mathematically equivalent to a deterministic system. These are the…
A non-relativistic quantum mechanical theory is proposed that combines elements of Bohmian mechanics and of Everett's "many-worlds" interpretation. The resulting theory has the advantage of resolving known issues of both theories, as well…