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 – Ottobre 2024 – Giardino Ossimorico

da Rudi Mathematici | 1 Novembre 2024 | Problemi, Rudi Mathematici

Quasi sempre, chi ama la matematica – e noi partiamo dal presupposto che chi si trova a leggere questo post, su questo blog, ospitato da questo sito, ami la matematica – ama inevitabilmente anche le definizioni chiare, le parole ben precise, i concetti...

Il Calendario dei Rudi Mathematici

da Rudi Mathematici | 23 Ottobre 2024 | I calendari dei Rudi, Intro, Rudi Mathematici

Vai al calendario dei Rudi 2026 Mai cominciare a fare le cose ad settembre o ad ottobre, specie quelle annuali. Sì, sì, lo sappiamo che in realtà sono davvero tante le robe annuali che iniziano proprio in quei mesi lì (gli anni scolastici, per esempio), ma vedete poi...

Problemi Classici – Trenta Denari

da Rudi Mathematici | 16 Ottobre 2024 | Problemi, Vecchi Classici della M.R.

Tre vecchi amici si ritrovano dopo molto tempo, e decidono di pranzare insieme. Si fermano in una modesta trattoria di campagna, gestita da un vecchio contadino e un giovanissimo cameriere. Il pranzo procede serenamente, i piatti non sono certo da ristoranti stellati...

I Rudi Mathematici – Ma chi sono? E che ci fanno su Maddmaths!?

da Rudi Mathematici | 12 Ottobre 2024 | Intro, Rudi Mathematici

No, se non ci avete mai sentiti nominare non ci offendiamo. Qui siamo dentro MaddMaths!, e MaddMaths! è un posto per persone serie, ed è del tutto comprensibile che le persone serie che si occupano di matematica seria non ci abbiano mai sentiti nominare. Noi siamo...