“Spesso, quando si fa matematica, ci si sforza di trovare algoritmi, ma questo sforzo stesso non sembra essere un procedimento algoritmico.”