Re: Proof...

From: Dave Seaman (dseaman_at_no.such.host)
Date: 02/08/05


Date: Tue, 8 Feb 2005 23:13:42 +0000 (UTC)

On Wed, 09 Feb 2005 00:09:10 +0100, jim caprioli wrote:
> 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??

Suppose it doesn't. Let N be the smallest integer > 2 such that the
algorithm fails to halt. What can you say about the number you get after
one iteration?

-- 
Dave Seaman
Judge Yohn's mistakes revealed in Mumia Abu-Jamal ruling.
<http://www.commoncouragepress.com/index.cfm?action=book&bookid=228>


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)