Prof. Luca Francesco San Mauro

Argomenti del programma: Il corso propone un’introduzione alla logica classica. In particolar modo, ci concentreremo sulla logica proposizionale e la logica del primo ordine, con particolare riferimento al legame tra logica e filosofia della scienza.

Argomenti del programma: Indecidibilità: una questione filosofica Il corso si concentrerà sulla dimensione filosofica del concetto di algoritmo e sull’esistenza di problemi indecidibili (ovvero, problemi che sfuggono alla capacità di calcolo di qualsiasi computer, presente o futuro che sia, e che non potranno mai essere risolti dall’intelligenza artificiale).