There's more than one way to do things PerlMonks

### Comment on

 Need Help??
In standard mathematics there is no such thing as adjacent real numbers. Endless arguments from non-mathematicians notwithstanding, 1 and 0.999... are two different ways of representing the same number and not two different numbers.

This is because one of the rules the real numbers follow is trichotomy, which says that if x and y are real numbers then exactly one of the statements x-y>0, x=y and y-x>0 must be true. (Depending on the axiomatization chosen trichotomy can be either an axiom or a theorem. Either way it is true.) The requirement in the problem that the numbers be different rules out the second possibility.

In fact we can make an even stronger statement. There is a basic theorem (called the Archimedean principle) which makes an even stronger assertion, given any two distinct reals there is always a rational number between them. So let n/m be a rational number between 0 and x-y. Then x and y must differ by more than 1/m. So you see that between any two real numbers there is always a finite visible gap. There is therefore no such thing as an infinitesmal in the standard real number system.

(Google will provide adequate references to demonstrate that I'm not just making this up.)

In reply to Re^2: Spooky math problem by tilly
in thread Spooky math problem by tilly

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":

• Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
• Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
• Read Where should I post X? if you're not absolutely sure you're posting in the right place.
• Posts may use any of the Perl Monks Approved HTML tags:
a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
• You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
 For: Use: & & < < > > [ [ ] ]
• Link using PerlMonks shortcuts! What shortcuts can I use for linking?

Create A New User
Chatterbox?
and one hand claps...

How do I use this? | Other CB clients
Other Users?
Others examining the Monastery: (7)
As of 2018-05-27 09:00 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
World peace can best be achieved by:

Results (194 votes). Check out past polls.

Notices?