Principia Mathematica
Pour l'œuvre d'Isaac Newton, voir Philosophiae Naturalis Principia Mathematica.
Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913. Cette œuvre a pour sujet les fondements des mathématiques. Avec en particulier l'idéographie de Gottlob Frege, c'est un ouvrage fondamental, dans la mesure où il participe de façon décisive à la naissance de la logique moderne.
Contenu
Les Principia englobent la théorie des ensembles, avec les nombres cardinaux les nombres ordinaux, ainsi que les nombres réels. Des théorèmes plus avancés de l'analyse réelle n'ont pas été inclus. Un quatrième volume était initialement prévu, mais n'a jamais été réalisé[1].
Ils utilisent une notation logique développée par Peano, bien qu’elle ait été réadaptée, dans l'optique de rendre le contenu du livre plus clair, et plus concis[2].
Édition résumée
Il existe une édition résumée[3] à mi-chemin entre l'œuvre complète et le livre moins technique de 1919 de Russell[4],[5],[6], Introduction à la philosophie mathématique. En 1927, les auteurs ont ajouté une Introduction à la Deuxième édition, un Appendice A (qui s'est substitué au ✸9) et un nouvel Appendice C[réf. souhaitée].
Importance du traité
Le Principia est considéré comme un des livres les plus influents de l'histoire de la logique, comparable en cela à l'Organon d'Aristote[7]. Il a joué un rôle moteur dans la recherche sur les fondements des mathématiques.
La Modern Library l'a classé 23e d'une liste comprenant les cent plus importants livres en anglais de non-fiction du vingtième siècle[8].
Le traité essaye de déduire tous les théorèmes mathématiques à partir d'une liste bien définie d'axiomes et de règles de déduction, en utilisant un langage logique-symbolique particulier.
Un des buts des Principia est de résoudre les paradoxes qui apparaissaient dans Les Fondements de l'arithmétique de 1884 de Gottlob Frege, et qui ont été mis en évidence par le paradoxe de Russell de 1901. La « théorie des types logiques » résout ce paradoxe de la façon suivante : un ensemble est différent, ontologiquement, de ses éléments, donc un ensemble ne peut appartenir à lui-même.
Références
- Harrell, Martha, « Extension to Geometry of Principia Mathematica and Related Systems », Digital Commons (consulté le ).
- Principia Mathematica, Preface du premier tome, p. 1.
- « Principia mathematica : to *56 », Catalogue Sudoc (consulté le ).
- « Principia Mathematica to *56 », Google Books (consulté le ).
- « Principia Mathematica to *56 », Cambridge University Press (consulté le ).
- « Philosophy 701 -- Russell », Office of Information Technologies (consulté le ).
- (en) Irvine,A.D, « Principia Mathematica » (consulté le )
- « The Modern Library's Top 100 Nonfiction Books of the Century », (consulté le ).
Liens externes
- Stanford Encyclopedia of Philosophy :
- Principia Mathematica en ligne (Historical Math Collection de l'Université du Michigan) :
- (en) Volume I
- (en) Volume II
- (en) Volume III
