Principia Mathematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: rimuovo parametro ridondante (valore uguale alla proprietà P50 su Wikidata) |
→Descrizione: Logico Etichette: Modifica da mobile Modifica da web per mobile Modifica da mobile avanzata |
||
Riga 32:
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 logico 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 [[teorema d'incompletezza di Gödel|teoremi di incompletezza]] formulati da [[Kurt Gödel|Gödel]] nel [[1931]].
| |||