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 – Novembre 2024 – Un campionato lungo un giorno

da Rudi Mathematici | 3 Dicembre 2024 | Problemi, Rudi Mathematici

Tennis. Tutti parlano di tennis. Soprattutto in Italia, soprattutto a Novembre. Potevamo lasciar passare la cosa così, senza rompere le uova nel paniere a nessuno? Che non sia mai detto. Sinner, Berrettini, Errani e Paolini possono darsi da fare quanto gli pare, per...

Problemi Classici – Una Stella

da Rudi Mathematici | 22 Novembre 2024 | Problemi, Vecchi Classici della M.R.

“Ecco un esercizio astronomico per i più piccoli, sebbene possa suscitare la curiosità anche degli adulti. Vediamo quanto tempo vi serve per scoprire una stella perfetta nel complicato miscuglio qui disegnato”. È con queste parole che Sam Loyd, il grande creatore di...

Problemi Classici – Due triangoli

da Rudi Mathematici | 12 Novembre 2024 | Problemi, Vecchi Classici della M.R.

I pregi di questo famosissimo indovinello sono così tanti che è difficile elencarli tutti. È stato coniugato in decine di forme, anche con qualche significativa variazione concettuale (la più popolare in rete è probabilmente il video in cui si taglia in maniera...

I Rudi Mathematici e il Carnevale della Matematica

da Rudi Mathematici | 5 Novembre 2024 | Carnevale della Matematica, Intro, Rudi Mathematici

Tanto per cominciare facendo una cosa sbagliata, vi invitiamo a provare a cliccare su questo misterioso (si fa per dire) link. Se lo avete fatto, avrete scoperto che di misterioso non c’è davvero granché: dovreste essere atterrati su un post del 14 febbraio 2024...