Trusted
8,475
edits
Principia Mathematica: Difference between revisions
From Tardis Wiki, the free Doctor Who reference
no edit summary
m (Bot: Cosmetic changes) |
No edit summary |
||
| Line 4: | Line 4: | ||
{{TitleSort}} | {{TitleSort}} | ||
==Behind the scenes== | |||
[[Bertrand Russell]] and [[Alfred North Whitehead]] wrote Principia Mathematica as a three volume work, attempting to show that mathematics could be deduced from a minimized set of axioms and inference rules, solving paradoxes that had at that time been plaguing the foundations of mathematics, using a specific mathematical theory of {{w|Type theory|types}}. A fourth volume was planned to be written by Whitehead on geometry, as well as rebuttals to criticisms, however, [[Kurt Gödel]] published his first and second [[incompleteness theorems]] in his [[1931]] paper ''On Formally Undecidable Propositions in Principia Mathematica and Related Systems I'', which spelled the end for this project. | |||
[[Category:Books from the real world]] | [[Category:Books from the real world]] | ||
[[Category:Non-fiction books]] | [[Category:Non-fiction books]] | ||
[[Category:Mathematics from the real world]] | [[Category:Mathematics from the real world]] | ||
