Computer scientists have independently rediscovered that algebraic formalisms can produce geometry.

“At some point, mathematicians discovered that geometry can be expressed using algebra, so they're basically formalisms that produce geometry. And this all has been rediscovered by computer scientists.”