News for hackers. Stuff that matters.

A comment on What do we mean by "the foundations of mathematics"?. Parent comment

Re:What do we mean by "the foundations of mathematics"? by deltasepsilon on Wednesday November 01, 2023 @09:41PM (#38107907)
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

[ Parent | on HN ]

There are no comments on this comment yet.