History [of computational irreducibility]
[History of] exact solutions
Amount of computation [and computational irreducibility]
More complicated rules [and reducibility]
[Examples of] reducible systems
Speed-up theorems
[Computation of] mathematical functions
Formulas [and computational irreducibility]
[Examples of] short computations
Intrinsic limits in science