Related papers: Goedel and Physics
Incomputability results in Formal Logic and the Theory of Computation (i.e., incompleteness and undecidability) have deep implications for the foundations of mathematics and computer science. Likewise, Social Choice Theory, a branch of…
In this presentation, I review physical principles behind a recently proposed \cite{smw-utr} Universal Theory of Relativity and speculate on the mathematical requirements implied by these physical principles. Some unresolved issues will…
The issue of the transformations of units is treated, mainly, in a geometrical context. It is shown that Weyl-integrable geometry is a consistent framework for the formulation of the gravitational laws since the basic law on which this…
The existence of a global time is often taken for granted but should instead be considered as a matter of investigation. By using the tools of global Lorentzian geometry I show that, under physically reasonable conditions, the impossibility…
The no-supervenience theorem limits the capacity of physicalist theories to provide a comprehensive account of human consciousness. The proof of the theorem is difficult to formalize because it relies on both alethic and epistemic notions…
Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet…
Due to common misconceptions about the Church-Turing thesis, it has been widely assumed that the Turing machine provides an upper bound on what is computable. This is not so. The new field of hypercomputation studies models of computation…
The synthesis of quantum and gravitational physics is sought through a finite, realistic, locally causal theory where gravity plays a vital role not only during decoherent measurement but also during non-decoherent unitary evolution.…
The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian (binary) logic. In the philosophy of science the ambiguities, paradoxes, and the…
The structure of a light cone in the Goedel universe is studied. We derive the intrinsic cone metric, calculate the rotation coefficients of the ray congruence forming the cone, determine local differential invariants up to second order,…
Why does such a successful theory like Quantum Mechanics have so many mysteries? The history of this theory is replete with dubious interpretations and controversies, and yet a knowledge of its predictions, however, contributed to the…
We will show for undergraduate and graduate students of physics that Quantum Mechanics is an incomplete and non-local theory. The problem of non-locality is discussed by analyzing the Bell's theorem where are considered correlations between…
Despite being known for his pioneering work on chaotic unpredictability, the key discovery at the core of meteorologist Ed Lorenz's work is the link between space-time calculus and state-space fractal geometry. Indeed, properties of…
There are many ways we can not know. Even in systems that we created ourselves, as, for example, systems in mathematical logic, Go\"edel and Tarski's theorems impose limits on what we can know. As we try to speak of the real world, things…
General Relativity is not the definitive theory of Gravitation due to several shortcomings which are coming out both from theoretical and experimental viewpoints. At large scales (astrophysical and cosmological scales) the attempts to match…
This work is based on the idea that extension of physical and mathematical theories to include the amount of space, time, momentum, and energy resources required to determine properties of systems may influence what is true in physics and…
The accelerating expansion of the universe presents an exciting, fundamental challenge to the standard models of particle physics and cosmology. I highlight some of the outstanding challenges in both developing theoretical models and…
More than a speculative technology, quantum computing seems to challenge our most basic intuitions about how the physical world should behave. In this thesis I show that, while some intuitions from classical computer science must be…
Because of the non-locality of quantum entanglement, realist approaches to completing quantum mechanics have implications for our conception of space. Quantum gravity also is expected to predict phenomena in which the locality of classical…
I'll discuss how Goedel's paradox "This statement is false/unprovable" yields his famous result on the limits of axiomatic reasoning. I'll contrast that with my work, which is based on the paradox of "The first uninteresting positive whole…