Comment by yablak Comment by yablak a day ago 1 reply Copy Link View on Hacker News Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
Copy Link grandempire a day ago Collapse Comment - Russel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book. Reply View | 0 replies
Russel builds a logical system - it just can’t ground mathematics. Gödel’s paper is about the system in Russels book.