Axiom of Choice and Continuum Hypothesis

Erwin Engeler
Additional contact information
Erwin Engeler: ETH-Zentrum, Mathematikdepartment

Chapter § 5 in Foundations of Mathematics, 1993, pp 37-41 from Springer

Abstract: Abstract What are the real numbers? At least the question has become somewhat clearer since it was posed in Section 1: any satisfactory answer must provide a frame of reference for mathematical activity, in particular for proving theorems in analysis. There seem to be two aspects of this activity that go hand in hand: on the one hand there is what active mathematicians call “intuition” (without, if they are wise, going into its psychological details), or “thinking in concepts”, on the other the mathematical formalism which, with the help of symbolic logic, can be refined into a precision tool.

Keywords: Formal Framework; Continuum Hypothesis; Mathematical System Theory; Uncountable Cardinal; Precision Tool (search for similar items in EconPapers)
Date: 1993
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-642-78052-3_5

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

DOI: 10.1007/978-3-642-78052-3_5

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 ().