Re: Proof...

From: Jon Haugsand (jonhaug_at_ifi.uio.no)
Date: 02/08/05


Date: 09 Feb 2005 00:16:30 +0100


* jim caprioli
> Let n be a positive integer > 2.
> Repeat until n is 1.
> if n is odd then subtract 1 from n
> if n is even then divide n by 2
>
> What is the mathematical proof that this algorithm stops??

Use either induction or that the positive integers is a well-founded
set.

-- 
Jon Haugsand
  Dept. of Informatics, Univ. of Oslo, Norway, mailto:jonhaug@ifi.uio.no
  http://www.ifi.uio.no/~jonhaug/, Phone: +47 22 85 24 92


Relevant Pages

  • Re: Proof...
    ... > Repeat until n is 1. ... > if n is odd then subtract 1 from n ... > if n is even then divide n by 2 ...
    (sci.math)
  • Re: Proof...
    ... if n is odd then multiply n by 3 and add 1 to n ... >> Repeat until n is 1. ... >> if n is even then divide n by 2 ... >> What is the mathematical proof that this algorithm stops?? ...
    (sci.math)
  • Proof...
    ... Let n be a positive integer> 2. ... Repeat until n is 1. ... if n is odd then subtract 1 from n ...
    (sci.math)
  • Re: Diophantine equation y^2=x^3-3
    ... is not in your set since both coefficients are odd. ... Now move to the ring Q{sqrt). ... Any common factor of these two terms has to divide there difference ... Thus y + sqrtmust be a cube in the ring times a unit, ...
    (sci.math)
  • Re: Diophantine equation y^2=x^3-3
    ... is not in your set since both coefficients are odd. ... Now move to the ring Q{sqrt). ... Any common factor of these two terms has to divide there difference ... Thus y + sqrtmust be a cube in the ring times a unit, ...
    (sci.math)