The Principia Mathematica is a three-volume work on the foundations of mathematics written by the mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, an
The title page of the shortened Principia Mathematica to ✱56
List of propositions referred to by names.
Kurt Friedrich Gödel was a logician, mathematician, cosmologist, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profou
Principia Mathematica
…geometry had been planned, but the authors admitted to intellectual exhaustion upon completion of the third. As noted in the criticism of the theory by Kurt Gödel (below), unlike a formalist theory, the "logicistic" theory of PM has no "precise statement of the syntax of the formalism". Furthermore in the theory…
Plaque to Gödel at 43-45 Josefstädter Straße [de], Vienna, where he discovered his incompleteness theorems
Gödel as a student in 1925
Gravestone of Kurt and Adele Gödel in the Princeton, N.J., cemetery