GoofSchmoofer@lemmy.world to Mildly Infuriating@lemmy.worldEnglish · 8 个月前The new Hulu Subscriber agreement just dropped - Don't like ads too bad.lemmy.worldexternal-linkmessage-square142linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe new Hulu Subscriber agreement just dropped - Don't like ads too bad.lemmy.worldGoofSchmoofer@lemmy.world to Mildly Infuriating@lemmy.worldEnglish · 8 个月前message-square142linkfedilink
minus-squareArbitraryValue@sh.itjust.workslinkfedilinkEnglisharrow-up0·edit-28 个月前If you can prove a contradiction then you can prove anything, and here we have ¬ads = ads. BRB there’s some stuff I want to prove that I have.
minus-squareKaryoplasma@discuss.tchncs.delinkfedilinkEnglisharrow-up0·8 个月前let p = ads, thus p = np. Where is my prize money?
minus-squareArbitraryValue@sh.itjust.workslinkfedilinkEnglisharrow-up0·8 个月前Sorry bro, but you’re too late. I already proved p ~= np in the same manner.
If you can prove a contradiction then you can prove anything, and here we have
¬ads = ads
. BRB there’s some stuff I want to prove that I have.let p = ads, thus p = np. Where is my prize money?
Sorry bro, but you’re too late. I already proved p ~= np in the same manner.