4 ms·
Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
by yablak 1y ago
Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
- grandempire 1y agoRussel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book.