除了上述的两个经典的 theory generator,现在我们熟知的量子力学(当然你得把 Schroedinger 方程写成 这样的抽象形式),量子场论,以及曾经火过两回的弦理论,都是 theory generators。它们当中都有类似于 Lagrangian 或 Hamiltonian 这一类的抽象的量,在给定这些量的情况下,就自动生成理论。
总结来说,我们最早根据实验得到了一些定律,然后发现定律之间有共同点,于是把这些定律抽象成了理论,然后又发现理论之间也有共同点,于是又抽象成了 theory generator。反过来,给定 theory generator 里面所需要的量,它就会自动给我们生成理论,将理论应用于不同的情景,我们又可以获得具体的一些定律。
其实现在 theory generators 的威力还远不止于此。不过这已经涉及到目前最前沿的理论物理。