Related papers: Can Laplace's formula model a deterministic univer…
The \emph{Entscheidungsproblem}, or the classical decision problem, asks whether a given formula of first-order logic is satisfiable. In this work, we consider an extension of this problem to regular first-order \emph{theories}, i.e.,…
The stochastic theory of relativistic quantum mechanics presented here is modelled on the one that has been proposed previously and that was claimed to be a promising substitute to the orthodox theory in the non-relativistic domain. So it…
In classical probability theory, the best predictor of a future observation of a random variable $X,$ is its expected value $E_P[X]$ when no other information is available When information consisting in the observation of another random…
The probabilistic interpretation of Laplace transforms is used to help to describe the Laplace Transform $L(s)$ of improper random variables. In particular, busy periods in queueing models are examined. The value of $L(0)$ is explained in…
As observers of the universe we are physical systems within it. If the universe is very large in space and/or time, the probability becomes significant that the data on which we base predictions is replicated at other locations in…
In this paper we consider a nondeterministic computation by deterministic multi-head 2-way automata having a read-only access to an auxiliary memory. The memory contains additional data (a guess) and computation is successful iff it is…
In this paper two hypotheses are developed. The first hypothesis is the existence of random phenomena/experiments in which the events cannot generally be assigned a definite probability but that nevertheless admit a class of nearly certain…
We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely…
We consider the product of infinitely many copies of a spin-$1\over 2$ system. We construct projection operators on the corresponding nonseparable Hilbert space which measure whether the outcome of an infinite sequence of $\sigma^x$…
A theory which claims to describe all the universe is advanced. It unifies general relativity, quantum field theory, and indeterministic conception. Basic entities are: classical metric tensor $g$, cosmic reference frame (including cosmic…
We establish three impossibility results regarding our knowledge of the quantum state of the universe. Suppose the universal quantum state is a typical unit vector in a high-dimensional subspace $\mathscr{H}_0$ of Hilbert space…
The consistent histories formulation of the quantum theory of a closed system with pure initial state defines an infinite number of incompatible consistent sets, each of which gives a possible description of the physics. We investigate the…
The Hamiltonian constraint system is the canonical formulation of a physical system with a Hamiltonian constrained to vanish. In terms of the canonical variables, we define what we call reference observable, with respect to which other…
We specify a Turing machine $T_{\text{Mordell}}$ with the following properties. 1. On input $(K,C/K)$, with $K/\mathbb{Q}$ a number field and $C/K$ a smooth projective hyperbolic curve, if $T_{\text{Mordell}}$ terminates, then it outputs…
A model of a stationary universe is proposed. In this framework, time is defined as a local and quantum-mechanical notion in the sense that it is defined for each local and quantum-mechanical system consisting of finite number of particles.…
A theoretical scheme, based on a probabilistic generalization of the Hamilton's principle, is elaborated to obtain an unified description of more general dynamical behaviors determined both from a lagrangian function and by mechanisms not…
From the analysis of the measurement process we make the hypothesis that we have to add to the quantum state psi a label z and a special function alpha in order to describe completely the preparation of a (pure) quantum system . Given such…
We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…
In quantum logic, i.e., within the structure of the Hilbert lattice imposed on all closed linear subspaces of a Hilbert space, the assignment of truth values to quantum propositions (i.e., experimentally verifiable propositions relating to…
It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…