Depuydt writes: "By the way, have the deeper foundations of mathematics been
found? The short answer is: No way.”
Well, one might say that the point to Godel’s theorem is that there aren’t
such, or at least they’re not to be found in one neighborhood.
Complaining about that is like complaining about Galois’s finding that there
are no algebraic formulas to solve for the roots of polynomial equations of
degree 5 or higher — another young genius’s stunning result that settled a
millennia-old question.
And by the way, the proof of that result isn’t exactly trivial either.
OK, no more. I just couldn’t resist adding this perhaps cheap shot…
Regards to all
Eric Dean