Nicola Angius

È ricercatore in Logica e Filosofia della Scienza presso il Dipartimento di Scienze Cognitive, Psicologiche, Pedagogiche e degli studi culturali dell'Università degli Studi di Messina, presso il quale insegna Filosofia della Scienza, Epistemologia della Psicologia e Philosophy of Computing. I suoi interessi di ricerca vertono sull'epistemologia dell'informatica con applicazioni nel campo dell'intelligenza artificiale e delle scienze cognitive. È co-autore della voce "Philosophy of Computer Science" per la Stanford Encyclopedia of Philosophy".

Open Problems

Can Computer Programs be Formally Verified?

Abstract This paper examines one central problem in the philosophy of computer science, namely the question of whether computer programs can be verified by means of a mathematical proof. Firstly, program verification is defined and the classical debate on its…

Nicola Angius
Maggio 4, 2024