Ufficio Complicazione Affari Semplici
da Maurizio Codogno | 18 Maggio 2026 | Diario di un matematico non praticanteMaurizio 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
da Maurizio Codogno | 4 Maggio 2026 | Diario di un matematico non praticanteMaurizio 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
