Related papers: Linking the Foundations of Physics and Mathematics
We consider a set-theoretic version of mereology based on the inclusion relation $\subseteq$ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of $\in$ from $\subseteq$, we identify…
Sets with atoms serve as an alternative to ZFC foundations for mathematics, where some infinite, though highly symmetric sets, behave in a finitistic way. Therefore, one can try to carry over analysis of the classical algorithms from finite…
The mathematical concept of the Newtonian limit of Einstein's field equations in the expanding Friedmann universe is formulated. The geodesic equations of motion of planets and light are derived and compared.
A quantum-field model of the conformally flat space is formulated using a standard field-theoretical technique, a probability interpretation and a way to establish the classical limit. The starting point is the following: after conformal…
A discussion is given of the quantisation of a physical system with finite degrees of freedom subject to a Hamiltonian constraint by treating time as a constrained classical variable interacting with an unconstrained quantum state. This…
The inevitability of Chern--Simons terms in constructing a variety of physical models, and the mathematical advances they in turn generate, illustrates the unexpected but profound interactions between the two disciplines.
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
Our understanding of the four basic concepts of Physics -- space, time, matter and force -- has undergone radical change in the course of work on unification, starting with Maxwell's unification of electricity with magnetism, all the way to…
The process of cognition is analysed to adjust the set theory to physical description. Postulates and basic definitions are revised. The specific sets of predicates, called presets, corresponding to the physical objects identified by an…
We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quantum mechanics, and then search for a mathematical setting…
We present in this continuation paper a new axiomatic derivation of the Schr\"odinger equation from three basic postulates. This new derivation sheds some light on the thermodynamic character of the quantum formalism. We also show the…
This is an introduction to the set-theoretic method of forcing, including its application in proving the independence of the Continuum Hypothesis from the Zermelo-Fraenkel axioms of set theory. I presuppose no particular mathematical…
At present, our notion of space is a classical concept. Taking the point of view that quantum theory is more fundamental than classical physics, and that space should be given a purely quantum definition, we revisit the notion of Euclidean…
What follows is a broad-brush overview of the recent synergistic interactions between mathematics and theoretical physics of quantum field theory and string theory. The discussion is forward-looking, suggesting potentially useful and…
The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…
A new kind of gauge theory is introduced, where the minimal coupling and corresponding covariant derivatives are defined in the space of functions pertaining to the functional Schroedinger picture of a given field theory. While, for…
The conventional, time-dependent Schroedinger equation describes only unidirectional time evolution of the state of a physical system, i.e., forward or, less commonly, backward. This paper proposes a generalized quantum dynamics for the…
Polymomentum canonical theories, which are manifestly covariant multi-parameter generalizations of the Hamiltonian formalism to field theory, are considered as a possible basis of quantization. We arrive at a multi-parameter hypercomplex…
In recent years the idea that not only the configuration space of particles, i.e. spacetime, but also the corresponding momentum space may have nontrivial geometry has attracted significant attention, especially in the context of quantum…