Re: Collatz Conjecture proved.

From	wij <wyniijj5@gmail.com>
Newsgroups	comp.lang.c
Subject	Re: Collatz Conjecture proved.
Date	2026-01-26 03:58 +0800
Organization	A noiseless patient Spider
Message-ID	<9c9964cd8fd9ff267ae6e4491524d39e15b309b3.camel@gmail.com> (permalink)
References	(2 earlier) <10l44rd$u7or$1@dont-email.me> <975e829c29ff11e83681aa87e347c7ef1ffe43dc.camel@gmail.com> <10l4je5$1g17r$1@dont-email.me> <4fb8cac1443da0f3a286f8ca66c78da742967428.camel@gmail.com> <10l5opc$1sivh$1@dont-email.me>

Show all headers | View raw

On Sun, 2026-01-25 at 18:52 +0000, Lawrence D’Oliveiro wrote:
> On Sun, 25 Jan 2026 16:46:43 +0800, wij wrote:
> 
> > On Sun, 2026-01-25 at 08:15 +0000, Lawrence D’Oliveiro wrote:
> > > 
> > > On Sun, 25 Jan 2026 13:28:31 +0800, wij wrote:
> > > 
> > > > On Sat, 2026-01-24 at 23:06 -0500, James Kuyper wrote:
> > > > > 
> > > > > This generalizes to work with any recurring decimal. When the
> > > > > recurrence is n digits long (in the above example, n=2), just
> > > > > multiply by 10^n.
> > > > 
> > > > Such arithmetic is called approximation ...
> > > 
> > > No, it’s exact.
> > 
> > Prove it. No one wants blind belief.
> 
> Sure. Consider the general case of a fractional number X which can be
> represented by a repeating decimal:
> 
>     X = 0.a₁a₂...aₘb₁b₂...bₙb₁b₂...bₙ...
> 
> where the a’s and b’s are decimal digits, such that a₁a₂...aₘ
> represents the initial non-repeating part, consisting of m digits,
> where m ≥ 0, and b₁b₂...bₙ represents the repeating part, consisting
> of n digits, where n > 0. First, separate out the non-repeating part:
> 
>     X * 10 ** m = a₁a₂...aₘ.b₁b₂...bₙb₁b₂...bₙ...
> 
> from which
> 
>     X * 10 ** m - a₁a₂...aₘ = 0.b₁b₂...bₙb₁b₂...bₙ...
>         = (b₁b₂...bₙ ÷ 10 ** n) + (b₁b₂...bₙ ÷ 10 ** n²) + ...
>         = (b₁b₂...bₙ ÷ (10 ** n - 1))
> 
> Notice that’s a closed-form expression: no more indefinitely-repeating
> parts at all. The right-hand side is a ratio of two integers, which is
> what makes it “rational”. If it’s not already in its lowest terms, it
> can be made so, by cancelling out common factors. Since there are only
> a finite number of integers between those values and 1, those lowest
> terms exist somewhere along the point between the two, and can always
> be found in a finite number of steps. QED.

