Before revision: In 1956 Alonzo Church wrote: "Like any branch of mathematics, theoretical syntax may, and ultimately must, be studied by the axiomatic method".Alonzo Church, Introduction to Mathematical Logic, Princeton UP, Princeton, 1956 Church was evidently unaware that string theory already had two axiomatizations from the 1930s: one by Hans Hermes and one by Alfred Tarski.John Corcoran, William Frank and Michael Maloney, String theory , Journal of Symbolic Logic, vol.
After revision: In 1956 Alonzo Church wrote: "Like any branch of mathematics, theoretical syntax may, and ultimately must, be studied by the axiomatic method".Alonzo Church, Introduction to Mathematical Logic, Princeton UP, Princeton, 1956 Church was evidently unaware that string theory already had two axiomatizations from the 1930s: one by Hans Hermes and one by Alfred Tarski.John Corcoran, William Frank and Michael Maloney, "String theory" , Journal of Symbolic Logic, vol.