GoofSchmoofer@lemmy.world to Mildly Infuriating@lemmy.worldEnglish · 19 days agoThe new Hulu Subscriber agreement just dropped - Don't like ads too bad.lemmy.worldimagemessage-square147fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageThe new Hulu Subscriber agreement just dropped - Don't like ads too bad.lemmy.worldGoofSchmoofer@lemmy.world to Mildly Infuriating@lemmy.worldEnglish · 19 days agomessage-square147fedilink
minus-squareArbitraryValue@sh.itjust.workslinkfedilinkEnglisharrow-up0·edit-219 days agoIf 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·19 days agolet p = ads, thus p = np. Where is my prize money?
minus-squareArbitraryValue@sh.itjust.workslinkfedilinkEnglisharrow-up0·19 days agoSorry 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.