Maurizio Codogno, 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ì:...

Le dimensioni contano?

da Maurizio Codogno | 2 Febbraio 2026 | Diario di un matematico non praticante

Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. La regola del tre è un metodo che si studiava a scuola per risolvere le proporzioni prima di saper usare le incognite: ma...

Il soffitto dell’astrazione

da Maurizio Codogno | 19 Gennaio 2026 | Diario di un matematico non praticante

Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Vi è capitato di arrivare a un punto in cui la matematica pare improvvisamente impossibile da comprendere? Tranquilli,...

Letture matematiche: La formula più bella del mondo

da Maurizio Codogno | 10 Gennaio 2026 | Letture Matematiche

È stato pubblicato da Bollati Boringhieri il libro “La formula più bella del mondo. Quando su Eulero si posò la mano di Dio” di Paolo Gangemi e Francesco Claudio Ugolini. Maurizio Codogno lo ha letto e recensito. Si dice che se si chiede a un matematico o...

La matematica delle tasse

da Maurizio Codogno | 5 Gennaio 2026 | Diario di un matematico non praticante

Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. La matematica entra anche nel pagamento delle tasse, e viene trattata anche peggio di quanto capiti di solito! Non credo...

Cinque minuti di inutili calcoli

da Maurizio Codogno | 15 Dicembre 2025 | Diario di un matematico non praticante

Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Ma voi pensate davvero che ai matematici piaccia fare i calcoli, o almeno lo trovino una cosa naturale? Vi assicuro che...