4 ms·

Well, if you think knowledge is same as truth, computer verifications can do. Today, at least the consensus in philosophy of science is not centered on truth. I

• dwheeler 6y ago
  But that is the problem: we are claiming that we "know" things are absolutely true, but we are using methods that are known to be inadequate for that purpose. Mathematicians are smart, but they are human. They make mistakes and miss others'. Math has increasingly become too complex to entrust mere human verification as being adequately trustworthy. Human verification has already been repeatedly demonstrated as inadequate. We must choose between truth or easier-to-understand claims that are sometimes false because we depend on fragile human verification. I think we should choose truth. Where we can get human understandability as well as truth, great! But formal verification should become the minimum over time, because truth should be the minimum. We can't do that all at once right now. But knowing the goal is the first step.