Ennesimo saggio in risposta a una domanda posta su Quora: “Cos’è il teorema dei 4 colori?”. Trattandosi del primo teorema dimostrato non solo da umani ma col sussidio importante di computer (1976), non tanto il risultato della dimostrazione, ma il metodo stesso apre la porta a diversi interrogativi. Prevedo naturalmente che il fenomeno si estenderà. Ma a che serve conoscere un risultato che non ha nessuna utilità pratica nell’immediato, se non si ha idea di come lo si sia ottenuto? E, di qui, altre considerazioni.