According to a LessWrong essay in progress by Fernand0, mathematics contains two distinct types of theories: those that are naturally 'visible' and easy to discover, and those that are fundamentally 'mundane'—hidden in the background. Mathematical constants like pi naturally emerge through geometric reasoning, but physical constants like the gravitational constant G can only be discovered through observation; they hold no special position in abstract mathematical space. The essay proposes that science works by identifying which region of 'Mathland'—the space of all possible mathematical theories—our universe actually inhabits. Though incomplete, it raises a thought-provoking question: are some mathematical structures inherently discoverable, while others demand empirical discovery?

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton