guest post by David Spivak • Part 1: The problem. Creating a knowledge network In 2007, I asked myself: as mathematically as possible, what can formally ground meaningful information, includin…| Azimuth