axiom of choice
Recently Published Documents


TOTAL DOCUMENTS

524
(FIVE YEARS 60)

H-INDEX

21
(FIVE YEARS 1)

2021 ◽  
Author(s):  
Vasil Penchev

A homeomorphism is built between the separable complex Hilbert space and Minkowski space by meditation of quantum information. That homeomorphism can be interpreted physically as the invariance to a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture hinting at another way for proving it, more concise and meaningful physically. Furthermore, the conjecture can be generalized and interpreted in relation to the pseudo-Riemannian space of general relativity therefore allowing for both mathematical and philosophical interpretations of the force of gravitation due to the mismatch of choice and ordering. Mathematically, that homeomorphism means the invariance to choice, the axiom of choice, well-ordering, and well-ordering “theorem” and can be defined generally as “information invariance”. Philosophically, the same homeomorphism implies transcendentalism The fundamental concepts of “choice”, “ordering” and “information” unify physics, mathematics, and philosophy.


2021 ◽  
pp. 185-204
Author(s):  
Ahmet Çevik
Keyword(s):  

2021 ◽  
Vol Volume 17, Issue 3 ◽  
Author(s):  
Jean-Louis Krivine

The theory of classical realizability is a framework for the Curry-Howard correspondence which enables to associate a program with each proof in Zermelo-Fraenkel set theory. But, almost all the applications of mathematics in physics, probability, statistics, etc. use Analysis i.e. the axiom of dependent choice (DC) or even the (full) axiom of choice (AC). It is therefore important to find explicit programs for these axioms. Various solutions have been found for DC, for instance the lambda-term called "bar recursion" or the instruction "quote" of LISP. We present here the first program for AC.


2021 ◽  
Author(s):  
Rana Muhammad Zulqarnain ◽  
Xiao Long Xin ◽  
Young Bai Jun

2021 ◽  
Vol 172 (6) ◽  
pp. 102959
Author(s):  
Karel Hrbacek ◽  
Mikhail G. Katz

Author(s):  
Josephine Hulkewicz

This paper explores multiple perspectives and proofs regarding the validity of what is considered to be one of the – if not THE - most controversial proofs in the field of mathematics, historical and contemporary applications alike. We consider the various explanations and equivalents of the axiom along with the more widely receptive alternatives. Furthermore, we review the resistance the axiom has encountered in various fields and its potential use in the research and expansion of said fields.


Sign in / Sign up

Export Citation Format

Share Document