Questo IsNot mi ha fatto ricordare, senza tanto legame però, di un altro operatore, intorno a cui ho cucito ai tempi una storia vera e folle. Non riesco a ricordarmi bene l'anno ma dovrebbe essere successa all'inizio degli anni '90 quando incontrai l'assioma e l'operatore di Nicod con cui si può ricostruire l'intera logica booleana. In quel magico pomerigio ho scarabocchiato nel quaderno rosso un grafo in cui i 5 simboli dell'assioma di Nicod facevano da nodi e l'operatore da archi ottenendo così, come per dire, un volto geometrico dell'essenza della logica booleana. Corsi subito a casa di Iulian e gli disegnai direttamente sul muro con una matita con mina grossa il grafo, sudario di un Cristo inventato. Il muro fu imbiancato solo dopo qualche anno e ogni volta che facevo visita in quella casa è facile immaginarsi come guardavo la rete del grafo...
Nell'onore di Jean Nicod vedo che i francesi hanno nominato un istituto di ricerca.
Nota per i curiosi: il titolo del post rappresenta l'assioma di Nicod.