History and Importance
Semi-Thue systems were developed as part of a program to add additional constructs to logic, so as to create systems such as propositional logic, that would allow general mathematical theorems to be expressed in a formal language, and then proven and verified in an automatic, mechanical fashion. The hope was that the act of theorem proving could then be reduced to a set of defined manipulations on a set of strings. It was subsequently realized that semi-Thue systems are isomorphic to unrestricted grammars, which in turn are known to be isomorphic to Turing machines. This method of research succeeded and now computers can be used to verify the proofs of mathematic and logical theorems.
At the suggestion of Alonzo Church, Emil Post in a paper published in 1947, first proved "a certain Problem of Thue" to be unsolvable, what Martin Davis states as "...the first unsolvability proof for a problem from classical mathematics -- in this case the word problem for semigroups." (Undecidable p. 292)
Davis asserts that the proof was offered independently by A. A. Markov (C. R. (Doklady) Acad. Sci. U.S.S.R. (n.s.) 55(1947), pp. 583–586.
Read more about this topic: Semi-Thue System
Famous quotes containing the words history and/or importance:
“The history of persecution is a history of endeavors to cheat nature, to make water run up hill, to twist a rope of sand.”
—Ralph Waldo Emerson (1803–1882)
“The Mississippi, the Ganges, and the Nile,... the Rocky Mountains, the Himmaleh, and Mountains of the Moon, have a kind of personal importance in the annals of the world.”
—Henry David Thoreau (1817–1862)