pacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 2 years agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square66fedilinkarrow-up11.06Karrow-down111
arrow-up11.04Karrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 2 years agomessage-square66fedilink
minus-square@[email protected]linkfedilinkEnglish11•2 years 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•2 years agoNo, the proof - program correspondence is in both directions.
minus-square@[email protected]linkfedilinkEnglish-2•2 years agoCorrespondence is quite a weak relation. Very far from one being another.
minus-squareladlinkfedilinkEnglish2•2 years 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.