I can remember Bertrand Russell telling me of a horrible dream. He was in the top floor of the University Library, about A.D. 2100. A library assistant was going round the shelves carrying an enormous bucket, taking down books, glancing at them, restoring them to the shelves or dumping them into the bucket. At last he came to three large volumes which Russell could recognize as the last surviving copy of Principia Mathematica. He took down one of the volumes, turned over a few pages, seemed puzzled for a moment by the curious symbolism, closed the volume, balanced it in his hand and hesitated....

Property Value
dbo:abstract
  • I can remember Bertrand Russell telling me of a horrible dream. He was in the top floor of the University Library, about A.D. 2100. A library assistant was going round the shelves carrying an enormous bucket, taking down books, glancing at them, restoring them to the shelves or dumping them into the bucket. At last he came to three large volumes which Russell could recognize as the last surviving copy of Principia Mathematica. He took down one of the volumes, turned over a few pages, seemed puzzled for a moment by the curious symbolism, closed the volume, balanced it in his hand and hesitated.... Hardy, G. H. (2004) [1940]. A Mathematician's Apology. Cambridge: University Press. p. 83. ISBN 978-0-521-42706-7. The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1927, it appeared in a second edition with an important Introduction To the Second Edition, an Appendix A that replaced ✸9 and all-new "Appendix B" and Appendix C. PM was an attempt to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven. As such, this ambitious project is of great importance in the history of mathematics and philosophy, being one of the foremost products of the belief that such an undertaking may be achievable. However, in 1931, Gödel's incompleteness theorem proved definitively that PM, and in fact any other attempt, could never achieve this lofty goal; that is, for any set of axioms and inference rules proposed to encapsulate mathematics, either the system must be inconsistent, or there must in fact be some truths of mathematics which could not be deduced from them. One of the main inspirations and motivations for PM was the earlier work of Gottlob Frege on logic, which Russell discovered allowed for the construction of paradoxical sets. PM sought to avoid this problem by ruling out the unrestricted creation of arbitrary sets. This was achieved by replacing the notion of a general set with the notion of a hierarchy of sets of different 'types', a set of a certain type only allowed to contain sets of strictly lower types. Contemporary mathematics, however, avoids paradoxes such as Russell's in less unwieldy ways, such as the system of Zermelo–Fraenkel set theory. PM is not to be confused with Russell's 1903 The Principles of Mathematics. PM states: "The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions." PM has long been known for its typographical complexity. Famously, several hundred pages are required in PM to prove the validity of the proposition 1+1=2. The Modern Library placed it 23rd in a list of the top 100 English-language nonfiction books of the twentieth century. (en)
  • Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead publicados entre 1910 y 1913. Este trabajo constituye un intento de derivar la mayor parte de los conocimientos matemáticos de la época a partir de un conjunto de principios o axiomas. La principal motivación para esta obra provenía del trabajo anterior de Gottlob Frege en lógica que contenía inconsistencias (en particular la paradoja de Russell). Éstas eran evitadas en los Principia construyendo una elaborada teoría de tipos. Los Principia contenían teoría de conjuntos, números cardinales, números ordinales y números reales. Aunque no estaban incluidos otros teoremas más profundos del análisis de números reales, parecía que efectivamente todas las matemáticas podían ser derivadas adoptando el mismo formalismo. Quedaba todavía saber si se podían encontrar contradicciones derivadas de los axiomas en los que se basaban los Principia y si, por lo tanto, existían afirmaciones matemáticas que no podían ser probadas o demostradas falsas en este sistema. Esta cuestión fue resuelta por Kurt Gödel en 1931. El teorema de incompletitud de Gödel establece que incluso la aritmética básica no puede demostrar su propia consistencia, de modo que es imposible demostrar la consistencia de ningún sistema matemático más complejo. (es)
  • Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die Principia Mathematica stellen den Versuch dar, alle mathematischen Wahrheiten aus einem wohldefinierten Satz von Axiomen und Schlussregeln (Inferenzregeln der symbolischen Logik) herzuleiten. Auf mehreren Hundert Seiten wird zunächst ein Repertoire aus Begriffen und Symbolen dargelegt, welches das Fundament zur späteren Herleitung der Arithmetik bildet. Die Herleitung der Mathematik aus der Logik sollte einige bis dahin verbreitete Anschauungen über das Wesen mathematischer Erkenntnisse widerlegen, nämlich, dass diese weder empirisch noch synthetisch apriorisch sind (Letzteres hatte Kant angenommen), sondern sprachlicher Natur und damit formallogisch begründbar, also analytisch apriorisch. (de)
  • Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés à compte d'auteur 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. (fr)
  • Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell. L'opera è divisa in tre volumi pubblicati nel 1910, 1912, and 1913 dalla Cambridge University Press. Nel 1927 è apparsa una seconda edizione con una nuova Introduzione e una nuova Appendice C. Una versione ridotta è apparsa nel 1962 col titolo Principia Mathematica to *56. L'Introduzione è stata tradotta in italiano da Paolo Parrini per i tipi de La Nuova Italia con il titolo Introduzione ai «Principia mathematica» (1977). (it)
  • Principia Mathematica (Lat., "wiskundige grondslagen") is de titel van een driedelig werk over de grondslagen van de wiskunde, geschreven door de Britse wiskundigen en filosofen Bertrand Russell en Alfred North Whitehead. De drie delen werden gepubliceerd in respectievelijk 1910, 1912 en 1913. De Principia, een poging de wiskunde te funderen in de symbolische logica, vormde het hoogtepunt van het logicistische onderzoeksprogramma. Het werk geldt in de logica als het invloedrijkste na Aristoteles' Organon. Principia Mathematica bevat axioma's en afleidingen van belangrijke stellingen in een formeel systeem, gebaseerd op eerste-ordelogica uitgebreid met Russells typentheorie. Het werk dekt de verzamelingenleer en de getaltheorie (kardinalen, ordinalen en reële getallen). De onvolledigheid van het formele systeem van de Principia Mathematica (en aanverwante systemen), aangetoond door Kurt Gödel in 1931, betekende vrijwel het einde van het logicisme: het einddoel van een volledig en bewijsbaar consistent formeel systeem dat de gehele wiskunde beschrijft, bleek onmogelijk te realiseren. (nl)
  • Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913. Jego celem było sprowadzenie matematyki do logiki i wyprowadzenie twierdzeń tej pierwszej z układu aksjomatów i reguł wnioskowania. Dzieło Russella i Whiteheada inspirowane było wcześniejszymi pracami Gottloba Fregego z zakresu logiki, a dokładniej chęcią usunięcia z nich sprzeczności odkrytych przez Russella. Chodziło przede wszystkim o wyeliminowanie założeń prowadzących do paradoksów w rodzaju paradoksu Russella powstających w sytuacji, gdy dopuszczamy zdania mówiące o sobie samych. Trzy tomy Principiów dotyczą jedynie teorii mnogości, liczb kardynalnych, porządkowych i rzeczywistych lecz wydaje się, że dalsza droga jest jasna i w zasadzie całą matematykę można sprowadzić do logiki. Otwarty pozostał jednak problem niesprzeczności i zupełności systemu aksjomatów przyjętych przez Russella i Whiteheada. Dwadzieścia lat po napisaniu Principiów znalazł on nieoczekiwane rozwiązanie w twierdzeniu Gödla o niezupełności. Ostatecznie powstały trzy tomy Principiów, Alfred North Whitehead zrezygnował z prac nad czwartym tomem. Z wywiadu udzielonego przez Russella "Daily Herald" z okazji jego 90 urodzin pochodzi znana anegdota - Russell stwierdził żartobliwie, że Principia było zdolne przeczytać tylko sześciu ludzi, z których trzech było Polakami. Według Klemensa Szaniawskiego żart ten kryje ziarno prawdy, gdyż istotnie niewielu jest ludzi zdolnych przeczytać długi i bardzo trudny tekst Principiów, a jednocześnie Russell bardzo cenił dokonania logików polskich, zwłaszcza Leona Chwistka. (pl)
  • 『プリンキピア・マテマティカ』(Principia Mathematica:数学原理)は、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、数学の基礎に関する全3巻からなる著作である。それは、記号論理学において、明示された公理の一組と推論規則から数学的真理すべてを得る試みである。『プリンキピア』のための主なインスピレーションと動機の1つは論理学に関するフレーゲの初期の仕事で、それがパラドックスをもたらすことをラッセルが発見したのである。 プリンキピアは、数学論理と哲学においてアリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、広く専門家に考えられている。 モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた。 (ja)
  • O Principia mathematica (tradução livre do latim: Princípios matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e Bertrand Russell e publicada nos anos de 1910, 1912 e 1913. Em 1927 foram acrescentados uma Introdução à Segunda Edição, um Apêndice A (que substituiu o ✸9) e um novo Apêndice C. O Principia é considerado pelos especialistas como um dos mais importantes trabalhos sobre a interdisciplinaridade entre matemática, lógica e filosofia, com dimensão comparável ao Organon de Aristoteles. Permanece até hoje considerado um dos mais importantes livros em filosofia da matemática escritos em toda a História. A Modern Library colocou-o no 23º de uma lista dos cem mais importantes livros em inglês de não ficção do século XX. Esse compêndio é uma tentativa de concluir todas as verdades matemáticas baseando-se num rol extremamente bem definido de axiomas e regras de dedução, usando uma linguagem lógico-simbólica própria. Uma das motivações iniciais do Principia foi um trabalho anterior de Frege, que levava a paradoxos que vieram a ser desvendados por Russell. Tais paradoxos foram sanados com a elaboração da teoria dos tipos lógicos: um conjunto de elementos é diferente de cada um de seus elementos (ou, alternativamente, "um conjunto não é um elemento, um elemento não é um conjunto"). Assim, não se pode conceber que um conjunto pertença a si próprio, o que leva ao citado paradoxo (um conjunto definido por aquele que agrega todos os conjuntos que não pertencem a si próprios pertenceria a si próprio? A resposta afirmativa levaria à negativa e vice-versa). (pt)
  • 数学原理(英语:Principia Mathematica)是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍,书籍共分三卷,分别出版于1910年,1912年,1913年。 它通常缩写為PM (Principia Mathematica),企图表述所有数学真理在一组数理逻辑內的公理和推理规则下,原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的,然而在1931年,哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试,这个崇高的目标皆永远无法达到; 也就是说,任何尝试以一组公理和推理规则來建立的数学系統,若非不一致,便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合 (罗素悖论)。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。 (zh)
  • Principia Mathematica (с лат. — «Принципы математики») — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах. Название монографии переводилось также как «Начала математики» или «Основания математики». Наряду с «Органоном» (др.-греч. Ὄργανον) Аристотеля и работой «Основные законы арифметики» (нем. Grundgesetze der Arithmetik) Готлоба Фреге является одним из самых влиятельных трудов по логике в истории. Объём Principia Mathematica в общей сложности составляет около 2000 страниц. В своей работе Рассел и Уайтхед стремились показать, что вся математика сводится к логике с помощью набора аксиом и нескольких основных понятий, то есть обосновать логицизм. Для этого была введена теория типов, в рамках которой было невозможно сформулировать понятие «множество всех множеств», которое приводило к парадоксу Рассела. Помимо этого, были введены две аксиомы: аксиома бесконечности (существует бесконечное число объектов) и аксиома сводимости (для каждого множества существует равнообъёмное ему множество первого порядка). (ru)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 24133 (xsd:integer)
dbo:wikiPageRevisionID
  • 738867610 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Les Principia Mathematica sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés à compte d'auteur 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. (fr)
  • Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell. L'opera è divisa in tre volumi pubblicati nel 1910, 1912, and 1913 dalla Cambridge University Press. Nel 1927 è apparsa una seconda edizione con una nuova Introduzione e una nuova Appendice C. Una versione ridotta è apparsa nel 1962 col titolo Principia Mathematica to *56. L'Introduzione è stata tradotta in italiano da Paolo Parrini per i tipi de La Nuova Italia con il titolo Introduzione ai «Principia mathematica» (1977). (it)
  • 『プリンキピア・マテマティカ』(Principia Mathematica:数学原理)は、アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、数学の基礎に関する全3巻からなる著作である。それは、記号論理学において、明示された公理の一組と推論規則から数学的真理すべてを得る試みである。『プリンキピア』のための主なインスピレーションと動機の1つは論理学に関するフレーゲの初期の仕事で、それがパラドックスをもたらすことをラッセルが発見したのである。 プリンキピアは、数学論理と哲学においてアリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、広く専門家に考えられている。 モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた。 (ja)
  • 数学原理(英语:Principia Mathematica)是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍,书籍共分三卷,分别出版于1910年,1912年,1913年。 它通常缩写為PM (Principia Mathematica),企图表述所有数学真理在一组数理逻辑內的公理和推理规则下,原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的,然而在1931年,哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试,这个崇高的目标皆永远无法达到; 也就是说,任何尝试以一组公理和推理规则來建立的数学系統,若非不一致,便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合 (罗素悖论)。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。 (zh)
  • I can remember Bertrand Russell telling me of a horrible dream. He was in the top floor of the University Library, about A.D. 2100. A library assistant was going round the shelves carrying an enormous bucket, taking down books, glancing at them, restoring them to the shelves or dumping them into the bucket. At last he came to three large volumes which Russell could recognize as the last surviving copy of Principia Mathematica. He took down one of the volumes, turned over a few pages, seemed puzzled for a moment by the curious symbolism, closed the volume, balanced it in his hand and hesitated.... (en)
  • Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die Principia Mathematica stellen den Versuch dar, alle mathematischen Wahrheiten aus einem wohldefinierten Satz von Axiomen und Schlussregeln (Inferenzregeln der symbolischen Logik) herzuleiten. Auf mehreren Hundert Seiten wird zunächst ein Repertoire aus Begriffen und Symbolen dargelegt, welches das Fundament zur späteren Herleitung der Arithmetik bildet. Die Herleitung der Mathematik aus der Logik sollte einige bis dahin verbreitete Anschauungen über das Wesen mathematischer Erkenntnisse widerlegen, nämlich, dass diese weder empirisch noch synthetisch (de)
  • Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead publicados entre 1910 y 1913. Este trabajo constituye un intento de derivar la mayor parte de los conocimientos matemáticos de la época a partir de un conjunto de principios o axiomas. La principal motivación para esta obra provenía del trabajo anterior de Gottlob Frege en lógica que contenía inconsistencias (en particular la paradoja de Russell). Éstas eran evitadas en los Principia construyendo una elaborada teoría de tipos. (es)
  • Principia Mathematica (Lat., "wiskundige grondslagen") is de titel van een driedelig werk over de grondslagen van de wiskunde, geschreven door de Britse wiskundigen en filosofen Bertrand Russell en Alfred North Whitehead. De drie delen werden gepubliceerd in respectievelijk 1910, 1912 en 1913. De Principia, een poging de wiskunde te funderen in de symbolische logica, vormde het hoogtepunt van het logicistische onderzoeksprogramma. Het werk geldt in de logica als het invloedrijkste na Aristoteles' Organon. (nl)
  • Principia mathematica – zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913. Jego celem było sprowadzenie matematyki do logiki i wyprowadzenie twierdzeń tej pierwszej z układu aksjomatów i reguł wnioskowania. Ostatecznie powstały trzy tomy Principiów, Alfred North Whitehead zrezygnował z prac nad czwartym tomem. (pl)
  • O Principia mathematica (tradução livre do latim: Princípios matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e Bertrand Russell e publicada nos anos de 1910, 1912 e 1913. Em 1927 foram acrescentados uma Introdução à Segunda Edição, um Apêndice A (que substituiu o ✸9) e um novo Apêndice C. (pt)
  • Principia Mathematica (с лат. — «Принципы математики») — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах. Название монографии переводилось также как «Начала математики» или «Основания математики». Наряду с «Органоном» (др.-греч. Ὄργανον) Аристотеля и работой «Основные законы арифметики» (нем. Grundgesetze der Arithmetik) Готлоба Фреге является одним из самых влиятельных трудов по логике в истории. Объём Principia Mathematica в общей сложности составляет около 2000 страниц. (ru)
rdfs:label
  • Principia Mathematica (en)
  • Principia Mathematica (de)
  • Principia mathematica (es)
  • Principia Mathematica (fr)
  • Principia Mathematica (it)
  • プリンキピア・マテマティカ (ja)
  • Principia Mathematica (nl)
  • Principia mathematica (pl)
  • Principia mathematica (pt)
  • Principia Mathematica (ru)
  • 数学原理 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is owl:differentFrom of
is foaf:primaryTopic of