Back-and-forth Method - History

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 possibility—I wish the history to be natural though the sentiments are refined; and the characters to be probable, though their behaviour is excelling.
    Frances Burney (1752–1840)