I like Voevodsky’s pragmatism. The universe/mathematics doesn’t explode when you find an inconsistency, only your current tools for determining mathematical truth. And that one might possibly locally patch up our tools for verifying proofs even in a globally inconsistent system.
I like Voevodsky’s pragmatism. The universe/mathematics doesn’t explode when you find an inconsistency, only your current tools for determining mathematical truth. And that one might possibly locally patch up our tools for verifying proofs even in a globally inconsistent system.
Nicely put!