Diritto matematico. Diritto con verità e Diritto senza verità

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 fi