[HN Gopher] A Proof of Proof by Infinite Descent
       ___________________________________________________________________
        
       A Proof of Proof by Infinite Descent
        
       Author : matt_d
       Score  : 22 points
       Date   : 2024-07-01 21:49 UTC (1 hours ago)
        
 (HTM) web link (relatedwork.blogspot.com)
 (TXT) w3m dump (relatedwork.blogspot.com)
        
       | taneq wrote:
       | > I imagine that one could also prove that [?]-1 is not rational
       | 
       | I feel like this was a marvellous joke but I can't prove it.
        
         | lisper wrote:
         | You'd be surprised at the number of things that appear to be
         | self-evidently true that turn out to depend on tacit
         | assumptions. For example, is 7 prime? Not if you're doing
         | modular arithmetic.
        
           | lohfu wrote:
           | i think they were joking, but i can't prove it
        
           | mathgradthrow wrote:
           | It's also independently pretty tedious to explain that 7 is
           | prime to a proof checker.
        
             | amenghra wrote:
             | [delayed]
        
       ___________________________________________________________________
       (page generated 2024-07-01 23:00 UTC)