{"entities":{"Q1484786":{"pageid":1495526,"ns":120,"title":"Item:Q1484786","lastrevid":43145864,"modified":"2025-07-21T20:58:08Z","type":"item","id":"Q1484786","labels":{"en":{"language":"en","value":"Principia Mathematica. Vol. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2632503"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484786$C2EEA3F5-4702-4E27-8191-8EF88BA369A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a913a0b587fb6c552f36eafecd8576b47892e86","datavalue":{"value":{"text":"Principia Mathematica. Vol. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1484786$C23F49BB-0718-4B62-8A42-8992865F2D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4b5f35a70ae0c80ac03a2d59a33e20a3d088914","datavalue":{"value":"41.0083.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1484786$789D11BA-CCD4-4DCA-857C-84C899813639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"233ede238b3266e471b6d795ee9ced40c40c0c99","datavalue":{"value":{"entity-type":"item","numeric-id":568034,"id":"Q568034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484786$174A8D2E-1A55-4999-8CA1-21830F64E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0c8be9a1b2b3f8c8c0864c45e71217c78cfa2e3","datavalue":{"value":{"entity-type":"item","numeric-id":1519862,"id":"Q1519862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484786$A27941C7-453A-404F-87D4-BC6A8D0CD6DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d24da0823fbb37fcb22a7e7ac8e84f54474584","datavalue":{"value":{"time":"+1910-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1484786$02A75787-573F-480D-A83B-5E7B8293285E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a096d34b5f3903878309b7bc8e06a75bc1243040","datavalue":{"value":"http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath","type":"string"},"datatype":"url"},"type":"statement","id":"Q1484786$1DD72314-5646-408B-986D-5B8835B719DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"861525f12e8d3e6fe5ccfb6999c9483c501c7f9b","datavalue":{"value":"``Das vorliegende Buch'', sagen die Verf. in der Vorrede, ``wurde urspr\u00fcnglich von uns gedacht als Teil eines zweiten Bandes von ``The Principles of Mathematics'' von \\textit{B. Russell} (1903; JFM 34.0062.14). Als wir aber vorw\u00e4rts kamen, wurde es mehr und mehr klar, da\u00df der Gegenstand viel gr\u00f6\u00dfer ist, als wir gedacht hatten. Wir sind \u00fcbrigens jetzt zu befriedigenden Ergebnissen gelangt; so glauben wir L\u00f6sungen von vielen Grundfragen zu besitzen, die im vorigen Buch dunkel oder zweifelhaft gelassen waren.'' Demgem\u00e4\u00df ist ein wichtiger Teil des Buches einer ``Typentheorie'' (vgl. S. vii--viii) gewidmet, die die Paradoxien von \\textit{Burali-Forti}, \\textit{Russell}, \\textit{K\u00f6nig, Richard} u. a. l\u00f6st (S. 63--67).  Die Einleitung besteht aus drei Kapiteln: ``Preliminary explanations of ideas and notations'' (S. 4--38). ``The theory of logical types'' (S. 39--68), und ``incomplete symbols'' (S. 69--88). Hier und in anderen Teilen des Buches erinnert die Form an \\textit{Peano}, die Sache aber mehr an \\textit{G. Frege} (vgl. dessen ``Grundgesetze der Arithmetik'', Jena (1893; JFM 25.0101.02), und (1903; JFM 34.0071.05)). Das zweite Kapitel ist wesentlich eine Reproduktion der Artikel von \\textit{Russell}: ``La th\u00e9orie des types logiques'' [Rev. M\u00e9taphys. Morale 18, 263--301 (1910; JFM 41.0083.01) vgl. vorstehendes Referat] und: ``Mathematical logic as based on the theory of types'' [Am. J. Math. 30, 222--262 (1908; JFM 39.0085.03)]. F\u00fcr das dritte Kapitel vergleiche man \\textit{Russells} Artikel: ``On denoting'' [Mind, N. S. 14, 479--493 (1905)].   Teil I des Buches handelt von mathematischer Logik oder Logistik und zerf\u00e4llt in f\u00fcnf Abschnitte: ``The theory of deduction'', S. 94--131 (vgl. \\textit{Russell}, ``The theory of implication''. [Am. J. Math. 28, 159--202 (1906; JFM 37.0060.06)]). ``Theory of apparent variables'', S. 132--195. ``Classes and relations'', S. 196--243. ``Logic of relations'' S. 244-316. ``Products and sums of classes'', S. 317-342.   Teil II behandelt ``Prolegomena to cardinal arithmetic'' und besteht aus f\u00fcnf Abschnitten: ``Unit classes and couples'', S. 347--403. ``Sub-classes, sub-relations, and relative types, S. 404--436. ``One-many, many-one, and one-one relations'', S. 437--499. ``Selections'', S. 500--568. ``Inductive relations', S. 569--666.   Teil III in Bd. II (ein zweiter und sogar ein dritter Band sollen bald nachfolgen) wird mit einer Definition der Kardinalzahl (der ber\u00fchmten \\textit{Frege-Russell}schen Definition) er\u00f6ffnet. Im ersten Abschnitt von Teil II haben wir zwar Definitionen von 1 und 2; dort ist aber nicht gezeigt, da\u00df sie Kardinalzahlen sind. Am meisten vielleicht wird der Mathematiker sich f\u00fcr S. 487--489 interessieren, wo der Satz von \\textit{Schr\u00f6der} [``\u00dcber zwei Definitionen der Endlichkeit und \\textit{G. Cantor}sche S\u00e4tze'', Nova Acta Leop. Carol. Akad. 71, 303--362 (1898; JFM 29.0049.04)] und \\textit{Bernstein} [``Le\u00e7ons sur la th\u00e9orie des fonctions'' von \\textit{E. Borel}. (1898; JFM 29.0336.01)] nach der Methode von \\textit{E. Zermelo} [Math. Ann. 65, 272 (1908; JFM 39.0097.03)] bewiesen ist; ebenso f\u00fcr den vierten Abschnitt, wo das Axiom oder ``Auswahlprinzip'' von \\textit{Zermelo} besprochen wird [``Beweis, da\u00df jede Menge wohlgeordnet werden kann'', Math. Ann. 59, 514--516 (1904; JFM 35.0088.03). ``Neuer Beweis f\u00fcr die M\u00f6glichkeit einer Wohlordnung'', Math. Ann. 65, 107--128 (1908; JFM 38.0096.02). ``Untersuchungen \u00fcber die Grundlagen der Mengenlehre. I.'', Math. Ann. 65, 261--281 (1908; JFM 39.0097.01)]. Man vergleiche insbesondere S. 503, 561--566.   Das vollst\u00e4ndige Werk soll die Mathematik bis zur Geometrie inkl. behandeln. In der Bezeichnung sind die Verf. haupts\u00e4chlich \\textit{Peano} gefolgt; in allen Fragen der logischen Analyse aber \\textit{G. Frege} (vgl. [Am. J. Math. 28, 160 (1906)]). In der Arithmetik sind die Arbeiten von \\textit{G. Cantor} grundlegend, in der Geometrie hatten die Verf. stets vor sich die Arbeiten von \\textit{v. Staudt}, \\textit{Pasch}, \\textit{Peano}, \\textit{Pieri} und \\textit{Veblen}. Eine Rezension gibt Referent im Cambridge Review 33, 7--9 (1911); eine andere findet sich in Nature 87, 273--274 (1911).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1484786$20ECC679-A911-4F5F-8F5A-0E60A0EEA75F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1484786$0417B918-EBB5-4784-A388-B57B77674122","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d374531fee08aecd2210fc038ad0fc8064b5a15","datavalue":{"value":"2632503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1484786$8FB3E7B1-F9B9-4C6D-8519-E476ACD19CBD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1484786$095313BA-474D-4C58-92B6-8377CD8FAB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1484786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1484786"}}}}}