I Principi della
Matematica
Quando i numeri divennero puro pensiero.
Un'opera che ha definito il Novecento. Russell si pose un obiettivo titanico: dimostrare che la matematica non ha bisogno dell'intuizione spaziale o numerica, ma è interamente deducibile dalle leggi ferree della logica pura.
L'architettura della Verità
Cos'è un numero?
Russell non dà nulla per scontato. Spiega che il numero "2" non è un oggetto, ma è la classe di tutte le coppie. Definisce la matematica partendo dal vuoto concettuale.
Il rigore assoluto
È il tentativo definitivo di espellere ogni ambiguità dal linguaggio umano. Se la matematica è infallibile, le sue basi logiche non devono ammettere contraddizioni o intuizioni vaghe.
La crisi dei fondamenti
Scrivendo questo libro, Russell si accorse che le fondamenta stesse della logica (la teoria degli insiemi di Cantor e Frege) contenevano un baco letale: un paradosso che minacciava di far crollare tutto.
Laboratorio: Il Paradosso del Barbiere
La crepa nella logica che mandò in crisi la matematica mondiale.
In un villaggio c'è un solo barbiere. La regola del villaggio è rigida:
"Il barbiere rade TUTTI e SOLI gli uomini che NON si radono da soli."
La domanda che fa crollare il sistema è: Chi rade il barbiere?
Il Dizionario Formale
La bellezza fredda e austera
Russell scrisse che "la matematica possiede non soltanto la verità, ma una bellezza suprema: una bellezza fredda e austera, come quella di una scultura". *I principi della matematica* è il suo scalpello.
Prima di lui, molti credevano (come Kant) che la matematica derivasse dall'intuizione innata dello spazio e del tempo. Russell ribalta questa idea: la matematica è nient'altro che una lingua estremamente complessa costruita su poche, banali tautologie logiche ("se A implica B, e A è vero, allora B è vero").
Nonostante la durezza dell'argomento, la prosa di Russell è aristocratica, cristallina e straordinariamente lucida. Leggerlo significa assistere allo sforzo supremo della mente umana di darsi delle regole perfette, per poi scoprire con umiltà i propri limiti strutturali (che verranno infine sanciti dal Teorema di Gödel).
L'Aristocratico Ribelle
Bertrand Arthur William Russell (Trellech, 1872 – Penrhyndeudraeth, 1970) non fu solo uno dei più grandi logici della storia, ma una figura pubblica di incalcolabile impatto morale.
Nato in una famiglia aristocratica britannica, dedicò la giovinezza all'edificazione della logica formale (culminata nei mastodontici *Principia Mathematica* scritti con A.N. Whitehead). La sua mente affilata non tollerava incongruenze, né nei sillogismi matematici, né nella società.
Pacifista radicale, andò in prigione durante la Prima Guerra Mondiale per le sue idee anti-militariste. Lottò contro il riarmo nucleare (firmando il celebre Manifesto con Albert Einstein) e ricevette il Premio Nobel per la Letteratura "in riconoscimento dei suoi vari e significativi scritti nei quali egli si erge a campione degli ideali umanitari e della libertà di pensiero". Un uomo che ha applicato la ferrea coerenza della logica alla morale umana.
Cosa ti lascia questo libro
- La comprensione profonda di cosa significhi "dimostrare" qualcosa rigorosamente.
- L'addestramento mentale a non fidarsi mai dell'intuizione visiva o semantica.
- Il fascino dell'epopea logicista e della ricerca dei fondamenti ultimi della verità.
- Un'introduzione elegante ai paradossi che hanno cambiato il corso della filosofia contemporanea.
A chi è consigliato
Agli amanti della Logica e dell'Informatica
I computer moderni e i linguaggi di programmazione poggiano esattamente sulle basi formali gettate da questo libro.
A chi cerca rigore assoluto
Ideale per le menti analitiche che non sopportano le ambiguità e vogliono vedere le radici del ragionamento umano espresse chiaramente.
Definisci la verità.
Esplora le radici in cui la parola diventa numero e il numero diventa logica.