EPISODE · May 25, 2026
[03] Logica formale e Informale
from Ragionare: Logica ed Intelligenza Artificiale · host [EDUNEXT] Università degli Studi di Pavia
In che lingua parla la logica? Mattia e Gabriele distinguono la logica formale — il linguaggio rigoroso dei simboli e delle regole necessarie, alla base dell'informatica — dalla logica informale, strumento per navigare l'ambiguità del linguaggio naturale. Due facce complementari della stessa medaglia: senza l'una perderemmo coerenza, senza l'altra non potremmo ragionare sul mondo reale.
Embed this episode
Ready to play
[03] Logica formale e Informale
No transcript for this episode yet
Similar Episodes
No similar episodes found.