Tech, emailconfirmed, Administrators
153,286
edits
Principia Mathematica: Difference between revisions
From Tardis Wiki, the free Doctor Who reference
no edit summary
m (Bot: Cosmetic changes) |
No edit summary Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
{{retitle|''{{PAGENAME}}''}} | {{retitle|''{{PAGENAME}}''}} | ||
{{wikipediainfo}} | {{wikipediainfo}} | ||
'''''{{PAGENAME}}''''' was a [[book]] on [[mathematics]] by [[Bertrand Russell]]. [[Nyssa]] looked over a copy of ''Principia Mathematica'' while waiting for the [[Fifth Doctor]] to return to [[The Doctor's TARDIS|the TARDIS]]. [[Adric]] suggested that [[Tegan Jovanka|Tegan]] should read it, calling it a "fascinating book". ([[TV]]: ''[[Four to Doomsday]]'') | '''''{{PAGENAME}}''''' was a [[book]] on [[mathematics]] by [[Bertrand Russell]]. [[Nyssa]] looked over a copy of ''Principia Mathematica'' while waiting for the [[Fifth Doctor]] to return to [[The Doctor's TARDIS|the TARDIS]]. [[Adric]] suggested that [[Tegan Jovanka|Tegan]] should read it, calling it a "fascinating book". ([[TV]]: ''[[Four to Doomsday (TV story)|Four to Doomsday]]'') | ||
== Behind the scenes == | == 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. | [[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. | ||
{{TitleSort}} | |||
[[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]] | ||
