共 50 条
- [1] Constructive Mathematics and Quantum Physics [J]. International Journal of Theoretical Physics, 2000, 39 : 503 - 515
- [3] APPLIED MATHEMATICS AND THEORETICAL PHYSICS AT CAMBRIDGE [J]. NATURE, 1959, 184 (4687) : 686 - 687
- [4] Theoretical Physics, Applied Mathematics and Visualizations [J]. MATHEMATICAL SOFTWARE, ICMS 2016, 2016, 9725 : 366 - 370
- [5] Applied constructive mathematics: On Hellman's 'mathematical constructivism in spacetime' [J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2000, 51 (02): : 299 - 318
- [9] FORMALISATION OF CONSTRUCTIVE MATHEMATICS [J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 384 - &