Это также разумная научная программа для рассмотрения динамики стандартной модели и попытки доказать из этой динамики, что она способна вычислительно.