Ah yes, a classic example. I had to look it up again to refresh my memory. For my needs, the solutions that seemed to work for me were several but primarily involve including Time or second order logic. More computer nerdy, it’s “Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation” https://en.wikipedia.org/wiki/Curry–Howard_correspondence

Ah yes, a classic example. I had to look it up again to refresh my memory.

For my needs, the solutions that seemed to work for me were several but primarily involve including Time or second order logic.

More computer nerdy, it’s “Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation”

https://en.wikipedia.org/wiki/Curry–Howard_correspondence

==

I learned computing long before I learned any philosophical logic so for me computing is normal and philosophical logic “the thing before”
  • Like

Leave a comment

Your email address will not be published. Required fields are marked *


seven − 6 =

Leave a Reply