My question for this whole subject is how far down the foundation of the link between mathematics, logic, and science do we have to formally prove before we can deem it practical? If reapeatability can prvoide useable results that allow us to manipulate reality for our own benefit, is it so necessary that a formal proof of why it works be developed? At what point to questions like this simply become academic?
Even if the open windows of science at first make us shiver after the cozy indoor warmth of traditional humanizing myths, in the end the fresh air brings vigor, and the great spaces have a splendor of their own - Bertrand Russell
