axiomatic method;
foundations of physics;
formal language;
D O I:
10.1007/s11229-006-9129-6
中图分类号:
N09 [自然科学史];
B [哲学、宗教];
学科分类号:
01 ;
0101 ;
010108 ;
060207 ;
060305 ;
0712 ;
摘要:
We discuss three problems concerning the use of formal languages in theoretical physics: (i) the definability of time and spacetime in classical physical theories; (ii) how to cope with indistinguishable elementary particles in quantum mechanics without labeling them; and (iii) how to get a formal picture of quantum states jumping.