科学产出是符号模型，本质是程序合成

值得注意的是，科学的输出产物——它所生成的模型——本质上是符号化的。通常以数学形式表达，有时是代码。

科学是一个程序合成过程。