Can the proof be understand by a motivated, human-intelligence Cartesian skeptic who is protected from errors of carelessness?
To the same extent the proof of the four color theorem can be. It will just take orders of magnitude more time than any human has. So do you consider it to be proven in the same sense? Do you need to wait until such a person exists and does it? If so, why is that different?
To the same extent the proof of the four color theorem can be. It will just take orders of magnitude more time than any human has. So do you consider it to be proven in the same sense? Do you need to wait until such a person exists and does it? If so, why is that different?