Il digitale e l'intelligenza artificiale conferiscono una dimensione nuova a relazioni antichissime, quali uomo = macchina e diritto = macchina. Un modo per risolvere queste relazioni è il 'dirittomatematico', un algoritmo di metodo, e non di merito, softwarizzabile, ma naturale, reale, semplice, antico, utile tanto a scrivere quanto ad applicare la legge. In uno, un algoritmo estratto dal diritto che c'è, sia esso con verità, sia esso senza verità, e animato dalla consueta «logica aristotelica », applicata però, e questa è l'innovazione, a quattro esaustivi tipi di verità, nessi, nomi, concetti, segni, non numeri, ricavati analogicamente dalla matematica. Si tratta di un modo alternativo rispetto al «modo» della «correlazione», che è invece costituito da un algoritmo imperscrutabile basato su big data e che giustamente preoccupa perché i casi della vita di ogni persona, a sé considerati, non sono e non saranno mai scambiabili, essendo essi destinati a rimanere singoli, unici. Se il fine del diritto è dare a ciascuno il suo e ricevere da ciascuno il suo, cioè rendere uguali i rapporti tra ciascuno e il suo caso, allora il «modo» della «correlazione» non può essere applicato al vero diritto con verità, a meno che non si rinunci al principio di uguaglianza, ossia di scambiabilità, e si torni miseramente a un falso diritto con verità o a un vero diritto senza verità. Questo libro fornisce un'introduzione guidata ai lineamenti del 'dirittomatematico' e una raccolta di applicazioni pratiche della sua versione 1.0. Ma, soprattutto, ne prefigura la versione 2.0, il Diritto Matematico, come Unione di insiemi di una Famiglia forse idonea a contenere e spiegare tutto ciò che comunemente chiamiamo diritto.