Gödel's Incompleteness: what this star will be

Gödel's Incompleteness is a star on the Constellate sky: placed by meaning, named, and connected to the stars around it. This is the short form of its post: the line it carries, the area we colour Mathematics, and what stands beside it today.

The line it carries on the sky: Any rich system holds truths it cannot prove.

What stands beside it

The stars nearest to it are Epistemic Humility, Infinity, The Map Is Not the Territory and Recursion, and Epistemic Humility, Infinity and The Map Is Not the Territory are already open to walk. When Gödel's Incompleteness opens, the conversation will land it among them, with a line drawn to each idea it touches.

Ask for this star

Every star is lit by demand. Ask for Gödel's Incompleteness and it moves up the list; when it opens, this post becomes the full essay. The open stars beside it can be walked today, and the first concept of every course is free.