this post was submitted on 21 Dec 2023
1041 points (99.0% liked)
Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ
54612 readers
185 users here now
⚓ Dedicated to the discussion of digital piracy, including ethical problems and legal advancements.
Rules • Full Version
1. Posts must be related to the discussion of digital piracy
2. Don't request invites, trade, sell, or self-promote
3. Don't request or link to specific pirated titles, including DMs
4. Don't submit low-quality posts, be entitled, or harass others
Loot, Pillage, & Plunder
📜 c/Piracy Wiki (Community Edition):
💰 Please help cover server costs.
 |
 |
|---|---|
| Ko-fi | Liberapay |
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.