News for hackers. Stuff that matters.

A comment on Gödel, Escher, Bach: an in-depth explainer. Parent comment

Re:Gödel, Escher, Bach: an in-depth explainer by chriswarbo on Wednesday September 14, 2022 @07:52AM (#32835872)
> within the ZFC formalism, then `CH ∨ ¬CH` is a true statement

It's also a provable statement (via excluded middle)

[ Parent | on HN ]

There are no comments on this comment yet.