Related papers: How real are real numbers?
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…
We propose a reinterpretation of the continuum grounded in the stratified structure of definability rather than classical cardinality. In this framework, a real number is not an abstract point on the number line, but an object expressible…
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…
In the paper we investigate Borel classes of multivalued functions of two variables. In particular we generalize a result of Marczewski and Ryll-Nardzewski concerning of real function whose ones of its sections are right-continuous and…
We give an effective form of the theorem of Mazur-Kamienny-Merel on the torsion of elliptic curves over number fields.
Is reality three-dimensional and becoming real (Presentism), or is reality four-dimensional and becoming illusory (Eternalism)? Both options raise difficulties. I argue that we do not need to be trapped by this dilemma. There is a third…
Motivated by the works of Erd\"os, Pomerance, Wolke and Harman on the sum-of-divisor function $\sigma(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term…
Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…
We introduce the notion of Q-Borel ideals: ideals which are closed under the Borel moves arising from a poset Q. We study decompositions and homological properties of these ideals, and offer evidence that they interpolate between Borel…
We present the basic theory of calculus on dual real numbers, and prove the counterpart of the ordinary fundamental theorem of calculus in the context of dual real numbers.
Is the universe digital or analog? In this essay I argue that both classical and quantum physics include limits that prevent us from definitively answering that question. That quantum physics does so is no surprise. That classical physics…
Differential equations with infinitely many derivatives, sometimes also referred to as ``nonlocal'' differential equations, appear frequently in branches of modern physics such as string theory, gravitation and cosmology. The goal of this…
In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…
We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. We show…
Stable recursive relations are presented for the numerical computation of the integrals $$\int d{\bf r}_1 d{\bf r}_2 r_1^{l-1} r_2^{m-1} r_{12}^{n-1} \exp{\{-\alpha r_1 -\beta r_2 -\gamma r_{12}\}}$$ ($l$, $m$ and $n$ integer, $\alpha$,…
We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several…
I argue that scientific determinism is not supported by facts, but results from the elegance of the mathematical language physicists use, in particular from the so-called real numbers and their infinite series of digits. Classical physics…
Some physical consequences of the negation of the continuum hypothesis are considered. It is shown that quantum and classical mechanics are component parts of the multicomponent description of the set of variable infinite cardinality.…
It is well known that in dimension one the set of Dirichlet improvable real numbers consists precisely of badly approximable and singular numbers. We show that in higher dimensions this is not the case by proving that there exist continuum…
Complex numbers play a crucial role in quantum mechanics. However, their necessity remains debated: whether they are fundamental or merely convenient. Recently, it was claimed that quantum mechanics based on real numbers can be…