相关论文: Machines, Logic and Quantum Physics

The fundamental physical theories that interpret and explain behaviour of matter in nature are dependent on several unobservables and insensibles in their construction. While a rigorous natural philosophy cannot take them for granted, there…

Is quantum mechanics about 'states'? Or is it basically another kind of probability theory? It is argued that the elementary formalism of quantum mechanics operates as a well-justified alternative to 'classical' instantiations of a…

We strengthen the case that the new logical perspective afforded by topos theory is suitable to the task of describing the physical world around us. In exploring some of the aspects of construction of a simple quantum-mechanical system in a…

We argue, through some philosophical considerations, on (i)dependent or (ii) an independent existence of physical reality underlying quantum states. According these simple considerations, we conclude that is impossible to have a clear…

Since quantum mechanics (QM) was formulated, many voices have claimed this to be the basis of free will in the human beings. Basically, they argue that free will is possible because there is an ontological indeterminism in the natural laws,…

In classical theory, the physical systems are elucidated through the concepts of particles and waves, which aim to describe the reality of the physical system with certainty. In this framework, particles are mathematically represented by…

I will propose that the reality to which the quantum formalism implicitly refers is a kind of generalized history, the word history having here the same meaning as in the phrase sum-over-histories. This proposal confers a certain…

Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in…

I show that probabilities in quantum mechanics are a measure of belief in the presence of human ignorance, just like all other probabilities. The Born interpretation of the square of modulus of the wave function arises from the interaction…

New status in quantum mechanics is connected with recent achievements in the inverse problem. With its help instead of about ten exactly solvable models which serve as a basis of the contemporary education there are infinite (!) number,…

The generally accepted wisdom in computational circles is that pure proof verification is a solved problem and that the computationally hard elements and fertile areas of study lie in proof discovery. This wisdom presumably does hold for…

Insofar as quantum computation is faster than classical, it appears to be irreversible. In all quantum algorithms found so far the speed-up depends on the extra-dynamical irreversible projection representing quantum measurement. Quantum…

It is shown that quantum mechanics is a plausible statistical description of an ontology described by classical electrodynamics. The reason that no contradiction arises with various no-go theorems regarding the compatibility of QM with a…

We discuss some methodological aspects of the relation between physics and metaphysics by dealing specifically with the case of non-relativistic quantum mechanics. Our main claim is that current attempts to productively integrate quantum…

Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…

Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…

In this paper, we argue that there are foundational dilemmas in theoretical physics related to the concept of reality and the nature of mathematics in physics. Physical theory is treated as a conceptual organism which develops under the…

Physical modeling closes the gap between perception in terms of measurements and abstraction in terms of theoretical models. Physical modeling is a major objective in physics and is generally regarded as a creative process. How good are…

Physics is so successful today in understanding the nature of matter. What can it say about mind ? Is it possible to have a unified theory of matter and mind within the framework of modern science ? Is Consciousness an accident or is it a…

Physical processes are computations only when we use them to externalize thought. Computation is the performance of one or more fixed processes within a contingent environment. We reformulate the Church-Turing thesis so that it applies to…