Principia Mathematica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Luckas-bot (discussione | contributi)
m Bot: Aggiungo: cy:Principia Mathematica
templ
Riga 1:
{{nota disambigua|l'opera di [[Isaac Newton]]|[[Philosophiae Naturalis Principia Mathematica]]}}
{{tmp|Libro}}
|tipo =
|titolo = Principia Mathematica
|titoloorig =
|titolialt =
|titoloalfa =
|immagine =
|didascalia =
|autore = [[Bertrand Russell]] e [[Alfred North Whitehead]]
|annoorig = [[1913]]
|annoita =
|genere = Testo matematico
|sottogenere = matematico, filosofico
|lingua =
|ambientazione =
|personaggi =
|protagonista =
|coprotagonista =
|antagonista =
|altri_personaggi =
|serie =
|preceduto =
|seguito =
}}
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 [[assioma|assiomi]] e di regole logiche. I ''Principia'' traggono origine dall'opera di un altro insigne logico, [[Gottlob Frege|Frege]], che però si era arenata in alcune contraddizioni scoperte dallo stesso [[Bertrand Russell|Russell]], divenuti celebri come [[paradosso di Russell|paradossi di Russell]]. Le difficoltà che avevano portato Frege a dichiarare il proprio fallimento furono evitate nei ''Principia'' in virtù di una complicata teoria dei ''tipi''.
 
Line 9 ⟶ 32:
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]].
 
{{Portale|Filosofia|Matematica}}
 
[[Categoria:Logica matematica]]