Counting the Infinite

What is infinity in mathematics?

In mathematics, infinity is not a vague 'very big' — it is a precise property that some sets and processes have and others do not.Infinity enters mathematics in two costumes: as a process that never ends — counting 1, 2, 3 without a last step — and as a completed object, the whole set of natural numbers taken as one thing.

What separates potential from actual infinity?

Potential infinity is a process that can always continue; actual infinity is a completed totality treated as a single object.A potentially infinite process has no built-in stopping rule: you can always add one more number or bisect one more interval.

What makes a set countable or uncountable?

A set is countable if its members can be paired one-to-one with the counting numbers; it is uncountable if no such pairing can ever exist.Countability is about pairing, not finishing. The naturals pair with the evens (n ↔ 2n), with the integers (zig-zag through positives and negatives), and even with the rationals (snake through a grid of fractions).

How can one infinity be bigger than another?

By the pairing test: set A is bigger than set B if every attempt to pair B's members onto A leaves some of A unmatched.For finite sets, 'bigger' means counting both. Counting never ends for infinite sets, so Cantor replaced it with matching: two sets have the same size exactly when a perfect one-to-one pairing exists.