GeniusIsme@lemmy.worldtoPiracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.com•I absolutely love VideoLAN's stance regarding patentsEnglish
35·
10 months agoCorrespondence is quite a weak relation. Very far from one being another.
Correspondence is quite a weak relation. Very far from one being another.
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.
Computer science is a branch of math. And while it has applications in software, most developers do not interact with it, only using existing implementations of CS results.