4 ms·
If my understanding is correct I think he was referring to the fact that even if you have the axioms and an algorithm to figure out all the theorems, you can't
by explicate 14y ago
If my understanding is correct I think he was referring to the fact that even if you have the axioms and an algorithm to figure out all the theorems, you can't prove all the truths. There will be blind spots.
- tprice7 14y agoThank you for the explanation. For a given set of axioms you have the same "blind spots" whether you are verifying proofs manually or with computer assistance.