15
$\begingroup$

I'm very fascinated by the book Principia Mathematica. From what I've learned so far, PM set out to be, essentially, the bible of mathematics and logic, from which all mathematical and logical ideas can be derived. As I understand it, the book was initially a success in that no one challenged its "completeness"… until Gödel came along with his incompleteness theorem.

So my question is, if Gödel's incompleteness theorem says that PM (and any other such work) can never fully encompass all of math and logic, what specific ideas/theorems/proofs/etc. exist in mathematics and logic that can't be derived from PM?

$\endgroup$
7
  • 7
    $\begingroup$ I don't Principia explicitly fails in something. They don't prove it's completeness, it was just that nobody thought it would be incomplete. $\endgroup$ Aug 5, 2013 at 23:22
  • 2
    $\begingroup$ You might also want to look into Wittgenstein's criticisms. Note that there were various editions of PM, some of which attempted to respond to earlier criticisms, and revise/reformulate the project, when they (Whitehead, and/or Russell) recognized oversights. $\endgroup$
    – amWhy
    Aug 5, 2013 at 23:24
  • 10
    $\begingroup$ Did it fail? Who says? It seems to me that the obsolescence of PM has more to do with the success of Zermelo's set theory as a foundational language than with anything intrinsic to PM itself. I think a better question to ask is what are the features of set theory that caused it to succeed so spectacularly, and in particular which of those features did PM lack. $\endgroup$
    – MJD
    Aug 6, 2013 at 3:30
  • 4
    $\begingroup$ Gödel used PM merely as the "best known" system of the type he wanted to discuss. But he remarks that few specific properties of PM are used in this argument, and any similar attempt to fulfill Hilbert's program would similarly fail. So I would not say "Principia failed" but instead "Hilbert's program failed". $\endgroup$
    – GEdgar
    Aug 6, 2013 at 14:47
  • 1
    $\begingroup$ @MJD:In the second edition of Principia Mathematica Russell attempts to show in a new Appendix B that the Peano postulates for the natural numbers, including the scheme of mathematical induction, can be derived in the absence of the Axiom of Reducibility and his proof was wrong. This may probably count as a failure of $PM$. $\endgroup$
    – user170039
    Jun 12, 2015 at 15:31

2 Answers 2

23
$\begingroup$

Perhaps we should distinguish two questions:

(1) Does $PM$ fail as a philosophical/foundational project: if so, why?

(2) Does $PM$ in some sense fail as a mathematical project: if so, why?

Re (1): It is usually said that the philosophical project of PM was to defend a version of logicism, by showing that all arithmetical truths, all truths of classical analysis, and more, can be deduced from purely logical assumptions plus definitions (where the definitions cash out notions like "is a natural number" in purely logical terms). In other words, Russell and Whitehead are trying to complete Frege's logicist project (but this time, in a consistent logical framework!).

$PM$ fails, read as attempting this philosophical project. For a start, its Axiom of Infinity and Axiom of Reducibility are very difficult to defend as logical axioms. And then -- a fatal blow -- Gödel's first incompleteness theorem shows that the ambition of capture even all arithmetical truths in a single (decidably) axiomatized system must fail. [Aside: ZFC isn't propounded with the same all-encompassing logicist ambitions as $PM$, so isn't challenged in this way by Gödelian incompleteness.]

Re (2): The ramified type theory of PM is mathematically messy to work with in various ways. Not just inconvenient, but messy in a way that suggests that it is not implementing its leading idea in the mathematically best way. And indeed as Ramsey pointed out long ago, the mathematical project of $PM$ doesn't need some of the complications (the complications which require the Axiom of Reducibility and which seem to be there for more philosophical reasons -- i.e. to give a one-size-fits-all treatment of a whole range of paradoxes, logical and semantic). So let's separate out one key mathematical idea, and we get a near descendant of $PM$, preserving Russell's key idea, namely (Simple) Type Theory -- which is alive and well and not a failure at all!

