Metodi

Come possiamo essere sicuri che una dimostrazione matematica sia davvero corretta? E che cosa succede quando a produrre dimostrazioni – o codice – è un’intelligenza artificiale? In questo articolo, Matteo Acclavio e Fabrizio Montesi ci raccontano cosa sono i proof assistants e perché stanno cambiando il modo di fare matematica e informatica.

Il 14 gennaio è la Giornata Mondiale della Logica. L’AILA, in collaborazione con MaddMaths!, ha preparato alcune attività da proporre a scuola.

Ha senso insegnare la teoria degli insiemi a scuola? E se sì, in che modo? È possibile superare la diatriba tra l’idea anacronistica di usare gli insiemi per introdurre i numeri naturali nella pratica didattica e l’odio aprioristico per l’«insiemistica»? Questo articolo è stato scritto da Luigi Bernardi e Antonio Veredice.

Le dimostrazioni sono il cuore della matematica, ma insegnarle a scuola è una sfida complessa. OILER, una piattaforma online dedicata alla didattica della logica, propone un percorso che parte dai giochi e dalle strategie vincenti per guidare studenti e studentesse a riconoscere la correttezza delle dimostrazioni e a costruirne di nuove. Questo articolo è stato scritto da Luigi Bernardi.