Axiomatic method;
Foundations of physics;
Formal language;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
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.