Quotes About Formal systems

Where does meaning come in? If everything is assigned a number, does this diminish the meaning in the world? What Gödel (and Turing) proved is that formal systems will, sooner or later, produce meaningful statements whose truth can be proved only outside the system itself. This limitation does not confine us to a world with any less meaning. It proves, on the contrary, that we live in a world where higher meaning exists.

Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F.

All those formal systems, in mathematics and physics and the philosophy of science, which claim to give foundations for certain truth are surely mistaken. I am tempted to say that we do not look for truth, but for knowledge. But I dislike this form of words, for two reasons. First of all, we do look for truth, however we define it, it is what we find that is knowledge. And second, what we fail to find is not truth, but certainty; the nature of truth is exactly the knowledge that we do find.