“Se non ci fossero cose non computabili, il concetto di computabilità non avrebbe molto interesse in matematica: i matematici, dopo tutto, amano i rompicapo.”