Sort:  
  • Trending
    • [-]
     7 years ago (edited)

    The theorem that "I mean" is

    ∀a. ∃b. ∀x. ∀y. (a+b)·(a+b) != SS((SSx)·(SSy))

    In words:

    For any number a, there is a number b, so that for all pairs of numbers, call them x and y, the number a+b squared isn't twice the successor of the product of twice the successor of x and trice the successor of y.

    If you define B=a+b, X=x+2 and Y=y+2, the thing reads

    B^2-2 != X·Y

    I.e. B^2-2 can't be factorized into any X and Y.

    And I'm pretty sure that what it comes down to, yes :)

    $0.00
      Reply
      [-]
       7 years ago 

      Ok cool thanks for the clarification!
      I think my proof was wrong now after looking at it more...

      Coin Marketplace

      STEEM 0.17
      TRX 0.15
      JST 0.028
      BTC 58148.81
      ETH 2345.69
      USDT 1.00
      SBD 2.35