MathGroup Archive 2008

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

Search the Archive

Re: Does Mathematica think Sqrt[2] is rational?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg86681] Re: Does Mathematica think Sqrt[2] is rational?
  • From: magma <maderri2 at gmail.com>
  • Date: Tue, 18 Mar 2008 04:49:53 -0500 (EST)
  • References: <frkv66$109$1@smc.vnet.net>

Ops..
I have overlooked the trivial solution x=0 and y=0 in the logical
equation.

If we consider

Reduce[ForAll[{x, y}, x != 0 && Element[x | y, Integers], x^2 != 2
y^2]]

as suggested by Andrzej, Mathematica answers correctly.

Oh well.. the pythagoreans did not come back after all.

So Mathematica correctly realizes that Sqrt[2] is irrational.


  • Prev by Date: Re: CA for Epidemics with Mathematica?
  • Next by Date: Re: Does Mathematica think Sqrt[2] is rational?
  • Previous by thread: Re: Does Mathematica think Sqrt[2] is rational?
  • Next by thread: Re: Does Mathematica think Sqrt[2] is rational?