Re: Contradicrtion-free mathemattics (The new nonstandard analysis

E. E. Escultura
>7) A real number is normal if every digit can be determined by choosing a digit from the basic
>integers, 0, 1, ..., 9, at random. Let x be a real number and y a normal number. While every digit of y
>can be determined or computed and is, therefore, well-defined, it IS not known if x < y or x = y
>or x > y. This is a counterexample to the trichotomy axiom.

You contradict your definition that your ``real numbers'' are
computable decimal expansions. No computable decimal expansion is
normal in the sense you describe.

.

Relevant Pages

  • Re: Contradicrtion-free mathemattics (The new nonstandard analysis
    ... >7) A real number is normal if every digit can be determined by choosing a digit from the basic ... computable decimal expansions. ... let me now consistently refer to my real numbers as decimals. ... I do not mean expansion but choosing each digit. ...
    (sci.math)
  • Re: problem in factoring a number
    ... > but my problem is i know the factors of the 7 digit number let us say ... > but i have to start rom scratch like in choosing the curve and have to ... Prev by Date: ...
    (sci.crypt)
  • Re: problem in factoring a number
    ... but my problem is i know the factors of the 7 digit number let us say ... but i have to start rom scratch like in choosing the curve and have to ...
    (sci.crypt)
  • Re: Contradicrtion-free mathemattics (The new nonstandard analysis
    ... E.E. Escultura wrote: ... > known or computable (in the broad sense). ... > scheme for dtermining every digit uniquely. ... The exact sense of my ...
    (sci.math)
  • Re: numbers 0-9
    ... How many ways are there of choosing each digit? ... From this clue you can figure out the answers yourself. ... > without using the same number twice in a set? ...
    (sci.math.symbolic)