Truth and science
Mathematicians have built axiomatic systems since Euclid that have become more and more extensive and sophisticated. But Kurt Gödel performed a great service when he showed that there is much more truth to mathematics than could ever be formalized in an axiomatic system. Mathematicians gave up looking for a complete theory, except within limited domains […]