3 ms·
Sure, but then you quickly run into the issue of, "That depends what you mean by 'rule'."
by sillysaurus 14y ago
Sure, but then you quickly run into the issue of, "That depends what you mean by 'rule'."
- tprice7 14y agoPlease elaborate. I find it difficult to believe that the problem you are hinting at would be a showstopper because there already exist computer systems for verifying mathematical proofs to standards of rigor acceptable by mainstream mathematicians.