“If logic is the hygiene of the mathematician, it is not his source of food: it is the great [mathematical] problems that form his daily bread.”