This looks right to me. It mimics the reason humans don’t explode when they try to cross the street. Brilliant.
It seems the most pressing question is how to deal with complicated worlds about which certain proofs cannot be made in reasonable time. A proof system for uncertain proofs, I suppose.
This looks right to me. It mimics the reason humans don’t explode when they try to cross the street. Brilliant.
It seems the most pressing question is how to deal with complicated worlds about which certain proofs cannot be made in reasonable time. A proof system for uncertain proofs, I suppose.