if (god.exists())

aprile 21, 2008

George Boole, nato a Lincoln in Inghilterra nel 1815, sviluppò la sua famosa algebra in Irlanda: il matematico lavorò dal 1849 alla sua morte nel 1864 come professore al Queen’s College, il campus universitario oggi chiamato University College Cork. Un aneddoto allude a una visione mistica che Boole ebbe a 17 anni, in cui Dio gli ordinò di spiegare agli uomini come la mente elabora i pensieri. Semplificando si può affermare che l’idea di applicare l’algebra alla logica, tradizionalmente disciplina filosofica, “quantificando” cioè la verità di un’asserzione, stia alla base dell’elettronica e dell’informatica. Interessato alla didattica e anche impegnato sul fronte sociale, Boole pensava che acquisire abilità manuali fosse essenziale per sviluppare in maniera armonica le proprie facoltà logiche.

Cork University College

Passeggiando per il College è inevitabile rimanere suggestionati dall’uomo che nel tredicesimo capitolo di An Investigation of the Laws of Thought cercò di arrivare alla dimostrazione dell’esistenza di Dio attraverso una sequenza di passaggi algebrici. Non sarebbe stato male seguire i suoi corsi, studiare nella biblioteca che oggi porta il suo nome e alla fine sposare una delle sue figlie, vivendo sotto l’ala benevola della Royal Society. Quelle poche ore di ozio, passate nei giardini rigogliosi che circondano le facoltà scientifiche schierate sulla riva del Lee, rendono un po’ meno indigesti tutti i boolean, gli and, gli or e i not su cui bisogna farsi venire mal di testa per far funzionare un programma.

Nota: Il testo integrale dell’Investigation è disponibile su Gutenberg. L’analisi della dimostrazione di Clarke è a pagina 143.

Lascia un commento

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger cliccano Mi Piace per questo: