more from this thinker     |     more from this text


Single Idea 18245

[filed under theme 6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts ]

Full Idea

A Dedekind Cut is a division of rationals into two set (A1,A2) where every member of A1 is less than every member of A2. If n is the largest A1 or the smallest A2, the cut is produced by n. Some cuts aren't produced by rationals.

Gist of Idea

Cuts are made by the smallest upper or largest lower number, some of them not rational

Source

Stewart Shapiro (Philosophy of Mathematics [1997], 5.4)

Book Ref

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.171


The 11 ideas with the same theme [defining real numbers by cutting the line of rationals]:

A cut between rational numbers creates and defines an irrational number [Dedekind]
I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind]
Dedekind's axiom that his Cut must be filled has the advantages of theft over honest toil [Dedekind, by Russell]
Dedekind says each cut matches a real; logicists say the cuts are the reals [Dedekind, by Bostock]
A series can be 'Cut' in two, where the lower class has no maximum, the upper no minimum [Russell]
A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro]
Points are 'continuous' if any 'cut' point participates in both halves of the cut [Harré/Madden]
For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock]
Why should a Dedekind cut correspond to a number? [Fine,K]
Cuts are made by the smallest upper or largest lower number, some of them not rational [Shapiro]
The two sides of the Cut are, roughly, the bounding commensurable ratios [Lavine]