cannedtuna@lemmy.world to memes@lemmy.worldEnglish · 7 hours agoHe’s smart, ok?lemmy.worldimagemessage-square35fedilinkarrow-up1217arrow-down110
arrow-up1207arrow-down1imageHe’s smart, ok?lemmy.worldcannedtuna@lemmy.world to memes@lemmy.worldEnglish · 7 hours agomessage-square35fedilink
minus-squarewizardbeard@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up45·7 hours agoGod I hated questions like this in school. There’s always something specific the teacher is looking for, but nothing to point you towards it.
minus-squaregrue@lemmy.worldlinkfedilinkarrow-up1·2 hours agoYeah, 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=S20(0), 40=S40(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!)
minus-squareGraniteM@lemmy.worldlinkfedilinkarrow-up6·4 hours agoI’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.
minus-squareThatGuy46475@lemmy.worldlinkfedilinkarrow-up7·4 hours agoI suppose “by definition” would probably have been counted as wrong
minus-squarenymnympseudonym@piefed.socialcakelinkfedilinkEnglisharrow-up11·6 hours agoUsually the pointer is the blahblah the teacher was droning while you were fantasizing about the attractive classmate sitting directly in front of you
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.
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=S20(0), 40=S40(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!)
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.
I suppose “by definition” would probably have been counted as wrong
Usually the pointer is the blahblah the teacher was droning while you were fantasizing about the attractive classmate sitting directly in front of you