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...




