Thank you for explaining the difference between rationalism and empiricism. My comment was probably not very clear -- I wished to verify the opinion of the aut

Thank you for explaining the difference between rationalism and empiricism. My comment was probably not very clear -- I wished to verify the opinion of the author who wrote the previous comment, not philosophy as a whole. The specific statement that I doubted was "this search gave us ..., the industrial revolution, the computer age, and beyond." My point about these philosophical thoughts in relation to industry and computers is that it is all quite academic. The halting problem is very interesting to some computer scientists, but it is, IMHO, not at all relevant to produce working solutions in any industry. However, I do stand corrected with respect to your last paragraph! Leibniz did indeed offer many practical tools, for instance through his differential calculus. I still wonder about the impact of Hume and Plato on computers. I'd still dare say that these developments could have taken place without academic philosophical thought. That does not take away from the search being amazing and very interesting indeed.