Questo mese il Carnevale della Matematica è ospitato da Gianluigi Filippelli nel suo Science Backstage; il tema non ufficiale è “A spasso con zio Bertie”, e i contributori erano stati invitati a scrivere qualcosa su Russell e la logica matematica. Andate subito a leggerlo, poi se avete voglia tornate qui che vi devo spiegare il mio post di sabato.
Non sapendo io esattamente che scrivere su Russell, mi è venuto in mente di riciclare quanto scritto da Hofstadter nel capitolo 11 di Anelli dell’io, quando passa dalle analogie alla trattazione del Teorema di Indeterminatezza di Kurt Gödel. Come forse sapete, Gödel ha praticamente buttato a carte quarantotto il sistema formale preparato da Bertrand Russell e Alfred Whitehead, i Principia Mathematica. Le due opere inesistenti citate sono entrambe analogie umoristiche sul procedimento da lui seguito; ci sono vari indizi che il lettore abile può ritrovare. Il “negozio tipico” ricorda la teoria dei tipi sviluppata da Alf e Bertie, e il nome della scrittrice, “Rossella Wadhead”, si pronuncia in modo simile a “Russell and Whitehead”, esattamente come succede con “W.A.I.Ted Enrustle” e “Whitehead and Russell”. Il dire una frase mentre si vuole significare l’opposto è l’equivalente dell’affermazione matematica che afferma la sua non dimostrabilità, e infatti viene pronunciata da “K.G.”. Nell’altra opera, il Principe Ippia – Matedrammatica sono ovviamente i Principia Mathematica, che parla per l’appunto di noiose proprietà dei numeri primi, che però possono essere lette – con la mappa creata da Kurt Gödel, pardon dal critico Gerd Külot, che è di origine TURKa – come proprietà sul libro in sé. Ci sono altri giochi di parole all’interno di quel capitolo, ma bisogna aver letto il resto del libro per coglierli e quindi qui li ho saltati: spero che comunque abbiate apprezzato questa presa in giro hofstadteriana del povero zio Bertie!
Aggiornamento: (17:30) vi ricordo che il Carnevale n. 27 sarà ospitato dal sottoscritto: non qua, però, bensì sul blog di matematica sul Post.

Ultimo aggiornamento: 2010-06-14 10:43