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]linkfedilinkEnglish11•9 months agoProofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.
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
Proofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.
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.