Paradosso del bibliotecario

Da Wikipedia, l'enciclopedia libera.

Il paradosso del bibliotecario è un'altra versione del paradosso di Russell dovuta al logico matematico norvegese Thoralf Skolem
Essa può essere così raccontata. Al responsabile di una grande biblioteca viene affidato il compito di produrre gli opportuni cataloghi.
Egli compie una prima catalogazione per titoli, poi per autori, poi per argomenti, poi per numero di pagine e così via. Poiché i cataloghi si moltiplicano, il nostro bibliotecario provvede a stendere il catalogo di tutti i cataloghi. A questo punto nasce una constatazione. La maggior parte dei cataloghi non riportano sé stessi, ma ve ne sono alcuni (quali il catalogo di tutti i volumi con meno di 5000 pagine, il catalogo di tutti i cataloghi, ecc.) che riportano sé stessi.
Per eccesso di zelo, lo scrupoloso bibliotecario decide, a questo punto, di costruire il catalogo di tutti cataloghi che non includono sé stessi.
Il giorno seguente, dopo una notte insonne passata nel dubbio se tale nuovo catalogo dovesse o non dovesse includere sé stesso, il nostro bibliotecario chiede di essere dispensato dall'incarico.

Si può notare come la prima traduzione scherzosa dell'antinomia di Russell, quella del così detto paradosso del barbiere, non dia origine ad un vero paradosso logico: il fatto che la relazione "fare la barba a..." sia definita per tutti gli abitanti dell'isola meno che per il barbiere, non è diversa dal fatto che, nei numeri reali la proprietà "avere un numero inverso" valga per tutti tranne lo zero.
Osserva E.W. Beth: "Il dilemma (del barbiere) non costituisce un dilemma per la logica. Infatti l'ipotesi che l'una o l’altra regola di diritto abbia delle conseguenze assurde, non è in sé assurda. Un siffatto avvenimento può sollevare gravi questioni di diritto (...) ma non dà luogo a problemi logici".
La traduzione scherzosa di Skolem conserva meglio il carattere dell’originaria antinomia di Russell. Un'altra versione del paradosso è quello della biblioteca infinita, nella quale sono presenti anche i volumi mai scritti su cose mai pensate, o mai esistite, e che include, ancor più paradossalmente, anche il catalogo di tutti cataloghi che non includono sé stessi.

[modifica] Paradossi simili

Paradosso del Grand Hotel di Hilbert

[modifica] Curiosità

Sul paradosso del bibliotecario scrissero sia Jorge Luis Borges sia Umberto Eco. Il primo nel racconto La Biblioteca di Babele, contenuto nel volume Finzioni, e con varie allusioni nei testi su Uqbar, il secondo citando il primo nel De Bibliotheca.