相关论文: Almost all classical theorems are intuitionistic

We develop a correspondence between the theory of sequential algorithms and classical reasoning, via Kreisel's no-counterexample interpretation. Our framework views realizers of the no-counterexample interpretation as dynamic processes…

In this paper we present a formalization of Intuitionistic Propositional Logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as exploring the relation between…

The celebrated quantum no-cloning theorem states that an arbitrary quantum state cannot be cloned perfectly. This raises questions about cloning of classical states, which have also attracted attention. Here, we present a physical approach…

Ambiguity is shown in the context of the differential calculus of several variables and with the help of the language of category theory, a way to solve it in its most general form is offered. It is also shown that this new definition is…

We generalize the classical probability frame by adopting a wider family of random variables that includes nondeterministic ones. The frame that emerges is known to host a ''classical'' extension of quantum mechanics. We discuss the notion…

A generalization of classical mechanics is obtained from a complex parametrization of the phase space. The formalism supports complex Hamiltonian functions describing non-conservative classical mechanical systems. A quantization scheme that…

To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subjected to a direct experimental test,…

We argue using simple models that all successful practical uses of probabilities originate in quantum fluctuations in the microscopic physical world around us, often propagated to macroscopic scales. Thus we claim there is no physically…

Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing…

Ontological models are attempts to quantitatively describe the results of a probabilistic theory, such as Quantum Mechanics, in a framework exhibiting an explicit realism-based underpinning. Unlike either the well known quasi-probability…

A brief review of the physics of systems including higher derivatives in the Lagrangian is given. All such systems involve ghosts, i.e. the spectrum of the Hamiltonian is not bounded from below and the vacuum ground state is absent. Usually…

Classical physics is reformulated as a constrained Hamiltonian system in the history phase space. Dynamics, i.e. the Euler-Lagrange equations, play the role of first-class constraints. This allows us to apply standard methods from the…

Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of…

According to quantum theory, randomness is a fundamental property of the universe yet classical physics is mostly deterministic. In this article I show that it is possible for deterministic systems to arise from random ones and discuss the…

The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to…

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…

Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has…

In a previous article [H. Bergeron, J. Math. Phys. 42, 3983 (2001)], we presented a method to obtain a continuous transition from classical to quantum mechanics starting from the usual phase space formulation of classical mechanics. This…

The formulation of classical mechanics applicable to fermionic degrees of freedom is presented in mathematically rigorous terms, including a description of how the mathematical structure relates to the quantization of the theory. Canonical…

We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is…