home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.lang.c      Meh, in C you gotta define EVERYTHING      243,242 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 243,041 of 243,242   
   Janis Papanagnou to wij   
   Re: Collatz Conjecture proved.   
   26 Jan 26 01:25:28   
   
   From: janis_papanagnou+ng@hotmail.com   
      
   (I probably regret answering to your post.)   
      
   On 2026-01-25 18:20, wij wrote:   
   >   
   > You need to prove 4/33 exactly equal to 0.1212..., not approximation.   
      
   Is that all you want proven; a specific example?   
      
   This appears to be as trivial as the more general approach that James   
   gave and that you (for reasons beyond me) don't accept (or don't see).   
      
   First   
        __   
      0.12   or   0.1212...   
      
   are just finite representations of real numbers; conventions. And 4/33   
   is an expression representing an operation, the division. You can just   
   do that computation (as you've certainly learned at school decades ago)   
   in individual steps, continuing each step with the remainder   
      
      4/33 = 0     => 0   
      40/33 = 1    => 0.1   
      remainder 7   
      70/33 = 2    => 0.12   
      remainder 4   
      40/33 = 1    and at this point you see that the _operations_ *repeat*   
      
   so the calculated decimals (1 and 2) will also repeat. And sensibly we   
   need a finite representation (see above) to express that.   
      
      Albert Einstein (for example) said: „Die Definition von Wahnsinn ist,   
      immer wieder das Gleiche zu tun und andere Ergebnisse zu erwarten“.   
      
   Are you expecting the sequence of decimals differing at some point?   
      
   If not you see that the number represented by the convention "0.1212..."   
   equals to the number calculated or expressed by "4/33".   
      
   Janis   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca