[FOM] real numbers
Hartley Slater
slaterbh at cyllene.uwa.edu.au
Tue May 13 20:28:13 EDT 2003
Matt Insall writes (FOM Digest Vol 5 Issue 17):
>In one currently common presentation of the rational
>numbers in advanced courses, the rational numbers
>also have complements in the sense in which Dedekind
>Cuts have complements.
Indeed, if the number 5 were the same as the set {p|p<5} then not
only would 'the complement of {p|p<5}' make sense, but also 'the
complement of 5' would do so. Back to the drawing board, Dedekind,
and Peano! Your axioms only generated arithmetic properties of the
natural numbers! Silly you! You forgot entirely about the
set-theoretic ones! A similar point goes in the case Lucas Wiman
asks me specifically to consider (FOM Digest Vol 5 Issue 18), namely
the equation of complex numbers with [ordered] pairs of reals. For
the latter have complements, even if nothing about those complements
has yet appeared in complex number theory. No doubt on Argand
diagrams there are the straight lines between ordered sets - so sets
have geometric and spatial properties. And is such a line the graph
of a linear function? No! Lo! It is the very function itself,
since algebraic entities, we now realise, can be seen! Wiman expands
on this intoxicating point of view:
>Mathematicians do not use identity in the same way as philosophers.
>I cannot emphasize this enough. In the chain of maps I showed
>above, no set was included in the following set, but they were
>``pretty much" included in the following set. They're the same in
>every way that matters, and that's all that mathematicians mean when
>they say ``equals." No category error, no problem. It seems to me
>that Slater is objecting to what mathematicians commonly call ``an
>abuse of notation." This argument seems, therefore, silly and
>trivial.
I answered the point about triviality in my previous posting (FOM
Digest Vol 5 Issue 17). As for 'sillyness', see above. But if it
was just a carefree matter of a change of notation, then not only
would there be no category error in 'the complement of 5+3i', and the
rest, there would also be no problem - no problem at all - about
stating the rules which hold for the 'pretty much' and 'all that
matters' notions of identity and equality that Wiman hypothesises. Or
is it all so rubbery as to be quite lawless? Either he must confess
there are no rules at the bottom of the relevant mathematical
practises, or he must now specify them, since they are evidently very
much needed, in the sober and rigorous study we call 'The Foundations
of Mathematics', to augment Leibniz' Law. And when worrying about
those rules, Wiman might like to address the following sort of
problem:
If the rational r were 'identical', in any sense, with the associated
Dedekind cut {p|p<r}, or equivalence class [<r,r,r,...>], then an
infinite regress could be generated, by repeatedly substituting the
R.H.S. into itself. The definition of the cut, and the class
*requires* a prior, separate definition of r, otherwise there would
be a circularity.
--
Barry Hartley Slater
Honorary Senior Research Fellow
Philosophy, School of Humanities
University of Western Australia
35 Stirling Highway
Crawley WA 6009, Australia
Ph: (08) 9380 1246 (W), 9386 4812 (H)
Fax: (08) 9380 1057
Url: http://www.arts.uwa.edu.au/PhilosWWW/Staff/slater.html
More information about the FOM
mailing list