当然不是泾渭分明的，毕竟研究的问题都是一样的。
事实上，做形式的大佬偶尔也会做一点儿唯像。
标准模型最后集大成的建立者温伯格其实偏形式派。

【 在 qtpr 的大作中提到: 】
: 唯象和形式的区别是模糊的
: 例如你说洛伦兹变换是一个拟合现象的数学构造，狭义相对论是基于“简明的物理原则”导出的形式理论。这种说法似乎有道理，但逻辑上的理由并不充分。因为，你并未解释为何把光速不变之类的现象规律作为公理就比把洛伦兹变换这种现象规律作为公理更“形式”。本质上说，它们都是现象规律而已，虽然可能很多人会觉得这两个现象规律中的一个看上更“简明”，但这种“简明”并不是绝对的，也许换个理论体系，谁更简明就可以反转。而且，即使不换理论体系，也有人觉得光速不变不好理解或者说很刻意牵强。
:
: ...................
--
FROM 125.71.74.*