ricorsione
Quando conviene fermarsi?
Un problemino con una risposta non così banale come sembrerebbe a prima vista
Altri articoli su questo argomento
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...
Prima di Gödel…
I teoremi di incompletezza di Gödel hanno segnato la fine della sicurezza che i matematici hanno avuto per 2500 anni. Cosa è successo prima che arrivasse lui?