>>14194752theory in the general sense
for example, things like phyllotaxis and theories of turbulence are computationally irreducible. And scientists should be studying computation empirically as well as analytically.
Also, if youre willing to grant that things like second law of thermodynamics are empirically derived and true, then the principal of computational equivalence would be an empirical discovery.
