[FOM] "Mere" correctness of a proof
José Manuel Rodriguez Caballero
josephcmac at gmail.com
Wed Sep 5 05:25:11 EDT 2018
> Riki Heck wrote:
> One can also get a sense for the importance of explanatoriness by looking
> proofs that are wholly unexplanatory.
The typical example of an unexplanatory proof is Scheffer's proof of the
existence of a non-computable solution of the homogeneous Euler's equation
(fluid mechanics): https://link.springer.com/article/10.1007/BF02921318
Shnirelman's approach to the same problem is more explanatory:
Notice that Shnirelman considered a torus whereas Scheffer considered the
whole plane. The axiom of choice play no role here.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM