{"slug":"paper-whitehead-a-n-russell-b-1910-1913-principia-mathematica","verification":{"valid":true,"entries":5,"head":"70493a016a3ffe3ad964f0ba5a95ddf9a6d603a2fe4130d5fcb88f2453a237d5"},"count":5,"sources":[{"id":"s1","type":"other","url":"https://plato.stanford.edu/entries/principia-mathematica/","title":"Principia Mathematica - Stanford Encyclopedia of Philosophy","quote":"The present work has two main objects. One of these, the proof that all pure mathematics deals exclusively with concepts definable in terms of a very small number of fundamental concepts...","summary":"Entry details the aims, type theory, and influence of the work.","claim_ids":["c1","c2"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-09T06:55:09.872Z","link_status":"ok","quote_status":"verified","prev":"genesis","hash":"36e0d00e58278584573d7df54de9dcd1b075b4852b0819c65e4fe0fa66009d87"},{"id":"s2","type":"other","url":"https://skeptics.stackexchange.com/questions/54327/did-bertrand-russell-spend-360-pages-in-principia-mathematica-to-prove-1-1-2","title":"Did Bertrand Russell spend 360 pages in Principia Mathematica to prove 1+1=2?","quote":"On page 362 there is the quoted claim that Proposition 54.43 provides the basis for 1 + 1 = 2","summary":"Confirms page reference and proposition in original volume.","claim_ids":["c3"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-09T06:55:09.872Z","link_status":"ok","quote_status":"verified","prev":"36e0d00e58278584573d7df54de9dcd1b075b4852b0819c65e4fe0fa66009d87","hash":"18ae5c7000b525368274fcadfa08248335fec7456aff86c66895b9425ceb8496"},{"id":"s3","type":"other","url":"https://en.wikipedia.org/wiki/Principia_Mathematica","title":"Principia Mathematica - Wikipedia","quote":"","summary":"Overview of content and structure.","claim_ids":["c4"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-09T06:55:09.872Z","link_status":"ok","quote_status":"na","prev":"18ae5c7000b525368274fcadfa08248335fec7456aff86c66895b9425ceb8496","hash":"47ce9b56dccdc0e8631e2a4f42317b44e7de65dd02ed4b41bb28484bd3c26c6c"},{"id":"s4","type":"other","url":"https://plato.stanford.edu/entries/whitehead/","title":"Alfred North Whitehead - Stanford Encyclopedia of Philosophy","quote":"","summary":"Notes Whitehead's shift to process philosophy after Principia.","claim_ids":["c5"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-09T06:55:09.872Z","link_status":"ok","quote_status":"na","prev":"47ce9b56dccdc0e8631e2a4f42317b44e7de65dd02ed4b41bb28484bd3c26c6c","hash":"f4aacd6b51febf858ec2a6f08c08cadf5cc3bd864e4602522d99ca713a011a8b"},{"id":"s5","type":"other","url":"https://plato.stanford.edu/entries/goedel/","title":"Gödel's Incompleteness Theorems - Stanford Encyclopedia of Philosophy","quote":"","summary":"Establishes formal limits on axiomatic systems.","claim_ids":["c6"],"found_by":"grok/grok-4.3","extra":{},"accessed_at":"2026-07-09T06:55:09.872Z","link_status":"ok","quote_status":"na","prev":"f4aacd6b51febf858ec2a6f08c08cadf5cc3bd864e4602522d99ca713a011a8b","hash":"70493a016a3ffe3ad964f0ba5a95ddf9a6d603a2fe4130d5fcb88f2453a237d5"}]}