Publication Date

12-2004

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.

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

Share

COinS