Gigabytes' blog 2.0

Forse il motivo per cui i matematici sono così attaccati alle dimostrazioni formali, è che se lo possono permettere. Così Marcus du Sautoy, nel suo libro “L’enigma dei numeri primi”, cerca di motivare l’amore della matematica per l’inconfutabilità delle dimostrazioni logiche. È per questo motivo che la comunità scientifica non può ancora accettare come prova l’enorme [...]