L’informatica come prosecuzione della filosofia con altri mezzi