Diario di un matematico non praticante
Matematica, IA e creatività
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. Un professore ha “dimostrato” che un LLM non potrà mai superare la creatività di un bravo dilettante. Ma...
Ingegno artificiale
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. Sir Roger Penrose pensa che le IA non siano intelligenti, ma solo ingegnose. Vedendo gli ultimi risultati, il mio...
Ufficio Complicazione Affari Semplici
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. Perché i matematici odiano i cavallucci e i cagnolini? Non è una battuta, ma la conseguenza del voler spesso essere...
AxiomProver
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. AxiomProver non solo dimostra teoremi, ma dimostra formalmente la dimostrazione. Ma non basta ancora per fare il...
Una funzione per ghermirle tutte
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. È davvero necessario avere a disposizione tutti gli operatori matematici? No: se ne può costruire uno che insieme alla...
L’importanza delle notazioni
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 siete mai chiesti perché i matematici sono così fissati con le notazioni? C’è una ragione molto semplice:...
Il furto di Cantor
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. Alcuni matematici avevano già avuto dei dubbi, ma ora sono state trovate le prove: Cantor ha ideato la teoria degli...
Erdős, stai pure tranquillo
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. Abbiamo letto tanti titoloni su come le IA sarebbero ormai in grado di risolvere i problemi matematici che hanno...
La matematica è una o ennupla?
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. Si può evitare di reinventare la stessa matematica in campi diversi, perché non si sa cosa gli altri hanno fatto? Per noi...
Le dimensioni contano?
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
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,...
La matematica delle tasse
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
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...
La pigrizia dei matematici
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. Il tema del post di oggi è chiedersi come mai i matematici non si facciano problemi a ricavare un risultato, anziché...
IA, batti il cinque!
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. Il tema del post di oggi è l’uso dell’intelligenza artificiale da parte dei matematici: è sicuramente utile,...
Perché l’algebra?
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. Il tema di oggi è il motivo per cui si usa l’algebra (nel senso di operazioni aritmetiche a scuola, non in quello...
Risposte e domande
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. Il tema di oggi è il delicato rapporto tra risposte e domande. Oggi mi limito a una breve considerazione quasi banale,...
Come spiegare le dimostrazioni alle AI?
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. Oggi parla di un progetto per insegnare la matematica agli LLM. Tim Gowers è una medaglia Fields, insomma uno che di...
La gioia delle dimostrazioni
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. Oggi cerca di far capire cosa c’è di bello nel trovare una dimostrazione. Avete presente il teorema della 4C, con i...
News
News di Matematica dall’Italia e dal Mondo
- A digestion of unit distance constructionsby Terence Tao on 3rd Luglio 2026 at 16:18
Suppose that […]
- Double Maths First Thing: Issue 5Fby Colin Beveridge on 1st Luglio 2026 at 07:45
Double Maths […]
- Aperiodical News Roundup – June 2026by Katie Steckles on 1st Luglio 2026 at 07:02
Here’s a […]
- Double Maths First Thing: Issue 5Eby Colin Beveridge on 24th Giugno 2026 at 07:45
Double Maths […]
- \(-e^{i\pi}\) to Watch: StanDoesMath
by Katie Steckles on 22nd Giugno 2026 at 09:00In this series […]
- Double Maths First Thing: Issue 5Dby Colin Beveridge on 17th Giugno 2026 at 07:45
Double Maths […]
