Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Concept

Infinity

Logic, Foundations and Set Theory

The idea of a quantity or process with no final limit, debated by philosophers (Zeno's paradoxes, Aristotle's distinction between a merely potential infinity and a completed, actual one) for two millennia before mathematics gave it rigorous, working content. The now-familiar lemniscate-shaped symbol, a sideways figure eight, is a separate matter from the concept itself: it was introduced by the English mathematician John Wallis in 1655 as a notation and carries no special mathematical meaning of its own beyond standing in for the idea, whichever way the idea is made precise (a limit growing without bound, in ordinary calculus, or a genuine completed infinite size, in Georg Cantor's set theory). Cantor's work from 1874 onward was the decisive mathematical achievement: he showed that actual, completed infinities exist as legitimate mathematical objects and that they come in different sizes, a result that met fierce resistance from some contemporaries precisely because it treated Aristotle's merely potential infinity as something considerably more real.

Facts
Origin Year
1874 1
Dates Georg Cantor's founding work treating infinity as a completed mathematical object with measurable size (cardinality); the philosophical concept itself is ancient, and the familiar lemniscate symbol dates to 1655 (John Wallis), independent of either.
Connections

Associated With

Cardinality, Concepts

Cardinality is the concept that gives infinite sets a size at all, and distinguishes different infinite sizes from one another; the concept's own description names infinity directly.

Additional Source Cardinality (Wikipedia)Lead section
Countable Set, Concepts

A countably infinite set is the smallest kind of infinite set, put in correspondence with the natural numbers rather than being merely finite, so the concept names one specific way a set can be infinite.

Additional Source Countable Set (Wikipedia)Lead section
Georg Cantor, Mathematicians

Founded the rigorous mathematical treatment of completed infinities and their differing sizes, from 1874.

Source The Stanford Encyclopedia of Philosophy

Attributed To

Source Wikipedia: Infinity

In Branch

Source The Stanford Encyclopedia of Philosophy
Sources
1. The Stanford Encyclopedia of Philosophy
Center for the Study of Language and Information, Stanford University
Wikipedia: Infinity
Wikimedia Foundation
  • Introduction
    The mathematical concept of infinity refines and extends the old philosophical concept, in particular by introducing infinitely many different sizes of infinite sets.
  • Attributed To: Gottlob Frege, Lead
    This modern mathematical conception of the quantitative infinite developed in the late 19th century from works by Cantor, Gottlob Frege, Richard Dedekind and others-using the idea of collections or sets
View the Source
Cardinality (Wikipedia)
Wikimedia FoundationAssociated With: Cardinality, Lead section
Quote, Associated With: Cardinality, Lead section
cardinality is an inherent property of sets, roughly meaning the number of individual objects they contain, which may be infinite
View the Source
Countable Set (Wikipedia)
Wikimedia FoundationAssociated With: Countable Set, Lead section
Quote, Associated With: Countable Set, Lead section
A mathematical set is countable if either it is finite or it can be put in one to one correspondence with the set of natural numbers
View the Source

Take a Related Quiz

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.