Comment by bhk

7 hours ago

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".

Yeah, it took me a second, too. By "gaps" they mean numbers that can't be represented in a given construction. So irrational numbers are "gaps" in the rational numbers, and transcendental numbers are "gaps" in the algebraic numbers. Not the best spatial metaphor.

sqrt(2)

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

    • You’re thinking of this with the benefit of dedekind in your schooling - whether or not your calculus class told you about him.

      Density - a gapless number line - was neither obvious nor easy to prove; the construction is usually elided even in most undergraduate calculus unless you take actual calculus “real analysis” courses.

      The issue is this: for any given number you choose, I claim: you cannot tell me a number “touching” it. I can always find a number between your candidate and the first number. Ergo - the onus is on you to show that the number line is in fact continuous. What it looks like with the naive construction is something with an infinite number of holes.

      1 reply →