WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 38107907

(no title)

deltasepsilon | 2 years ago

I believe the parent was referring to Girard's paradox [1], but it's been a while and I'm not a specialist in this area.

[1] https://en.wikipedia.org/wiki/System_U#Girard's_paradox

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com