Rudi Mathematici, Autore presso Maddmaths!

Cosa sono i proof assistants (e perché sono importanti)

da AILAxMaddMaths! | 7th Luglio 2026 | AILAxMaddMaths!, Metodi | Commenti 0

Come possiamo essere sicuri che una dimostrazione matematica sia davvero corretta? E che cosa succede quando a produrre dimostrazioni – o codice – è un'intelligenza artificiale? In questo articolo, Matteo Acclavio e Fabrizio Montesi ci raccontano cosa sono i...

Fine del divertimento?

da Maurizio Codogno | 6th Luglio 2026 | Diario di un matematico non praticante | Commenti 0

Con le intelligenze artificiali che dimostrano teoremi e i programmi che formalizzano le dimostrazioni non ci si divertirà più a fare matematica? I commenti sono di tipo opposto.

I Problemi di LeScienze – Giugno 2026 – Gatti contro Alici (e non solo)

da Rudi Mathematici | 3rd Luglio 2026 | Problemi, Rudi Mathematici | Commenti 0

Sappiamo cosa state pensando. State pensando che se si fronteggiano i gatti contro le alici, l'elemento fondamentale è il fattore campo. Fuori dall'acqua, specialmente se i gatti sono normalmente in forma e le alici compresse in una scatoletta piena d'olio, la partita...

Il Premio Riemann alla matematica Sylvia Serfaty

da Chiara de Fabritiis | 2nd Luglio 2026 | Eventi, Persone | Commenti 0

La terza edizione del Premio Riemann, conferito dalla Riemann International School of Mathematics, va alla matematica francese Sylvia Serfaty che verrà premiata il 3 luglio a Palazzo Estense a Varese, alla fine di una settimana di conferenze che si tengono a 200 anni...

Come battere Wordle con la matematica

da Redazione | 30th Giugno 2026 | News | Commenti 0

Ogni giorno milioni di persone si accaniscono su Wordle, il giochino di parole del New York Times che il 15 giugno scorso ha festeggiato il suo quinto compleanno. E ogni giorno qualcuno si chiede se non esista un trucco per vincere. La risposta, a quanto pare, è sì:...

I Problemi di LeScienze – Gennaio 2026 – Gambetti e sgambetti

da Rudi Mathematici | 1 Febbraio 2026 | Problemi, Rudi Mathematici

Ci tocca parlare di scacchi, e se ci tocca parlare di scacchi è necessario iniziare con un vigoroso disclaimer. Il fatto è che, nell’immaginario collettivo, gli scacchi e la matematica sono parenti assai stretti (cosa ragionevolmente vera) e di conseguenza che...

I classici secondo noi – Rudy 2, la vendetta

da Rudi Mathematici | 14 Gennaio 2026 | Problemi, Rudi Mathematici, Vecchi Classici della M.R.

Come in ogni giallo che si rispetti, il motivo del titolo potrebbe diventare più chiaro verso la fine (e, nell’introduzione, abbiamo adombrato il finale… Perfetto, abbiamo il prossimo best seller). Per rendere “classico” un problema per Rudy...

I Problemi di LeScienze – Dicembre 2025 – Girotondo, casca il mondo

da Rudi Mathematici | 31 Dicembre 2025 | Problemi, Rudi Mathematici

Se si dovesse fare una lista dei cambiamenti della vita quotidiana occorsi nell’ultimo mezzo secolo, l’elenco sarebbe bello lungo. Con ogni probabilità, però, ci si concentrerebbe sulle cose principali – prima fra tutte, l’avvento di Internet...

Taccuino di viaggio – Milano. Un reportage dei Rudi Mathematici

da Rudi Mathematici | 26 Dicembre 2025 | Rudi Mathematici

Dopo il successo delle prime due edizioni, che si sono tenute a Napoli e a Palermo, quest’anno il Carnevale della Matematica dal Vivo è tornato il 21 e 22 novembre scorsi, ospite del Museo Nazionale di Scienza e Tecnologia Leonardo da Vinci di Milano, con incontri...