How many real numbers exist? New proof moves closer to an answer

Re:How many real numbers exist? New proof moves closer to an... by acchow on Thursday July 15, 2021 @02:13PM (#27848067)

"famously, the four color theorem was proved by computers through exhaustive analysis (checking every possibility)"

This is impossible. The plane can be arbitrarily large with an arbitrary number of regions. It can be exhaustively checked for n number of regions up to a certain n. But not for arbitrary n.

[ Parent | on HN ]

Re:How many real numbers exist? New proof moves closer to an... by HelloNurse on Friday July 16, 2021 @07:57AM (#27855357)

Not every possible graph, just every "interesting" class of subgraph that can be extended or combined with others to obtain a coloring of any planar graph. These are a large but finite number; if a graph is planar it cannot have too many edges.

[ Parent | on HN ]