Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userReforming Takeutis Quantum Set Theory to Satisfy De Morgans Laws
50
0
0.0
(
0
)
Authors
Masanao Ozawa
Ask ChatGPT about the research
No Arabic abstract
In 1981, Takeuti introduced set theory based on quantum logic by constructing a model analogous to Boolean-valued models for Boolean logic. He defined the quantum logical truth value for every sentence of set theory. He showed that equality axioms do not hold, while axioms of ZFC set theory hold if appropriately modified with the notion of commutators. Here, we consider the problem in Takeutis quantum set theory that De Morgans laws do not hold for bounded quantifiers. We construct a counter-example to De Morgans laws for bounded quantifiers in Takeutis quantum set theory. We redefine the truth value for the membership relation and bounded existential quantification to ensure that De Morgans laws hold. Then, we show that the truth value of every theorem of ZFC set theory is lower bounded by the commutator of constants therein as quantum transfer principle.
rate research
Read More
In quantum logic, introduced by Birkhoff and von Neumann, De Morgans Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeutis quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeutis quantum set theory has a problem in that De Morgans Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that satisfies De Morgans Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgans Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgans Laws.
We show that the classifying topos for the theory of fields does not satisfy De Morgans law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields.
Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems in analysis and algebra. Using the methods of Boolean valued analysis, he further stepped forward to construct set theory based on quantum logic, as the first step to construct quantum mathematics, a mathematics based on quantum logic. While it is known that the distributive law does not apply to quantum logic, and the equality axiom turns out not to hold in quantum set theory, he showed that the real numbers in quantum set theory are in one-to-one correspondence with the self-adjoint operators on a Hilbert space, or equivalently the physical quantities of the corresponding quantum system. As quantum logic is intrinsic and empirical, the results of the quantum set theory can be experimentally verified by quantum mechanics. In this paper, we analyze Takeutis mathematical world view underlying his program from two perspectives: set theoretical foundations of modern mathematics and extending the notion of sets to multi-valued logic. We outlook the present status of his program, and envisage the further development of the program, by which we would be able to take a huge step forward toward unraveling the mysteries of quantum mechanics that have persisted for many years.
The $omega$-power of a finitary language L over a finite alphabet $Sigma$ is the language of infinite words over $Sigma$ defined by L $infty$ := {w 0 w 1. .. $in$ $Sigma$ $omega$ | $forall$i $in$ $omega$ w i $in$ L}. The $omega$-powers appear very naturally in Theoretical Computer Science in the characterization of several classes of languages of infinite words accepted by various kinds of automata, like B{u}chi automata or B{u}chi pushdown automata. We survey some recent results about the links relating Descriptive Set Theory and $omega$-powers.
Invariant Set Theory (IST) is a realistic, locally causal theory of fundamental physics which assumes a much stronger synergy between cosmology and quantum physics than exists in contemporary theory. In IST the (quasi-cyclic) universe $U$ is treated as a deterministic dynamical system evolving precisely on a measure-zero fractal invariant subset $I_U$ of its state space. In this approach, the geometry of $I_U$, and not a set of differential evolution equations in space-time $mathcal M_U$, provides the most primitive description of the laws of physics. As such, IST is non-classical. The geometry of $I_U$ is based on Cantor sets of space-time trajectories in state space, homeomorphic to the algebraic set of $p$-adic integers, for large but finite $p$. In IST, the non-commutativity of position and momentum observables arises from number theory - in particular the non-commensurateness of $phi$ and $cos phi$. The complex Hilbert Space and the relativistic Dirac Equation respectively are shown to describe $I_U$, and evolution on $I_U$, in the singular limit of IST at $p=infty$; particle properties such as de Broglie relationships arise from the helical geometry of trajectories on $I_U$ in the neighbourhood of $mathcal M_U$. With the p-adic metric as a fundamental measure of distance on $I_U$, certain key perturbations which seem conspiratorially small relative to the more traditional Euclidean metric, take points away from $I_U$ and are therefore unphysically large. This allows (the $psi$-epistemic) IST to evade the Bell and Pusey et al theorems without fine tuning or other objections. In IST, the problem of quantum gravity becomes one of combining the pseudo-Riemannian metric of $mathcal M_U$ with the p-adic metric of $I_U$. A generalisation of the field equations of general relativity which can achieve this is proposed.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