Not different from the popular 0.999...=1 magic, but 'rewrote' in more ugly
form (I just thought real experts like simple proof, semi-experts like to
complicated proof and believe it, even though they don't really understand it!).
       
    X * 10 ** m - a₁a₂...aₘ = 0.b₁b₂...bₙb₁b₂...bₙ...
        = (b₁b₂...bₙ ÷ 10 ** n) + (b₁b₂...bₙ ÷ 10 ** n²) + ...
        = (b₁b₂...bₙ ÷ (10 ** n - 1))  // what rule makes this valid derivation
                                       // from the above line? 
       
https://sourceforge.net/projects/cscall/files/MisFiles/RealNumber2-en.txt/download     
...[cut] 
       (1) x= 0.999...
       (2{ 10x= 9.999... // may have implicitly defined 0.999... is 1
       (3) 10x= 9+x
       (4) 9x=9 
       (5) x=1 
       Answer: There is no axiom or theorem to prove that (1) <=> (3).
       (3) is one of the infinite interpretations of (1), or (3) is the
       'introduction' definition of 0.999..., etc. In short, there is no
       necessary relationship between (3) and (1), or it still needs to be
       proved. For example, 0.999... formed by 1/2+1/4+1/8+... does not have the
       property of (3).
----------     
You might be using infinite series, see the link. 
  
Anyway, whatever the specific proof is, you still need to refute the proof 
shown in the previous post, Prop1,Prop2,Prop3. You cannot pretending blind to
escape it.

> > > I think your problem is you are trying to think about maths using a
> > > specific low-level programming language (C or C++) which only
> > > supports finite-precision integers.
> > 
> > Your problem is just repeating what you are told to repeat, no
> > meaning.
> 
> You’re not familiar with languages that support infinite-precision
> integers, are you?

No, I don't believe 'infinite-precision integer' is representable.
See the link.

Back to comp.lang.c | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 00:37 +0800
  Re: Collatz Conjecture proved. Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-01-25 00:23 +0000
  Re: Collatz Conjecture proved. James Kuyper <jameskuyper@alumni.caltech.edu> - 2026-01-24 23:06 -0500
    Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 13:28 +0800
      Re: Collatz Conjecture proved. Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-01-25 08:15 +0000
        Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 16:46 +0800
          Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-25 10:38 +0100
            Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 18:55 +0800
            Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 19:06 +0800
              Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-25 12:47 +0100
                Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-25 23:44 +0800
                Re: Collatz Conjecture proved. James Kuyper <jameskuyper@alumni.caltech.edu> - 2026-01-25 12:22 -0500
          [OT] Proofs.  Was: Collatz Conjecture proved. Ben Bacarisse <ben@bsb.me.uk> - 2026-01-25 11:33 +0000
            Re: [OT] Proofs.  Was: Collatz Conjecture proved. richard@cogsci.ed.ac.uk (Richard Tobin) - 2026-01-25 13:11 +0000
          Re: Collatz Conjecture proved. Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-01-25 18:52 +0000
            Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-26 03:58 +0800
      Re: Collatz Conjecture proved. James Kuyper <jameskuyper@alumni.caltech.edu> - 2026-01-25 11:25 -0500
        Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-26 01:20 +0800
          Re: Collatz Conjecture proved. Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-01-26 01:25 +0100
            Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-26 23:51 +0800
              Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-27 00:07 +0800
                Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-26 21:05 +0100
              Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-26 21:07 +0100
                Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-27 04:34 +0800
                Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-27 09:21 +0100
                Re: Collatz Conjecture proved. antispam@fricas.org (Waldek Hebisch) - 2026-01-27 16:31 +0000
                Re: Collatz Conjecture proved. Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-01-27 18:24 +0100
                Re: Collatz Conjecture proved. antispam@fricas.org (Waldek Hebisch) - 2026-01-28 15:17 +0000
                Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-27 18:44 +0100
                Re: Collatz Conjecture proved. Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-01-27 22:52 +0000
                Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-28 08:29 +0100
                Re: Collatz Conjecture proved. Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-01-28 10:27 +0100
                Re: Collatz Conjecture proved. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-28 12:59 -0800
                Re: Collatz Conjecture proved. Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2026-01-30 06:33 +0100
                Re: Collatz Conjecture proved. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-30 11:59 -0800
                Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-28 04:08 +0800
                Re: Collatz Conjecture proved. Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-01-27 15:11 -0800
                Re: Collatz Conjecture proved. Ben Bacarisse <ben@bsb.me.uk> - 2026-01-28 17:34 +0000
                Re: Collatz Conjecture proved. richard@cogsci.ed.ac.uk (Richard Tobin) - 2026-01-28 18:23 +0000
                Re: Collatz Conjecture proved. David Brown <david.brown@hesbynett.no> - 2026-01-29 08:39 +0100
                Re: Collatz Conjecture proved. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-28 13:02 -0800
              Re: Collatz Conjecture proved. James Kuyper <jameskuyper@alumni.caltech.edu> - 2026-01-26 21:18 -0500
                Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-28 04:01 +0800
          Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-30 08:29 +0800
      Re: Collatz Conjecture proved. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2026-01-27 19:46 -0800
        Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-28 12:34 +0800
          Re: Collatz Conjecture proved. Tim Rentsch <tr.17687@z991.linuxsc.com> - 2026-02-03 04:16 -0800
        Re: Collatz Conjecture proved. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-01-28 13:04 -0800
  Re: Collatz Conjecture proved. Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2026-01-29 16:50 +0000
    Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-30 05:40 +0800
      Re: Collatz Conjecture proved. Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2026-01-30 02:20 +0000
        Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-30 11:03 +0800
          Re: Collatz Conjecture proved. Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2026-01-30 04:22 +0000
          Re: Collatz Conjecture proved. Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-01-29 20:38 -0800
            Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-31 05:30 +0800
              Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-02-06 14:16 +0800
        Re: Collatz Conjecture proved. wij <wyniijj5@gmail.com> - 2026-01-30 11:52 +0800

csiph-web