La due giorni di Genova per la Festa delle Donne Matematiche

Il 14 e 15 maggio, il Dipartimento di Matematica dell'Università di Genova e il Comitato DEI dell'UMI hanno organizzato tre iniziative per celebrare le donne matematiche. Chiara de Fabritiis della nostra redazione ci racconta com'è andata. Contrariamente a quelli che...

Ufficio Complicazione Affari Semplici

Perché i matematici odiano i cavallucci e i cagnolini? Non è una battuta, ma la conseguenza del voler spesso essere estremamente formali.

Macchine come te? (seconda parte)

L'intelligenza artificiale (IA) è un modo semplificato di indicare un insieme di strumenti computazionali costruiti per svolgere compiti complessi in campo cognitivo. Qual è il ruolo di questi strumenti nella matematica attuale e futura? Cambierà il nostro modo di...

Matematici Criminali (Quando il genio sbaglia strada) – Episodio 5 – Il matematico triplogiochista

Una mini-serie a cura di Marco Trombetti, in cui si esplorano le vite di matematici straordinari per intelletto ma controversi per scelte, azioni o destini: figure in cui la brillantezza teorica convive con l’ombra, e dove la linea che separa rigore e...

Risultati vs giochisti? Parola ai numeri

Risultati vs giochisti? Parola ai numeri

AxiomProver

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...
This website uses the awesome plugin.