Related papers: Machines, Logic and Quantum Physics
This paper reviews connections between physics and computation, and explores their implications. The main topics are computational "hardness" of physical systems, computational status of fundamental theories, quantum computation, and the…
We formulate physically-motivated axioms for a physical theory which for systems with a finite number of degrees of freedom uniquely lead to Quantum Mechanics as the only nontrivial consistent theory. Complex numbers and the existence of…
Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very…
In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Computer-assisted proofs will be give a special…
However, the observations encompassed by classical physics excludes the observer from the physical reality, yet the deep-down understandung of nature --{\it the quantum theory}-- can not avoid the intrusion of observer into the measurement…
Laymen and sometimes even physicists think of natural sciences, in particular of theoretical and mathematical physics often as subjects, which unfold according to an intrinsic logical pattern, with the limitations being set only by the…
We take the view that physical quantities are values generated by processes in measurement, not pre-existent objective quantities, and that a measurement result is strictly a product of the apparatus and the subject of the measurement. We…
Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.
Computability logic is a formal theory of computational tasks and resources. Formulas in it represent interactive computational problems, and "truth" is understood as algorithmic solvability. Interactive computational problems, in turn, are…
Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be…
The relativity theory principles and the quants theory principles are deduced from logic properties of the information, obtained from a physics device.
Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of…
We argue that a clear view on quantum mechanics is obtained by considering that the unicity of the macroscopic world is a fundamental postulate of physics, rather than an issue that must be mathematically justified or demonstrated. This…
Quantum advantage is notoriously hard to find and even harder to prove. For example the class of functions computable with classical physics actually exactly coincides with the class computable quantum-mechanically. It is strongly believed,…
Quantum mechanics led to spectacular technological developments, discovery of new constituents of matter and new materials. However there is still no consensus on its interpretation and limitations. Some scientists and scientific writers…
Applications of quantum mechanics have led to many successful predictions and explanations of puzzling phenomena, and we now apply quantum mechanics to gain, process, and communicate information in novel ways. We can understand quantum…
A type of mechanics will be presented that possesses some distinctive properties. On the one hand, its physical description & rules of operation are readily comprehensible & intuitively clear. On the other, it fully satisfies all observable…
We acuminate the idea of a final theory of physics in order to analyze its logical implications and consequences. It is argued that the rationale of a final theory is the principle of sufficient reason. This implies that a final theory of…
It is a quite common view among people, that are not aware of the developments in modern physics, that it is part of human nature to substitute religious faith in places where there is no knowledge. Therefore, an increase in knowledge would…
We review recent work that employs the framework of logical inference to establish a bridge between data gathered through experiments and their objective description in terms of human-made concepts. It is shown that logical inference…