La dimostrazione matematica più lunga
È impossibile che qualche essere umano la possa leggere.

È impossibile che qualche essere umano la possa leggere.

Il cubo di Rubik può sermpre essere risolto in al più venti mosse. Come lo si è scoperto? Usando la forza bruta.

Spesso in matematica sapere qual è il risultato da dimostrare fa anche intuire qual è la strada da prendere per dimostrarlo. Il guaio è appunto riuscire a saperlo...

Quando un matematico cerca una dimostrazione di esistenza non si lascia mica intimorire dalla grandezza dei numeri che ottiene!

Spesso la soluzione di un problema matematico sembra uscire come per magia da un cappello. Ma in fin dei conti il bello della matematica è che un problema può magicamente essere visto da un altro punto di vista!

Il 2012 si è aperto con la dimostrazione che per avere un sudoku risolvibile è necessario avere almeno 17 numeri. Come ci si è arrivati? Forza (quasi) bruta.

Non penserete mica che il progetto di Jesse Anderson abbia un qualche senso?

Una specie di gioco di prestigio matematico: l'asso galleggia sempre e si porta all'inizio del mazzetto di carte...
