Da Pitagora a Turing. Elementi di filosofia matematica