Dathematics: A Meta-Isomorphic Version of “Standard” Mathematics Based on Proper Classes

Danny A. J. Gómez Ramírez
Additional contact information
Danny A. J. Gómez Ramírez: Instituto Tecnológico Metropolitano (ITM), Research’s Labs Center Parque i

Chapter Chapter 6 in Artificial Mathematical Intelligence, 2020, pp 91-105 from Springer

Abstract: Abstract We show that the (typical) quantitative considerations about proper (as too big) and small classes are tangential facts regarding the consistency of Zermelo–Fraenkel set theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding special membership relation, such that ZFC and D-ZFC are meta-isomorphic frameworks (together with a more general dualization theorem). More specifically, for any standard formal definition, axiom, and theorem that can be described and deduced in ZFC, there exists a corresponding “dual” version in D-ZFC and vice versa. Finally, we prove the meta-fact that (standard) mathematics (i.e., theories grounded in ZFC) and dathematics (i.e., dual theories grounded in D-ZFC) are meta-isomorphic. This shows that proper classes are as suitable (primitive notion) as sets for building a foundational framework for mathematics. Finally, we describe the “singular” consequences that this meta-fact possesses regarding the cognitive dimension of ZFC.

Date: 2020
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-50273-7_6

Ordering information: This item can be ordered from
http://www.springer.com/9783030502737

DOI: 10.1007/978-3-030-50273-7_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().