pacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 6 months agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square64fedilinkarrow-up11.04Karrow-down111
arrow-up11.03Karrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish • 6 months agomessage-square64fedilink
minus-square@GeniusIsme@lemmy.worldlinkfedilinkEnglish10•6 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@hglman@lemmy.mllinkfedilinkEnglish14•6 months agoNo, the proof - program correspondence is in both directions.
minus-square@GeniusIsme@lemmy.worldlinkfedilinkEnglish-3•6 months agoCorrespondence is quite a weak relation. Very far from one being another.
minus-squareladlinkfedilinkEnglish2•6 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
minus-square@MachineFab812@discuss.tchncs.delinkfedilinkEnglish1•6 months agoCorrespondence is not correlation.
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
Correspondence is not correlation.
That’s why it’s also called Curry-Howard isomorphism.