What is truth? How do we form our judgements as to what is true and what is untrue about the world? Are we simply following some algorithm - no doubt favoured over other less effective possible algorithms by the powerful process of natural selection? Or might there be some other, possibly non-algorithmic, route - perhaps intuition, instinct, or insight - to the divining of truth? This seems a difficult question. Our judgements depend upon complicated interconnected combinations of sense-data, reasoning, and guesswork. Moreover, in many worldly situations there may not be general agreement about what is actually true and what is false. To simplify the question, let us consider only mathematical truth. How do we form our judgements - perhaps even our ‘certain’ knowledge - concerning mathematical questions? Here, at least, things should be more clear-cut. There should be no question as to what actually is true and what actually is false - or should there? What, indeed, is mathematical truth? The question of mathematical truth is a very old one, dating back to the times of the early Greek philosophers and mathematicians - and, no doubt, earlier. However, some very great clarifications and startling new insights have been obtained just over the past hundred years, or so. It is these new developments that we shall try to understand. The issues are quite fundamental, and they touch upon the very question of whether our thinking processes can indeed be entirely algorithmic in nature. It is important for us that we come to terms with them. In the late nineteenth century, mathematics had made great strides, partly because of the development of more and more powerful methods of mathematical proof. (David Hilbert and Georg Cantor, whom we have encountered before, and the great French mathematician Henri Poincaré, whom we shall encounter later, were three who were in the forefront of these developments.) Accordingly, mathematicians had been gaining confidence in the use of such powerful methods. Many of these methods involved the consideration of sets with infinite numbers of members, and proofs were often successful for the very reason that it was possible to consider such sets as actual ‘things’ - completed existing wholes, with more than a mere potential existence.