$\endgroup$
3
  • 4
    $\begingroup$ There is also a sense in which PM was a victim of its own success. PM gave a concrete demonstration of just how much mathematics could be formalized in that system, but in doing so it illustrated how much effort was required to present fully detailed, formal derivations of the results. So it succeeded in convincingly proving its point that such a formalization is possible. But, after that extremely lengthy formalization has been done one time, there is little motivation for anyone else to do a project of a similar size just to make the same point a second time. $\endgroup$ Aug 6, 2013 at 12:53
  • $\begingroup$ @CarlMummert If PM gave a concrete demonstration of just how much mathematics could get formalizaed in that system, then not a single proof not given by Russell and Whitehead could ever get written in that system. That makes no sense at all. It also doesn't make sense to speak about "approximately" how much mathematics could get written in that system either, since arithmetic has a potential (if not actual) infinity of theorems. $\endgroup$ Aug 6, 2013 at 22:00
  • $\begingroup$ Might you expand on what "logical" means? IIUC set theory can be rephrased as (a variant of) second-order logic, which is incomplete but seems fine. Do people require logics to be complete? I think that's part of the point, but people seem to seldom actually spell this out so that (e.g.) a mere programming language person might get it. $\endgroup$ Sep 4, 2017 at 15:30
7
$\begingroup$

By Goedel's second incompleteness theorem, the system set out in Principia cannot prove its own consistency.

Edit. By the way, I've always thought rather poorly of the argument that "Principia failed because of the incompleteness theorems." Firstly, this argument can be applied to any foundational system. "ZFC failed because of the incompleteness theorems." Except that it didn't, because everyone (well, almost everyone) loves ZFC.

I think that, in reality, foundational systems are chosen not only for their level of completeness, but also for their usability. From what I've heard, the Principia system was unwieldy and inconvenient to use; so, if we're going to take the position that Principia Mathematica failed, then we should probably take the position that: "it failed because it was inconvenient."

$\endgroup$
5
  • $\begingroup$ I indicate in my answer a respect in which Gödelian incompleteness is a problem for the overall project of $PM$ in a way in which it isn't for ZFC. $\endgroup$ Aug 6, 2013 at 6:47
  • $\begingroup$ @PeterSmith, I guess it depends on what you mean by PM and ZFC. My answer is more from the point of view that PM and ZFC are formal systems, to be evaluated anew by each generation of mathematicians interested in using these systems. Your answer is more from the point of view that PM and ZFC were (historically) mathematical and philosophical projects, situated in a particular intellectual context. So, I think both our answers are valid, but they just emphasize different points of view. Of course, you sort of point this out with your point number (2), but just in different words. $\endgroup$ Aug 7, 2013 at 3:40
  • 1
    $\begingroup$ Okay guys, I'm not really sure what the debate is about but it seems you've worked it out yourselves, so no drama. Fwiw I think the term crank is overused. Yes, there's some frauds out there, and a few crazy people, but I don't like that our community throws this word at anyone who has their own idionsyncratoc viewpoint. I've been called a crank myself, quite unfairly I think. $\endgroup$ Jan 27, 2018 at 11:25
  • $\begingroup$ The difference between you and cranks (as I see it) is that you don't go out telling people that PA is inconsistent, without actually knowing logic and having what you believe is a proof. Even Nelson and some other finitists, who ever announced inconsistency of PA, knew a lot of logic and were sincere, so they admitted their mistakes when pointed out. I'd be surprised if any of the professional mathematicians on this site ever called you a crank. $\endgroup$
    – user21820
    Jan 27, 2018 at 14:45
  • $\begingroup$ By the way, impracticality of PM aside, I just came across Alasdair's article explaining that PM failed as a foundational system in Russell's conception, because "Whitehead and Russell fail to distinguish between the concept of truth and that of provability.". So while a formalized version of PM (such as Godel's) is a well-defined formal system, it fails to fulfill R&W's ambitions for logic. $\endgroup$
    – user21820
    Dec 19, 2018 at 11:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .