L’imperativo categorico come algoritmo. Kant e l’etica delle macchine