MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Re: Re: Re: algebraic numbers

  • To: mathgroup at
  • Subject: [mg106139] Re: [mg106099] Re: [mg106054] Re: [mg106011] Re: [mg105989] algebraic numbers
  • From: Andrzej Kozlowski <akoz at>
  • Date: Sat, 2 Jan 2010 05:07:42 -0500 (EST)
  • References: <> <> <>

On 1 Jan 2010, at 20:41, Andrzej Kozlowski wrote:

> On 1 Jan 2010, at 19:36, DrMajorBob wrote:
>> "If so, you will indeed have recognized the number x as algebraic, from
>> its first N figures."
>> No... you will have identified an algebraic number that agrees with x, to 
>> N figures.
>> OTOH, every computer Real is rational, so they're all algebraic.
>> Bobby
> Well, actually Mathematica does not agree with your last assertion:
> Head[1.12]
> Real
> Element[1.12, Rationals]
> False
> Element[1.12, Reals]
> True
> In fact it seems clear that the designers of Mathematica have decided to interpret all approximate numbers (with head Real) as approximations to irrationals rather than as finite expansions of rationals. The only rationals in Mathematica are indeed the ones that have the head Rational, i.e. fractions.
> Andrzej Kozlowski

I forgot to add why I think this is justified. Note that the function



Returns an approximate number between 0 and 1. This is supposed to 
represent a real number from the interval between 0 and 1 returned by a 
random variable with uniform distribution. But clearly as the rationals 
are a set of measure 0, such a number ought always to be an irrational. 
Thus it is natural to regard all approximate reals as (approximations 
to) irrationals.
I don't think this is an issue of any real importance but I think the 
seemingly strange looking behaviour of Element is mathematically well 

Andrzej Kozlowski

  • Prev by Date: Re: Replace and ReplaceAll -- simple application
  • Next by Date: Re: overimpose graphics on an imported image
  • Previous by thread: Re: Re: Re: algebraic numbers
  • Next by thread: Re: Re: Re: Re: algebraic numbers