you are viewing a single comment's thread
view the rest of the comments
[–] 69 points 4 days ago (4 children)

God I hated questions like this in school. There's always something specific the teacher is looking for, but nothing to point you towards it.

  • source
  • hideshow 8 child comments
  • [–] 8 points 4 days ago (1 child)

    I'm thinking maybe "Because if you subtract 40 from my number you get a negative number," but I could be either over- or under-thinking it.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 3 points 4 days ago (1 child)

    Yeah, I always felt like I was either pointlessly restating the obvious or it expected me to derive the damn thing from first principles.

    AI slop proof, just because I was curious if duck.ai could do it

    Using the natural numbers defined from 0 by the successor operation S:

    1=S(0), 2=S(1), ... , 20=S^20^(0), 40=S^40^(0)

    Define a < b to mean that there exists a natural number k such that

    a+k=b.

    Take a=20 and k=20. By repeated addition,

    20+20=40.

    Since 20 is a natural number, there exists a natural number k such that

    20+k=40.

    Therefore, by the definition of the ordering relation,

    20<40.

    (Is it correct? Fuck if I know!)

  • source
  • parent
  • hideshow 2 child comments
  • [–] 6 points 4 days ago

    A.I. is proving that 20<40 by:

    • creating a sequence
    • then completely disregarding that
    • then saying that since you can add 20 to itself to create 40 it must be less
    • then disregarding that and saying that the sequence of numbers proves it because we found 20 first

    Honestly since it's such a simple equation, in real life you could just say 20<40 because 20<40. You don't really need to prove anything, the proof is in the logical operator. The homework question is dumb because it isn't clear what they're asking for.

  • source
  • parent