Gödel's theorem shows conclusively that in pure mathematics reductionism does not work. To decide whether a mathematical statement is true, it is not… - Freeman Dyson

In the little town of Princeton where I live, we have more than twenty churches and at least one synagogue, providing different forms of worship and belief for different kinds of people. They do more than any other organizations in the town to hold the community together. Within this community of people, held together by religious traditions of human brotherhood and sharing of burdens, a smaller community of professional scientists also flourishes.

What philosophical conclusions should we draw from the abstract style of the superstring theory? We might conclude, as Sir James Jeans concluded long ago, that the Great Architect of the Universe now begins to appear as a Pure Mathematician, and that if we work hard enough at mathematics we shall be able to read his mind. Or we might conclude that our pursuit of abstractions is leading us far away from those parts of the creation which are most interesting from a human point of view. It is too early yet to come to conclusions.

my first recommendation to people in charge of science education is, more money for public libraries and museums. Public libraries and museums ought to be as common as schools.