backup del Post

Uno dei blog di .mau.

Tag Archives: dimostrazioni al computer

Una dimostrazione più grande di tutta Wikipedia

Il primo passo avanti nella dimostrazione di una congettura di Erdős è stato (forse) compiuto da un dimostratore automatico di teoremi. Ma… Continue reading

19/02/2014 Uncategorized , , ,

Dimostrazioni “umane”?

Qual è la vera differenza tra le dimostrazioni matematiche fatte dagli umani e dai computer? È una questione complicata. Continue reading

10/10/2016 Uncategorized ,