Gödel, Escher, Bach: an in-depth explainer

Re:Gödel, Escher, Bach: an in-depth explainer by wikfwikf on Wednesday September 14, 2022 @05:41AM (#32834992)

This is the best example - before it was shown that the Continuum Hypothesis was unprovable, many people believed, like the GP, that only uninteresting and artificial statements could be shown to be unprovable.

The CH is undoubtedly meaningful, natural, and of huge interest to (a subset of) mathematicians.

[ Parent | on HN ]

Re:Gödel, Escher, Bach: an in-depth explainer by adastra22 on Wednesday September 14, 2022 @08:02AM (#32835976)

What are the practical applications of CH?

[ Parent | on HN ]

Re:Gödel, Escher, Bach: an in-depth explainer by SamBam on Friday September 16, 2022 @12:44PM (#32868752)

At this point I feel like you're going from a reasonable question about Godel's theorem to cranky person unwilling to see how any math that doesn't explain how to fly a 747 is relevant to the world.

There are huge branches of mathematics that don't find immediate practicality in physics. Often these end up being practical in cryptography or quantum mechanics, but sometimes they don't. But to dismiss the entire field that relates to the cardinality of real numbers as uninteresting if someone can't give you a practical application of it shows a simple disregard for other fields of study.

[ Parent | on HN ]

Re:Gödel, Escher, Bach: an in-depth explainer by wikfwikf on Wednesday September 14, 2022 @09:57AM (#32837270)

lol

[ Parent | on HN ]

Re:Gödel, Escher, Bach: an in-depth explainer by adastra22 on Wednesday September 14, 2022 @12:19PM (#32839347)

What was funny?

[ Parent | on HN ]