Remix.run Logo
markisus 2 hours ago

> Before their papers, mathematicians had assumed that even though the number line might look like a continuous object, if you zoomed in far enough, you’d eventually find gaps.

I'll try to interpret this sentence.

We all have some mental imagery that comes to mind when we think about the number line. Before Cantor and Dedekind, this image was usually a series of infinitely many dots, arranged along a horizontal line. Each dot corresponds to some quantity like sqrt(2), pi, that arises from mathematical manipulation of equations or geometric figures. If we ever find a gap between two dots, we can think of a new dot to place between them (an easy way is to take their average). However, we will also be adding two new gaps. So this mental image also has infinitely many gaps.

Dedekind and Cantor figured out a way to fill all the gaps simultaneously instead of dot by dot. This method created a new sort of infinity that mathematicians were unfamiliar with, and it was vastly larger than the gappy sort of infinity they were used to picturing.

dkarl an hour ago | parent | next [-]

We've known since Zeno that all of our ways of visualizing infinity in finite terms are incomplete and provably incorrect, despite being unavoidable in human thinking. In other words, we knew the "gaps" reflected incomplete reasoning, not real emptiness between "consecutive" numbers. If Dedekind and Cantor only changed how we visualize infinity, I don't understand why it would cause a stir.

> This method created a new sort of infinity that mathematicians were unfamiliar with, and it was vastly larger

I understand that the construction of the reals paved the way for the later revolutionary (and possibly disturbing, for people with strongly held philosophical beliefs about infinity) discovery that one infinity could be larger than another. But in the narrative laid out by the article, that comes later, and to me it's clear (unless I misread it) that the part I quoted is about the construction of the reals, before they worked out ways to compare the cardinality of the reals to the cardinality of the integers and the rationals.

antasvara 41 minutes ago | parent | next [-]

"Knowing" something and proving it mathematically are two different beasts.

Zeno couldn't prove that there were no gaps; he showed that infinity was different from how we understood finite things, bit that's not the same as proving there are no gaps.

Later, mathematicians proved the existence of irrational numbers. These were "gaps" in the rational numbers, but they weren't all the "same" of that makes sense? The square root of 2 and Euler's number are both irrational, but it's not immediately clear how you'd make a set that includes all the numbers like that.

AndrewKemendo an hour ago | parent | prev [-]

> If Dedekind and Cantor only changed how we visualize infinity, I don't understand why it would cause a stir.

Because scientific progress is explicitly the process of changing the general mental model of how people approach a problem with a more broadly capable and repeatable set of operations

This is philosophy of science 101

bhk 21 minutes ago | parent | prev [-]

Extraordinary claims require extraordinary evidence. Can you cite any claims by mathematicians that there were "gaps"? It isn't even true for rational numbers that you can identify an unoccupied "gap".

Quekid5 19 minutes ago | parent [-]

sqrt(2)

bhk 18 minutes ago | parent [-]

That's not a "gap" that you find by "zooming in". And how can it be a gap when it is occupied?