Choice Sequence

In intuitionistic mathematics, a choice sequence is a constructive formulation of a sequence. Since the Intuitionistic school of mathematics, as formulated by L. E. J. Brouwer, rejects the idea of a completed infinity, in order to use a sequence (which is, in classical mathematics, an infinite object), we must have a formulation of a finite, constructible object which can serve the same purpose as a sequence. Thus, Brouwer formulated the choice sequence, which is given as a construction, rather than an abstract, infinite object.

Read more about Choice Sequence:  Lawlike and Lawless Sequences, Axiomatization

Famous quotes containing the words choice and/or sequence:

    At birth man is offered only one choice—the choice of his death. But if this choice is governed by distaste for his own existence, his life will never have been more than meaningless.
    Jean-Pierre Melville (1917–1973)

    It isn’t that you subordinate your ideas to the force of the facts in autobiography but that you construct a sequence of stories to bind up the facts with a persuasive hypothesis that unravels your history’s meaning.
    Philip Roth (b. 1933)