Paper written in July 2017 during the course: "Philosophical issues of computer science" at Politecnico of Milan.