A deep correspondence is discussed between the computational evaluation of symbolic expressions and recent results on discrete models of fundamental physics.| writings.stephenwolfram.com