La via unica: una dimostrazione matematica contro l’illusione della fiducia compensata
nb: non tralasciate di leggere a fine di questo saggio –> “La via unica della fiducia algoritmica: una sintesi matematica”
Il problema: tre ingredienti, un solo punteggio
Premessa dell’autore:
Questo lavoro nasce da una domanda che ho voluto affrontare spogliata di ogni riferimento tecnico, normativo o ideologico, riducendola al suo nucleo puramente logico: quando diciamo di “fidarci” di una decisione, cosa stiamo davvero misurando? Mi sono chiesto se fosse possibile dimostrare, con gli strumenti della matematica e non con l’intuizione o l’opinione, che certe proprietà di una valutazione non possano mai essere sacrificate in cambio di altre. Il risultato a cui sono arrivato mi ha sorpreso per la sua nettezza: non esiste una via di mezzo. O si accetta una compensazione che, in determinate condizioni estreme, diventa totale, oppure si esclude ogni compensazione in modo assoluto. Non ci sono compromessi intermedi che reggano a una dimostrazione rigorosa. Condivido qui questo percorso nella speranza che possa essere utile a chiunque si occupi, in qualunque campo, di costruire criteri di valutazione affidabili.
ascolta il podcast sul mio canale youtube –> https://youtu.be/OjcnweD8sno
inizio del saggio:
Supponiamo che la fiducia che possiamo riporre in una decisione dipenda da tre proprietà distinte e indipendenti. Chiamiamole, senza perdita di generalità, A, B e C. Ciascuna può essere presente in misura variabile, da assenza totale a presenza piena, rappresentata da un numero compreso tra zero e uno. Una funzione matematica combina questi tre valori in un unico punteggio finale, anch’esso compreso tra zero e uno, dove uno rappresenta la massima fiducia possibile.
La domanda che il problema pone è apparentemente semplice: questa funzione può lasciare che un eccesso in due proprietà compensi la totale assenza della terza? Oppure esiste qualcosa di intrinsecamente sbagliato in questa possibilità?
Due strade matematiche, due esiti opposti
Fissate alcune regole minime di buon senso — il punteggio è zero se tutto è assente, è massimo se tutto è massimo, e aumentare un ingrediente non può mai far peggiorare il risultato — emergono naturalmente due famiglie di funzioni possibili, profondamente diverse tra loro.
La prima famiglia è quella delle funzioni additive: combinazioni pesate, simili a medie. In queste funzioni, è dimostrabile che nessuna delle tre proprietà è davvero indispensabile: la sua assenza riduce il punteggio finale, ma non lo azzera mai, perché le altre due, se sufficientemente alte, possono sempre colmare il vuoto.
La seconda famiglia è quella delle funzioni congiuntive: il prodotto dei tre valori, oppure il loro minimo. In queste funzioni, accade l’opposto: l’assenza anche di una sola proprietà annulla l’intero punteggio, indipendentemente da quanto siano alte le altre due. È una logica del tipo “tutto o niente”, che non ammette eccezioni.
La scoperta centrale: la compensazione non è un difetto piccolo
Il punto più rilevante di questa indagine non è la semplice constatazione che le funzioni additive permettono compensazione — un fatto quasi intuitivo — ma la dimostrazione che questa compensazione è, nei casi limite, illimitata.
È possibile costruire, in modo del tutto esplicito, una famiglia di funzioni additive perfettamente legittime, coerenti con tutte le regole di buon senso imposte, capaci di assegnare un punteggio arbitrariamente vicino al massimo assoluto a una decisione completamente priva di una proprietà essenziale. Non importa quanto si scelga ambiziosa la soglia di “alta fiducia” — il novanta percento, il novantanove, il novantanove virgola nove — esiste sempre una funzione additiva, rispettosa di ogni assioma ragionevole, capace di raggiungerla pur mancando del tutto di un requisito fondamentale.
Questo risultato cambia la natura del problema: non si tratta più di un’imperfezione marginale da correggere con qualche accorgimento, ma di un comportamento strutturale, presente in ogni funzione che ammetta anche il più piccolo margine di compensazione.
Niente vie di mezzo: il teorema della via unica
Da qui nasce la domanda più interessante: esiste una soluzione intermedia? Una funzione che ammetta solo “un po’” di compensazione, sufficientemente piccola da essere considerata accettabile?
La risposta, dimostrata rigorosamente, è negativa. Ogni funzione che soddisfi le regole minime di buon senso ricade necessariamente in una delle due categorie, senza eccezioni e senza zone intermedie: o non ammette alcuna compensazione in nessun caso, oppure ammette una compensazione che, nei casi limite, può essere sfruttata fino a rendere il punteggio arbitrariamente vicino al massimo, anche con un requisito fondamentale del tutto assente. Non esiste una soglia di compensazione “abbastanza piccola da essere sicura”: qualunque margine, per quanto minuscolo in apparenza, può sempre essere portato all’estremo.
Questo è ciò che chiamiamo il teorema della via unica: tra le funzioni compensative e quelle non compensative non esiste un terzo gruppo. La scelta è binaria, e ogni illusione di un compromesso ragionevole si rivela, sotto analisi rigorosa, infondata.
Principio, non formula
C’è un’ultima distinzione, sottile ma essenziale, che evita di fraintendere la portata di questa dimostrazione. Non si è dimostrato che esista un’unica formula corretta — il prodotto dei tre valori, o il loro minimo, non sono “la” soluzione. Sono solo esempi, tra infiniti possibili, di funzioni che rispettano il principio richiesto.
Ciò che è stato dimostrato, con rigore, è qualcosa di più profondo: l’intera classe delle funzioni prive di compensazione è l’unica classe compatibile con una nozione rigorosa di fiducia. All’interno di questa classe esistono infinite formule diverse, ciascuna con proprietà proprie — alcune più sensibili a piccole variazioni, altre meno, alcune idempotenti, altre no — ma tutte condividono un tratto comune e non negoziabile: nessuna di esse permette mai che l’assenza totale di un requisito essenziale venga mascherata da un eccesso altrove.
Conclusione
Quando attribuiamo fiducia a una valutazione complessa basata su più criteri, è facile lasciarsi ingannare da un punteggio aggregato elevato, credendo che esso garantisca automaticamente il rispetto di ogni requisito importante. Questa dimostrazione mostra che, ogniqualvolta esista anche un solo requisito davvero indispensabile, l’unico modo matematicamente coerente per garantirne sempre la presenza è costruire una misura che non ammetta alcuna forma di compensazione — non “il meno possibile”, non “in casi eccezionali”, ma mai, in nessun caso. Tra l’illusione di un compromesso ragionevole e il rigore assoluto non esiste una terza via.
La via unica della fiducia algoritmica: una sintesi matematica
di Salvatore Martino
Premessa
Questo articolo presenta, in forma sintetica ma matematicamente rigorosa, un risultato che risponde a una domanda apparentemente semplice: se la fiducia in una decisione dipende da più proprietà essenziali, può un eccesso in alcune di esse compensare l’assenza totale di un’altra? La risposta, dimostrata formalmente, è negativa — e la dimostrazione individua un’unica classe di strutture matematiche compatibile con un’idea rigorosa di affidabilità.
1. Il modello
Siano X,Y,Z∈[0,1]X, Y, Z \in [0,1]
X,Y,Z∈[0,1] tre variabili reali, normalizzate, che rappresentano tre proprietà essenziali indipendenti. Il loro dominio congiunto è il cubo unitario
Ω=[0,1]3.\Omega = [0,1]^3.Ω=[0,1]3.
La fiducia attribuibile a una decisione è rappresentata da una funzione
T:Ω→[0,1],T : \Omega \to [0,1],T:Ω→[0,1],
soggetta a due condizioni minime, accettate come assiomi:
A1 — Normalizzazione. T(0,0,0)=0T(0,0,0)=0
T(0,0,0)=0, T(1,1,1)=1T(1,1,1)=1
T(1,1,1)=1.
A2 — Monotonicità. TT
T non decresce mai se una qualsiasi delle tre variabili aumenta.
Queste due condizioni sono l’unico punto di partenza: nessun’altra ipotesi viene assunta senza dimostrazione.
2. Due famiglie di funzioni, due esiti opposti
Da A1 e A2 derivano naturalmente due famiglie disgiunte di funzioni.
Famiglia additiva. Esempio tipico:
T(X,Y,Z)=αX+βY+γZ,α,β,γ>0, α+β+γ=1.T(X,Y,Z) = \alpha X + \beta Y + \gamma Z, \qquad \alpha,\beta,\gamma>0,\ \alpha+\beta+\gamma=1.T(X,Y,Z)=αX+βY+γZ,α,β,γ>0, α+β+γ=1.
Si dimostra che, posto X=0X=0
X=0:
T(0,Y,Z)=βY+γZ≤β+γ=1−α<1.T(0,Y,Z) = \beta Y + \gamma Z \le \beta+\gamma = 1-\alpha < 1.T(0,Y,Z)=βY+γZ≤β+γ=1−α<1.
Il punteggio resta strettamente inferiore al massimo, ma non si annulla: con Y=Z=1Y=Z=1
Y=Z=1, T=1−αT=1-\alpha
T=1−α, un valore che può essere arbitrariamente prossimo a 11
1 se α\alpha
α è piccolo. La proprietà XX
X non è dunque indispensabile in senso forte.
Famiglia congiuntiva. Esempio tipico:
T(X,Y,Z)=X⋅Y⋅ZoppureT(X,Y,Z)=min(X,Y,Z).T(X,Y,Z) = X\cdot Y\cdot Z \qquad \text{oppure} \qquad T(X,Y,Z)=\min(X,Y,Z).T(X,Y,Z)=X⋅Y⋅ZoppureT(X,Y,Z)=min(X,Y,Z).
Per il prodotto: se X=0X=0
X=0, allora T=0⋅Y⋅Z=0T=0\cdot Y\cdot Z=0
T=0⋅Y⋅Z=0 per ogni Y,ZY,Z
Y,Z. Per il minimo: se X=0X=0
X=0, allora min(X,Y,Z)≤X=0\min(X,Y,Z)\le X=0
min(X,Y,Z)≤X=0. In entrambi i casi, l’assenza di una sola proprietà azzera l’intero punteggio, indipendentemente dal valore delle altre due, anche se massimo.
3. Il risultato chiave: la compensazione è illimitata, non marginale
Il contributo più rilevante non è la semplice osservazione che le funzioni additive ammettono compensazione, ma la dimostrazione che tale compensazione può essere resa arbitrariamente vicina al massimo.
Costruzione. Sia Tα(X,Y,Z)=αX+1−α2(Y+Z)T_\alpha(X,Y,Z) = \alpha X + \dfrac{1-\alpha}{2}(Y+Z)
Tα(X,Y,Z)=αX+21−α(Y+Z), con α∈(0,1)\alpha\in(0,1)
α∈(0,1). Per ogni soglia θ∈(0,1)\theta\in(0,1)
θ∈(0,1) fissata, scegliendo
α=1−θ,\alpha = 1-\theta,α=1−θ,
si ottiene
Tα(0,1,1)=1−α2⋅2=1−α=θ.T_\alpha(0,1,1) = \frac{1-\alpha}{2}\cdot 2 = 1-\alpha = \theta.Tα(0,1,1)=21−α⋅2=1−α=θ.
Dunque, per qualunque θ\theta
θ scelto arbitrariamente prossimo a 11
1, esiste una funzione additiva legittima (compatibile con A1, A2) che assegna punteggio θ\theta
θ a una decisione in cui X=0X=0
X=0 — totale assenza di una proprietà essenziale — pur con Y=Z=1Y=Z=1
Y=Z=1.
Conseguenza. Non esiste alcuna soglia di sicurezza θ∗\theta^*
θ∗ tale che T≥θ∗T\ge\theta^*
T≥θ∗ garantisca la presenza di tutte le proprietà essenziali, per nessuna funzione additiva con pesi positivi. Il difetto non è correggibile riducendo il peso della proprietà critica: anzi, è proprio riducendo quel peso che la compensazione si avvicina al massimo.
4. L’assioma di non compensazione
Da questa dimostrazione si formalizza un principio:
A4 — Non Compensazione.
∀V∈{X,Y,Z} ∀(x,y,z)∈Ω:v=0 ⟹ T(x,y,z)=0.\forall V \in \{X,Y,Z\}\ \ \forall (x,y,z)\in\Omega:\quad v=0 \implies T(x,y,z)=0.∀V∈{X,Y,Z} ∀(x,y,z)∈Ω:v=0⟹T(x,y,z)=0.
Si dimostra (Teorema di caratterizzazione) che:
T soddisfa A1, A2, A4 ⟺ T(x,y,z)=0 ogniqualvolta min(x,y,z)=0.T \text{ soddisfa A1, A2, A4} \iff T(x,y,z)=0 \ \text{ ogniqualvolta } \min(x,y,z)=0.T soddisfa A1, A2, A4⟺T(x,y,z)=0 ogniqualvolta min(x,y,z)=0.
Questa è precisamente la condizione che definisce, in matematica, le t-norme: gli operatori generalizzati di congiunzione logica su [0,1][0,1]
[0,1], di cui prodotto e minimo sono i due esempi canonici.
5. Il teorema della via unica
Si definisce, per ogni TT
T, la quantità
M∗=maxV supaltre variabiliT(V=0,⋅,⋅).M^* = \max_{V}\ \sup_{\text{altre variabili}} T(V=0,\cdot,\cdot).M∗=Vmax altre variabilisupT(V=0,⋅,⋅).
Per la tricotomia dell’ordine reale, M∗M^*
M∗ è esattamente 00
0 oppure M∗>0M^*>0
M∗>0: non esiste una terza possibilità.
Se M∗=0M^*=0
M∗=0: TT
T soddisfa A4, appartiene alla classe congiuntiva.
Se M∗>0M^*>0
M∗>0: per la costruzione del paragrafo 3, TT
T è compensativa in modo illimitato, e dunque incompatibile con A4 per qualunque soglia di rigore si voglia imporre.
Teorema della Via Unica. Sotto A1 e A2, l’insieme delle funzioni compatibili con A4 e l’insieme delle funzioni compensative formano una partizione esaustiva e disgiunta dell’insieme di tutte le funzioni ammissibili. Non esiste una terza classe intermedia.
6. Principio contro implementazione
È importante non confondere due livelli distinti del risultato:
Il principio, dimostrato univoco: una misura di affidabilità rigorosa deve appartenere necessariamente alla classe delle funzioni non compensative (t-norme).
L’implementazione, non univoca: all’interno di questa classe esistono infinite funzioni distinte — prodotto, minimo, e ogni altra t-norma — che differiscono per proprietà secondarie (idempotenza, sensibilità, comportamento ai bordi), ma condividono tutte l’unico tratto non negoziabile: l’assenza di compensazione.
La dimostrazione stabilisce dunque l’unicità della classe risolutiva, non l’unicità di una formula specifica.
Conclusione
Una misura di affidabilità è ammissibile, in senso rigoroso, se e solo se esclude ogni forma di compensazione tra le proprietà essenziali che la determinano. Qualunque margine di compensazione, per quanto apparentemente trascurabile, è dimostrabilmente sfruttabile fino a rendere il punteggio finale arbitrariamente prossimo al massimo pur in totale assenza di un requisito fondamentale. Tra il rigore assoluto e l’illusione del compromesso non esiste, matematicamente, una via di mezzo.
