科学包含两大类

- 经验科学（实证科学）：靠观察、实验、归纳，如物理、化学、生物、医学、工程、心理学等。

- 形式科学：不靠实验，靠逻辑、公理、推演，如数学、逻辑学、计算机科学、信息论等。

广义相对论刚提出时，是典型的形式科学产物；被实验验证后，才归入经验科学。

日常所说的科学多指经验科学，但二者不能等同。



【 在 hut 的大作中提到: 】
: 你这里的形式科学是什么意思
: 定义一下
:
--
修改:TexasPotato FROM 116.128.189.*
FROM 116.128.189.*