Digitale Objekte sind allerdings nicht bloß Quanta, sondern Träger von Informationen. Deswegen wird in den digitalen Geisteswissenschaften nicht, wie in den mathematischen Naturwissenschaften, quantifiziert, sondern formalisiert. Der Vieldeutigkeit dieses Begriffs ist die einschlägige Theoriebildung bislang aus dem Weg gegangen, was weniger verwundert, wenn man sich vergegenwärtigt, dass die philosophiehistorische Analyse nicht weniger als acht unterschiedliche Bedeutungen des Begriffs des Formalen alleine für die Logik ausweist (Dutilh Novaes 2011, 304). Eine dieser acht Bedeutungen ist jedoch hier unmittelbar einschlägig, nämlich die des Formalen als Berechenbarkeit: sowohl die wohlgeformten Ausdrücke eines Kalküls wie auch deren Transformationen lassen sich durch die mechanische Anwendung eindeutiger Regeln generieren (Dutilh Novaes 2011, 323). Formalisierung in diesem Sinne bedeutet dann, Objekte für eine Bearbeitung mithilfe solcher eindeutiger Regeln tauglich zu machen. In der Terminologie von CIDOC CRM besteht Formalisierung also darin, Informationsobjekte zu digitalen Objekten zu transformieren bzw., sehr viel einfacher gesagt, sie zu digitalisieren (mutatis mutandis dürfte Ähnliches für Bild- oder Klangobjekte gelten, auch wenn sie nicht unter den Begriff des Informationsobjekts fallen). Digitale Objekte als solche sind also schon formalisiert, weil sie als Bits vorliegen, die weiteren rechnenden Transformationen zugänglich sind. Weiter unterscheiden sich die ‚epistemischen Dinge‘ der DH untereinander nur durch den Grad ihrer Strukturierung (Trilcke/Fischer 2018, Abschn. 3).