Historical Development of The Register Machine Model
Two trends appeared in the early 1950s—the first to characterize the computer as a Turing machine, the second to define computer-like models—models with sequential instruction sequences and conditional jumps—with the power of a Turing machine, i.e. a so-called Turing equivalence. Need for this work was carried out in context of two "hard" problems: the unsolvable word problem posed by Emil Post—his problem of "tag"—and the very "hard" problem of Hilbert's problems—the 10th question around Diophantine equations. Researchers were questing for Turing-equivalent models that were less "logical" in nature and more "arithmetic" (cf Melzak (1961) p. 281, Shepherdson-Sturgis (1963) p. 218).
The first trend—toward characterizing computers—seems to have originated with Hans Hermes (1954), Rózsa Péter (1958), and Heinz Kaphengst (1959), the second trend with Hao Wang (1954, 1957) and, as noted above, furthered along by Zdzislaw Alexander Melzak (1961), Joachim Lambek (1961), Marvin Minsky (1961, 1967), and John Shepherdson and Howard E. Sturgis (1963).
The last five names are listed explicitly in that order by Yuri Matiyasevich. He follows up with:
- "Register machines are particularly suitable for constructing Diophantine equations. Like Turing machines, they have very primitive instructions and, in addition, they deal with numbers" (Yuri Matiyasevich (1993), Hilbert's Tenth Problem, commentary to Chapter 5 of the book, at http://logic.pdmi.ras.ru/yumat/H10Pbook/commch_5htm. )
It appears that Lambek, Melzak, Minsky and Shepherdson and Sturgis independently anticipated the same idea at the same time. See Note On Precedence below.
The history begins with Wang's model.
Read more about this topic: Register Machine
Famous quotes containing the words historical, development, register, machine and/or model:
“It is hard to believe that England is so near as from your letters it appears; and that this identical piece of paper has lately come all the way from there hither, begrimed with the English dust which made you hesitate to use it; from England, which is only historical fairyland to me, to America, which I have put my spade into, and about which there is no doubt.”
—Henry David Thoreau (1817–1862)
“This was the Eastham famous of late years for its camp- meetings, held in a grove near by, to which thousands flock from all parts of the Bay. We conjectured that the reason for the perhaps unusual, if not unhealthful development of the religious sentiment here, was the fact that a large portion of the population are women whose husbands and sons are either abroad on the sea, or else drowned, and there is nobody but they and the ministers left behind.”
—Henry David Thoreau (1817–1862)
“Our fear that Communism might some day take over most of the world blinds us to the fact that anti-communism already has.”
—Anonymous U.S. Analyst In 1967. Quoted in “The Uses of Anticommunism,” vol. 21, published in The Socialist Register (1985)
“... in the fierce competition of modern society the only class left in the country possessing leisure is that of women supported in easy circumstances by husband or father, and it is to this class we must look for the maintenance of cultivated and refined tastes, for that value and pursuit of knowledge and of art for their own sakes which can alone save society from degenerating into a huge machine for making money, and gratifying the love of sensual luxury.”
—Mrs. H. O. Ward (1824–1899)
“When you model yourself on people, you should try to resemble their good sides.”
—Molière [Jean Baptiste Poquelin] (1622–1673)