Results

**1 - 1**of**1**### Two Formal Theories of Strings

, 2002

"... In this thesis we present two axiomatic theories in higher-order logic, either of which can be thought of as a formalization of string theory. One theory, called ST Theory, is a product of our own devising. The second theory, called WM Theory, is taken, with modification, from chapter 7 in the first ..."

Abstract
- Add to MetaCart

In this thesis we present two axiomatic theories in higher-order logic, either of which can be thought of as a formalization of string theory. One theory, called ST Theory, is a product of our own devising. The second theory, called WM Theory, is taken, with modification, from chapter 7 in the first edition of Manna and Waldinger's text book The Logical Basis for Computer Programming, Addison-Wesley, 1985. We show that the two theories are equivalent in the sense that they are mutually interpretable. This means roughly that the axioms of one theory are theorems of the other theory, and vice versa. The entire formalization and analysis is performed in the IMPS Interactive Mathematical Proof System.