Computers, paradoxes and the foundations of mathematics: Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife