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 DontchaKnowit on Wednesday September 14, 2022 @12:00AM (#32833190)
This is super interesting. Was not aware of this. Is there a proof that this is not provable?
[ Parent | on HN ]
Re:Gödel, Escher, Bach: an in-depth explainer by thayne on Wednesday September 14, 2022 @01:42AM (#32833682)
Yes, Paul Cohen proved that the continuum hypothesis (that there is no set with cardinality between that of natural numbers and real numbers) was independent of the ZFC formulation of set theory (the most standard set of axioms used in today's set theory) in 1963.
[ Parent | on HN ]
Re:Gödel, Escher, Bach: an in-depth explainer by schoen on Wednesday September 14, 2022 @02:47AM (#32834015)
More about this on Wikipedia:

https://en.wikipedia.org/wiki/Continuum_hypothesis#Independe...

Also:

https://en.wikipedia.org/wiki/Axiom_of_choice#Independence

And thanks to Wikipedia for this elaborate list:

https://en.wikipedia.org/wiki/List_of_statements_independent...

[ Parent | on HN ]