L'autore presenta in modo rigoroso, dissipando molte ambiguità, le principali correnti della filosofia della matematica che hanno caratterizzato il Novecento e che ancora restano significative: non solo le pió note come platonismo, formalismo e costruttivismo ma anche la posizione fenomenologica di Godel, il naturalismo, il fallibilismo, l'empirismo, le discussioni sulla dimostrazione