314
He’s smart, ok? (lemmy.world)
submitted 2 months ago by to c/memes@lemmy.world
32 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] 67 points 2 months ago (6 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.

  • permalink
  • fedilink
  • source
  • hideshow 6 child comments
    •
  • [–] 7 points 2 months ago (2 children)

    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.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 2 points 2 months ago

    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!)

  • permalink
  • fedilink
  • source
  • parent