CALCOLARE IL PENSIERO: Boole

Martin Davis in Il calcolatore universale³ ci propone come evoluzione del pensiero leibniziano l’algebra booleana, capace di formalizzare i ragionamenti più impliciti e informali.

La maggior parte dei nostri ragionamenti non sono di tipo sillogistico, ma si avvalgono di quelle che Boole chiama «proposizioni secondarie, cioè proposizioni esprimenti relazioni fra altre proposizioni»,⁴ come nella seguente conversazione, in cui Joe e Susan ragionano su dove possa essere il libretto degli assegni di Joe:

SUSAN L’hai lasciato al supermercato quando sei andato a fare la spesa?
JOE No, ho telefonato e non l’ hanno trovato. Se l’avessi lasciato lì l’avrebbero trovato di sicuro.
SUSAN Aspetta un momento! Ieri sera hai staccato un assegno al ristorante, e poi ti ho visto rimettere il libretto nella tasca della giacca. Se dopo non l’hai più usato dev’essere ancora lì.
JOE Hai ragione, non l’ho più usato. E’ nella tasca della giacca.⁵
Joe controlla nella tasca della giacca e trova effettivamente il blocchetto degli assegni lì.
Questo ragionamento può essere facilmente formalizzato etichettando le varie proposizioni con altrettante lettere dell’alfabeto, come nell’esempio proposto:
L= Joe ha lasciato il libretto degli assegni al supermercato
T= Il libretto degli assegni non è stato trovato al supermercato
S= Joe ha staccato un assegno ieri sera al ristorante
G= Ieri sera, dopo aver staccato l’assegno, Joe si è messo il libretto nella tasca della giacca
N= Joe non ha più usato il libretto degli assegni da ieri sera
A= Il libretto degli assegni di Joe è ancora nella tasca della sua giacca⁶

e quindi possiamo scrivere questo ragionamento in modo da rendere evidente il suo carattere inferenziale:

PREMESSE
Se L, allora T
Non T
S&G
Se S&G&N, allora A
N
CONCLUSIONI
Non L
A⁷

Potremmo continuare a seguire il lavoro di Boole nella formalizzazione che diviene estremamente astratta di questo ragionamento, ma quanto visto basta per capire il suo lavoro. Grazie a questo modo di scrivere il ragionamento non sillogistico della conversazione, salta immediatamente all’occhio il suo carattere inferenziale.

³ Martin Davis, Il calcolatore universale. Da Leibniz a Turing, Adelphi, Milano, 2003 ↑ riprendi la lettura
⁴ Martin Davis, Il calcolatore universale. Da Leinbiz a Turing, pag 55 ↑ riprendi la lettura
⁵ Ibidem pag 56 ↑ riprendi la lettura
⁶ Ibidem pag 56 ↑ riprendi la lettura

Dr Norton

La tensione esce dal mio corpo vibrando, la sensazione è orgasmica. Voglia di risedermi e ricominciare.
E’ finito tutto. Per fortuna.

La corda ritrova la sua giuste tensione e suona dolce, si lascia accarezzare dall’archetto e canta melodie d’amore.

Pochi giorni, un telegramma, una notizia bellissima, la corda si tira così tanto che quasi si spezza su lenzuola rosse, dentro pande blu, sotto cieli mondelliani, su spiaggie umide.

Ma i giorni cambiano, se ci si crede, ed è ancora una volta sorriso, consapevolezza, si ripetono verbi senza studiare e prenotare biglietti per il treno perché la vita se non la vivi come un’avventura non è vita.

(questo post non è quello che vi aspettavate, ma è l’unica cosa che riesco a scrivere, sono di nuovo in gioco…)

ancora una cosa, il post laurea:

Ho sistemato la stanza e ogni volta è come mettere in ordine me stesso, scavare dentro di me. Fogli e foglietti, date, appunti, saluti.
Prendere i libri, fotocopie e metterle nel sacchetto della carta, adesso si buttano, non serviranno più, è tutto finito.
Ora?
Ora si inseguono i sogni.

Se un uomo sogna da solo, il sogno resta un sogno; ma se più di un uomo sognano insieme la stessa cosa, il sogno diventa realtà

La profezia che si autoavvera

La prima settimana di dicembre di questo 2007 è iniziata con panico, uno sciopero degli autotrasportatori ha bloccato i rifornimenti dei supermercati e dei carburanti.
Come ad ogni sciopero dei benzinai ai tg non fanno altro che allarmare la popolazione: gli italiani potrebbero rimanere a secco, senza un goccio di benzina ed essere costretti ad andare a piedi, o magari, poverelli, in bicicletta!
E’ l’unico pensiero che si ha, quello della benzina, i titoli dei giornali non fanno che trattare di questo.

A me, che mi muovo quasi solamente in bici, la scena delle code di auto davanti a distributori in esaurimento viene da ridere e da canticchiare Spendi Spandi Effendi di Rino Gaetano

Essence benzina e gasolina
soltanto un litro e in cambio ti do Cristina
se vuoi la chiudo pure in monastero
ma dammi un litro di oro nero
Ti sei fatto il palazzo sul Jumbo
noi invece corriamo sempre appresso all’ambo
ambo terno tombola e cinquina
se vinco mi danno un litro di benzina
Spendi spandi spandi spendi effendi
spendi spandi spandi spendi effendi
Spider coupè gitti alfetta
a duecento c’è sempre una donna che ti aspetta
sdraiata sul cofano all’autosalone
e ti dice prendimi maschiaccio libidinoso coglione
non più a gas ma a cherosene
il riscaldamento centralizzato più ti scalda più conviene
niente carbone mai più metano
pace prosperità e lunga vita al sultano
Spendi spandi spandi spendi effendi
spendi spandi spandi spendi effendi

La canzone di Rino è del ‘77 ma probabilmente si riferiva a quel periodo a cavallo fra il ‘73 e il ‘74 chiamato Austerity, periodo in cui l’auto era già uno status symbol ma non era neanche un’estensione meccanica del proprio corpo.
Dipendiamo dalla benzina quanto dal cibo, se in quei giorni la gente svuotava i supermercati senza neanche controllare la spesa già presente in casa, lo stesso avveniva per la benzina.
Se alla settima faccio in media 20€ di rifornimento, perché mai proprio durante la settimana di sciopero dovrei avere l’esigenza di consumarne 50? Non si sa mai, è meglio farla…
Ed è così che si avvera proprio quello che avevo studiato sul manuale di sociologia della comunicazione, le profezie che si auto avverano!
Al Tg profetizzano che la benzina sta finendo? tutti corrono a fare benzina e la benzina finisce, e la profezia si è avverata. Mi chiedo cosa succederebbe se non sapesse nessuno dello sciopero, mi chiedo se realmente qualcuno rimarrebbe a piedi…