Dare forma alla logica: formule, algebre e spazi – Intervista a Marco Abbadini
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. Ciao Marco! Quest’anno hai vinto ben due dei premi che l’AILA...
Cosa sono i proof assistants (e perché sono importanti)
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...
Cos’è la logica algebrica?
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...
Come festeggiare la Giornata Mondiale della Logica
Il 14 gennaio è la Giornata Mondiale della Logica, proclamata dall’UNESCO nel 2019 per sostenere la ricerca, l’insegnamento e la divulgazione della logica. La data è stata scelta per ricordare due figure centrali della logica del XX secolo, Kurt Gödel...
News
News di Matematica dall’Italia e dal Mondo
- Double Maths First Thing: Issue 63by Colin Beveridge on 29th Luglio 2026 at 07:45
Double Maths […]
- \(-e^{i\pi}\) to Watch: MathsWithKala
by Katie Steckles on 27th Luglio 2026 at 09:00In this series […]
- Thoughts about the Leiden Declarationby gowers on 26th Luglio 2026 at 16:54
Last September […]
- Double Maths First Thing: Issue 62by Colin Beveridge on 22nd Luglio 2026 at 07:45
Double Maths […]
- A digestion of the Jacobian conjecture counterexampleby Terence Tao on 21st Luglio 2026 at 21:04
The notorious […]
- Octonions and the Standard Model (Part 15)
by john on 18th Luglio 2026 at 17:56John Baez, […]
