Publication Date
12-2004
Abstract
In one of his early papers, D. Grigoriev analyzed the decidability and computational complexity of different physical theories. This analysis was motivated by the hope that this analysis would help physicists. In this paper, we survey several similar ideas that may be of help to physicists. We hope that further research may lead to useful physical applications.
tr04-13b.pdf (288 kB)
Second Updated Version: UTEP-CS-04-13b
tr04-13a.pdf (280 kB)
Updated version: UTEP-CS-04-13a
tr04-13.pdf (207 kB)
Original file: UTEP-CS-04-13
Second Updated Version: UTEP-CS-04-13b
tr04-13a.pdf (280 kB)
Updated version: UTEP-CS-04-13a
tr04-13.pdf (207 kB)
Original file: UTEP-CS-04-13
Comments
UTEP-CS-04-13c.
Published in Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics, 2004, Vol. 316, pp. 63-110; reprinted in Journal of Mathematical Sciences, 2006, Vol. 134, No. 5, pp. 2358-2382.