Truth Mines were just another indexscape. Hundreds of thousands of specialized selections of the library’s contents were accessible in similar ways. Half a megatau before, ve’d swum through the Eukaryotic Cell; every protein, every nucleotide, even carbohydrate drifting through the cytoplasm had broadcast gestalt tags with references to everything the library had to say about the molecule in question.
Every tunnel in the Mines was built from the steps of a watertight proof; every theorem, however deeply buried, could be traced back to every one of its assumptions. And to pin down exactly what was meant by a "proof," every field of mathematics used its own collection of formal systems: sets of axioms, definitions, and rules of deduction, along with the specialized vocabulary needed to state theorems and conjectures precisely.

Only in the Mines could ve begin to understand exactly who ve was.

From "Diaspora"
by Greg Egan

Soundscape: From Vacuum - Another Universe

Format: [4k] MP4