more from this thinker | more from this text
Full Idea
As Eudoxus claimed, two distinct real numbers cannot both make the same cut in the rationals, for any two real numbers must be separated by a rational number. He did not say, though, that for every such cut there is a real number that makes it.
Clarification
Eudoxus worked at Plato's Academy
Gist of Idea
For Eudoxus cuts in rationals are unique, but not every cut makes a real number
Source
David Bostock (Philosophy of Mathematics [2009], 4.4)
Book Ref
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.98
A Reaction
This is in Bostock's discussion of Dedekind's cuts. It seems that every cut is guaranteed to produce a real. Fine challenges the later assumption.
Related Idea
Idea 10575 Why should a Dedekind cut correspond to a number? [Fine,K]
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
18244 | I say the irrational is not the cut itself, but a new creation which corresponds to the cut [Dedekind] |
14437 | Dedekind's axiom that his Cut must be filled has the advantages of theft over honest toil [Dedekind, by Russell] |
18094 | Dedekind says each cut matches a real; logicists say the cuts are the reals [Dedekind, by Bostock] |
14436 | A series can be 'Cut' in two, where the lower class has no maximum, the upper no minimum [Russell] |
18248 | A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro] |
15274 | Points are 'continuous' if any 'cut' point participates in both halves of the cut [Harré/Madden] |
18093 | For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock] |
10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
18245 | Cuts are made by the smallest upper or largest lower number, some of them not rational [Shapiro] |
15904 | The two sides of the Cut are, roughly, the bounding commensurable ratios [Lavine] |