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 – Febbraio 2025 – Ingegneri vendicativi

da Rudi Mathematici | 8 Marzo 2025 | Problemi, Rudi Mathematici

Forse non tutti sanno che nessuno dei tre Rudi Mathematici è in realtà un vero matematico. Forse non tutti lo sapevano, ma probabilmente molti se lo immaginavano, visto il modo in cui trattiamo la matematica… comunque sia, la verità è che nel mucchio ci sono due...

Quick & Dirty – Poligoni pentagonati

da Rudi Mathematici | 16 Febbraio 2025 | Problemi, Rudi Mathematici

Mostrare che ogni poligono può essere tassellato con pentagoni convessi. La risposta... Non cliccate qui se non ci avete pensato! Poi è troppo tardi! È noto che ogni poligono può essere tassellato con triangoli, quindi è sufficiente dimostrare che ogni triangolo può...

Carnevale della Matematica # 184

da Rudi Mathematici | 14 Febbraio 2025 | Carnevale della Matematica, Rudi Mathematici

Siate i benvenuti alla centottantaquattresima edizione del Carnevale della Matematica, quella che sarebbe dovuta uscire il 14 agosto 2023. In questo 14 febbraio 2025 ci si attendeva il trionfale ingresso dell’edizione numero 202, tenendo conto che la leggendaria prima...

I Problemi di LeScienze – Gennaio 2025 – «The ScareDoc»

da Rudi Mathematici | 2 Febbraio 2025 | Problemi, Rudi Mathematici

Scarecrow, dicono gli anglofoni. Parola composta dal verbo to scare (spaventare) e crow (corvo) e quindi simile alla nostra “spaventapasseri”, che ha costruzione e significato quasi identico, anche se fa supporre che dalle nostre parti siano soprattutto i passerotti a...