Are you familiar with Gödel's slingshot?
Are you familiar with Gödel's slingshot?
No, I wasn't. But I've now googled a bit about it. I see that it has something to do with modal logic. I'll have to do some reading later. In the meantime,
I don't necessarily believe that it's possible for modal logic to be given an effective implementation.
(rimshot)