Surely Darwin's simplest tenet is that inheritable mutations occur.
This has been proven as convincingly as anything in number theory, whose
toughest proposition is logical consistency of the system. That one is
demonstrably _n_o_t_ vulnerable to proof, unless it is false.
Goedel's work is a glorious climax to the focus on proof in mathematics,
because it established rigorous limits on proof, without fuzzily turning
away from it. It is liberating to know that certainty is unavailable;
but to use this fact to suggest that all comparison must end is to give
up its liberating clarity.
Tim Poston