pacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 9 months agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square68fedilinkarrow-up11.05Karrow-down111
arrow-up11.04Karrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 9 months agomessage-square68fedilink
minus-square@[email protected]linkfedilinkEnglish13•9 months agoNo, the proof - program correspondence is in both directions.
minus-square@[email protected]linkfedilinkEnglish-2•9 months agoCorrespondence is quite a weak relation. Very far from one being another.
minus-squareladlinkEnglish2•9 months agoI’d say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense
No, the proof - program correspondence is in both directions.
Correspondence is quite a weak relation. Very far from one being another.
I’d say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense
That’s why it’s also called Curry-Howard isomorphism.
Correspondence is not correlation.