Questions tagged [curry-howard-isomorphism]
The curry-howard-isomorphism tag has no usage guidance.
3
questions
6
votes
5
answers
2k
views
What is the relationship between algorithms and logic?
Is an algorithm (cooking a dish, Grover's/Shor algorithm, etc.) a form of deductive reasoning or inductive reasoning, and if not what exactly is the relationship between an alogorithm and logic?
9
votes
2
answers
203
views
What is the philosophical meaning of the Curry-Howard correspondence?
I understand the Curry-Howard correspondence, and its usefulness, from a technical angle; but I don’t understand its philosophical implications.
For example, does the resulting conceptualization of '...
10
votes
1
answer
716
views
Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism
The link between logic and computation is stronger than ever, especially since the establishment of the Curry-Howard isomorphism specifying that proofs can be seen as programs and formulas as program'...