Mathematician Quotes and aphorisms about tasks Terence Tao ,, One can think of any given axiom system as being like a computer with a certain limited amount of m...