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




