English
Related papers

Related papers: G\"odel's incompleteness theorem and universal phy…

200 papers

We study abstract versions of G\"odel's second incompleteness theorem and formulate generalizations of L\"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G\"odel's…

Logic · Mathematics 2016-02-19 Lev Beklemishev , Daniyar Shamkanov

Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and…

Quantum Physics · Physics 2010-03-17 C. Calude , D. I. Campbell , K. Svozil , D. Ştefănecu

It is shown that the Einstein-Podolsky-Rosen conclusion concerning the `incompleteness' of Quantum Mechanics does not follow from the results of their proposed gedanken experiment, but is rather stated as a premise. If it were possible to…

Quantum Physics · Physics 2011-11-09 J. H. Field

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…

History and Philosophy of Physics · Physics 2020-06-04 André C. R. Martins

This is the first of a series of papers that we intend to publish about the epistemology of fundamental physics in its current state. One of the main objectives of these papers is to improve our understanding of fundamental physics (and…

Popular Physics · Physics 2024-10-02 Taha Sochi

What is sometimes called the "totalitarian principle," a metaphysical doctrine often associated with the famous physicist Murray Gell-Mann, states that everything allowed by the laws of nature must actually exist. The principle is closely…

History and Philosophy of Physics · Physics 2019-07-11 Helge Kragh

Process Philosophy endeavours to replace the classical ontology of substances by a process ontology centered on notions of changes and transitions. We argue, that the substantial and processual approach are mutually complementary. Here,…

Quantum Physics · Physics 2010-02-26 Hartmann Roemer

In 1929 Szilard pointed out that the physics of the observer may play a role in the analysis of experiments. The same year, Bohr pointed out that complementarity appears to arise naturally in psychology where both the objects of perception…

Quantum Physics · Physics 2019-06-13 John Realpe-Gómez

From various points of view it is argued that one may find phenomena similar to the quantum effects also in macroscopic cases. This forces one to give up as a general requirement the assumption of realism as formulated by Gill and others.…

Quantum Physics · Physics 2012-07-10 Inge S. Helland

Goedel's Incompleteness Theorems have the same scientific status as Einstein's principle of relativity, Heisenberg's uncertainty principle, and Watson and Crick's double helix model of DNA. Our aim is to discuss some new faces of the…

Quantum Physics · Physics 2007-05-23 Cristian S. Calude

Frauchiger and Renner recently cast doubt on the universal applicability of Quantum Mechanics [1]. In the following, it is pointed out that their conclusion of one of three common-sense conditions, demanded for Quantum Mechanics, being…

General Physics · Physics 2020-04-23 Knud Thomsen

In [Found. Phys. 48.12 (2018): 1669], the notion of 'epistemic horizon' was introduced as an explanation for many of the puzzling features of quantum mechanics. There, it was shown that Lawvere's theorem, which forms the categorical…

Quantum Physics · Physics 2020-11-18 Jochen Szangolies

The physical models of a successful unified theory about the Universe must operate in different phase of matter evolution and different fields of physics. The attempts to build such wide range theory as a bunch of theories developed for…

General Physics · Physics 2007-05-23 S. Sarg

The famous G\"odel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements would be natural candidates for being added as axioms, but…

Many physicists, following Einstein, believe that the ultimate aim of theoretical physics is to find a unified theory of all interactions which would not depend on any free dimensionless constant, i.e., a dimensionless constant that is only…

History and Philosophy of Physics · Physics 2015-09-15 Sebastian J. Szybka

I argue that spacetime singularities entail no ontological commitment to material entities. First, I show that Penrose's singularity theorem is best understood as a theorem of incompleteness, it demonstrates the failure of specific…

History and Philosophy of Physics · Physics 2026-02-10 Gustavo E. Romero

Wigner's Friend-type paradoxes challenge the assumption that events are absolute -- that when we measure a system, we obtain a single result, which is not relative to anything or anyone else. These paradoxes highlight the tension between…

Quantum Physics · Physics 2026-04-23 Sumit Mukherjee , Jonte R. Hance

The problem of defining and locating free will (FW) in physics is studied. On basis of logical paradoxes, we argue that FW has a meta-theoretic character, like the concept of truth in Tarski's undefinability theorem. Free will exists…

History and Philosophy of Physics · Physics 2014-01-09 Chetan S. Mandayam Nayakar , R. Srikanth

The problematic relationship between science and philosophy has, since the beginning of modernity, divided the world into two separate domains: nature and human. Some of today's schools of philosophy and epistemological inquiry have…

History and Philosophy of Physics · Physics 2019-10-01 Vedad Famourzadeh , Maysam Sefidkhosh

Quantum theory provides an extremely accurate description of fundamental processes in physics. It thus seems likely that the theory is applicable beyond the, mostly microscopic, domain in which it has been tested experimentally. Here we…

Quantum Physics · Physics 2018-10-08 Daniela Frauchiger , Renato Renner