4 ms·
Well correctness is surely an important factor in whether or not mathematics is publishable, wouldn't you say? Necessary but not sufficient, perhaps.
by seanhunter 8y ago
Well correctness is surely an important factor in whether or not mathematics is publishable, wouldn't you say? Necessary but not sufficient, perhaps.
- tacomonstrous 8y agoCertainly necessary, but very far from sufficient. But even that isn't quite accurate. Every one of my published papers has some kind of error in it. When something is sufficiently interesting and complex, this is essentially inevitable given how the human mind works. Hence the late Voevodksy's attempt to come up with a framework for making such ideas machine checkable.