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
backup del Post
Uno dei blog di .mau.
Tag Archives: congetture
Cinque bastano
La congettura di Goldbach resiste da quasi tre secoli ai tentativi di dimostrazione. Ci è voluta una Fields Medal per ottenere un nuovo risultato dopo ottant’anni. Continue reading
La congettura degli insiemi union-closed [Pillole]
Partiamo da una definizione non molto complicata. Una famiglia di insiemi si dice chiuso rispetto all’unione (“union-closed” in inglese, forma che userò perché molto più compatta) se presi due qualunque insiemi della famiglia la loro unione fa ancora parte della … Continue reading
Enter your password to view comments.