Principia Mathematica
| Principia Mathematica | |
|---|---|
 |
|
| Frontespizio di un'edizione degli anni Cinquanta | |
| Autore | Bertrand Russell e Alfred North Whitehead |
| 1ª ed. originale | 1913 |
| Genere | saggio |
| Sottogenere | matematico, filosofico |
| Lingua originale | inglese |
I Principia Mathematica, scritti a quattro mani da Bertrand Russell e Alfred North Whitehead tra il 1910 e il 1913, rappresentano un importante tentativo di sistematizzazione delle basi della matematica partendo da un insieme definito di assiomi e di regole logiche. I Principia traggono origine dall'opera di un altro insigne logico, Frege, che però si era arenata in alcune contraddizioni scoperte dallo stesso Russell, divenute celebri come paradossi di Russell. Le difficoltà che avevano portato Frege a dichiarare il proprio fallimento furono evitate nei Principia in virtù di una elaborata "teoria dei tipi".
Il concetto che sta alla base della teoria dei tipi è il seguente: un insieme appartiene ad un livello "più alto" del livello al quale appartengono i suoi elementi e nessuno può parlare dell'insieme di tutti gli insiemi o costruzioni analoghe (da affermazioni come queste originano i principali paradossi logici).
I Principia coprono solo la teoria degli insiemi, i numeri cardinali, ordinali e reali; rami più avanzati della matematica, come l'analisi, non sono trattati all'interno dell'opera; comunque i due autori, alla fine del terzo volume, lasciano intendere come essi siano convinti che tutti i rami della matematica possano essere trattati con il formalismo da loro adottato.
I Principia non risolvono però la questione di contraddizioni che possono essere derivate dagli assiomi adottati da Russell e Whitehead, né tantomeno se esistano verità matematiche che non possano essere provate o confutate nel sistema stesso. Le questioni sono state risolte dai teoremi di incompletezza formulati da Gödel nel 1931.
