AILAxMaddMaths!

Vedere con la logica: pixel, grafi e tumori – Intervista a Laura Bussi

da | 22nd Luglio 2026 | AILAxMaddMaths!, Profili | Commento 1

Intervista a Laura Bussi, lecturer alla University of Amsterdam e vincitrice del Premio «Paolo Gentilini» 2026 dell’AILA per le applicazioni biomediche della logica.

Leggi di più

Dare forma alla logica: formule, algebre e spazi – Intervista a Marco Abbadini

da | 22nd Luglio 2026 | AILAxMaddMaths!, Profili | Commenti 0

Intervista a Marco Abbadini, ricercatore all’Université catholique de Louvain e vincitore dei premi AILA «Paolo Gentilini» e «Ada Lettieri» per le sue ricerche tra logica, algebra e topologia.

Leggi di più

Cosa sono i proof assistants (e perché sono importanti)

da | 7th Luglio 2026 | AILAxMaddMaths!, Metodi | Commenti 0

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.

Leggi di più

Cos’è la logica algebrica?

da | 3rd Marzo 2026 | AILAxMaddMaths!, Scoperte | Commenti 0

Questo è il primo articolo di una nuova rubrica che ci porterà alla scoperta delle varie aree di ricerca in logica. Il viaggio parte con la Logica Algebrica, che raccontiamo a partire da Boole fino al giorno d’oggi. Questo articolo è stato scritto da Serafina Lapenta e Sara Ugolini.

Leggi di più

Come festeggiare la Giornata Mondiale della Logica

da | 17th Dicembre 2025 | AILAxMaddMaths!, Metodi | Commenti 0

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

Leggi di più
Cos’è la logica algebrica?

Cos’è la logica algebrica?

da | 3 Marzo 2026 | AILAxMaddMaths!, Scoperte

Questo è il primo articolo di una nuova rubrica che ci porterà alla scoperta delle varie aree di ricerca in logica. Il viaggio parte con la Logica Algebrica, che raccontiamo a partire da Boole fino al giorno d’oggi. Questo articolo è stato scritto da Serafina Lapenta...
Sulle orme del mentitore

Sulle orme del mentitore

da | 18 Novembre 2025 | AILAxMaddMaths!, Scoperte

I paradossi semantici hanno una storia lunga (almeno) venticinque secoli. In questo articolo, apparso nel numero 3/2025 di Archimede, Luca San Mauro ci racconta perché i paradossi sono “cariche esplosive piazzate nelle fondamenta delle lingue naturali”, e...
Attraverso lo specchio

Attraverso lo specchio

da | 6 Maggio 2025 | AILAxMaddMaths!, Scoperte

 In matematica capita che una struttura possieda un alter ego che vive in un mondo completamente diverso. Questo gioco di specchi viene formalizzato come dualità categoriale e traduce informazioni attraverso mondi differenti. Qui faremo un piccolo viaggio tra queste...
Profili: Gabriel Goldberg

Profili: Gabriel Goldberg

da | 1 Aprile 2025 | AILAxMaddMaths!, Profili

Da qualche anno, chi si dedica allo studio della teoria degli insiemi può sognare di vincere un proprio “Premio Nobel”: si tratta della medaglia Hausdorff, e il vincitore più recente (2024) è Gabriel Goldberg. Questo articolo è stato scritto da Cesare Straffelini....
È logico fare logica a scuola?

È logico fare logica a scuola?

da | 18 Marzo 2025 | AILAxMaddMaths!, Metodi

OILER è una piattaforma online dove gli insegnanti di matematica, dalla scuola primaria alla secondaria di II grado, possono consultare gratuitamente materiali utili per le loro lezioni. In questa rubrica ci concentreremo sulla scuola primaria, ma insegnanti di altri...
Più in alto di Icaro

Più in alto di Icaro

da | 4 Marzo 2025 | AILAxMaddMaths!, Scoperte

Con questo articolo inizia l’attività di AILA x MaddMaths!, un progetto di divulgazione e comunicazione della logica promosso dall’AILA, pensato per raccontare la logica in tutte le sue sfaccettature. E cominciamo parlando di infinito e dei cardinali...
This website uses the awesome plugin.