back to ideas for this text


Single Idea 10037

[from 'Principia Mathematica' by B Russell/AN Whitehead, in 6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism ]

Full Idea

What is missing, above all, in 'Principia', is a precise statement of the syntax of the formalism.

Gist of Idea

'Principia' lacks a precise statement of the syntax

Source

comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Kurt Gödel - Russell's Mathematical Logic p.448

Book Reference

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.448