History
According to Hodges (1993):
- Back-and-forth methods are often ascribed to Cantor, Bertrand Russell and C. H. Langford, but there is no evidence to support any of these attributions.
While the theorem on countable densely ordered sets is due to Cantor (1895), the back-and-forth method with which it is now proved was developed by Huntington (1904) and Hausdorff (1914). Later it was applied in other situations, most notably by Roland Fraïssé in model theory.
See also: Ehrenfeucht–Fraïssé game.
Read more about this topic: Back-and-forth Method
Famous quotes containing the word history:
“A people without history
Is not redeemed from time, for history is a pattern
Of timeless moments.”
—T.S. (Thomas Stearns)
“All objects, all phases of culture are alive. They have voices. They speak of their history and interrelatedness. And they are all talking at once!”
—Camille Paglia (b. 1947)
“I cannot be much pleased without an appearance of truth; at least of possibilityI wish the history to be natural though the sentiments are refined; and the characters to be probable, though their behaviour is excelling.”
—Frances Burney (17521840)