Set theory

From Wikiquote
Jump to navigation Jump to search

Set theory is the branch of mathematical logic that studies sets, which informally are collections of objects.


  • Does set theory, once we get beyond the integers, refer to an existing reality, or must it be regarded, as formalists would regard it, as an interesting formal game? ... A typical argument for the objective reality of set theory is that it is obtained by extrapolation from our intuitions of finite objects, and people see no reason why this has less validity. Moreover, set theory has been studied for a long time with no hint of a contradiction. It is suggested that this cannot be an accident, and thus set theory reflects an existing reality. In particular, the Continuum Hypothesis and related statements are true or false, and our task is to resolve them.
    • Paul Cohen: (2005). "Skolem and pessimism about proof in mathematics". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363 (1835): 2407–2418. ISSN 1364-503X. DOI:10.1098/rsta.2005.1661. (quote from p. 2416)

External links[edit]

Wikipedia has an article about: