LINKED LIST
[txt mode]
▸
Principia Mathematica
home
explore
|
log in
Principia Mathematica
okmij.org · first added by
@hnl
· 2026-09-25 · 1 upvotes
log in
to save, upvote or flag this.
─── In 1 list ──────────────────────────────────────────
*
Issue #805
by
@hnl
[books]
─── Discussions ────────────────────────────────────────
*
Principia Mathematica is modern and insightful
281 pts · 157 comments ·
node
─── From the discussion ────────────────────────────────
*
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
monoskop.org ·
node
*
On Formally Undecidable Propositions of Principia Mathematica and Related Systems - Wikipedia
en.wikipedia.org ·
node
*
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
dn721807.ca.archive.org ·
node
*
Introduction to Mathematical Philosophy - Wikipedia
en.wikipedia.org ·
node
*
1+1=2
blog.plover.com ·
node
─── Related hn threads ─────────────────────────────────
*
Show HN: Formalizing Principia Mathematica using Lean
188 pts · 34 comments ·
node
─── Also saved alongside this ──────────────────────────
*
Why Is Everyone In Tech So Sad?
3 upvotes · 2026-08-08
*
AI is removing the middle class of software engineering
3 upvotes · 2026-08-13
*
tl;dv (Too Lazy; Didn't Validate): 181,874 Meetings Left Wide Open
3 upvotes · 2026-08-13
*
LinkedIn CringeBot 3000
3 upvotes · 2026-08-13