Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Choice_sequence> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Choice_sequence abstract "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.".
- Choice_sequence wikiPageID "18070459".
- Choice_sequence wikiPageRevisionID "542188397".
- Choice_sequence hasPhotoCollection Choice_sequence.
- Choice_sequence subject Category:Constructivism_(mathematics).
- Choice_sequence comment "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.".
- Choice_sequence label "Choice sequence".
- Choice_sequence sameAs m.047tryw.
- Choice_sequence sameAs Q5104040.
- Choice_sequence sameAs Q5104040.
- Choice_sequence wasDerivedFrom Choice_sequence?oldid=542188397.
- Choice_sequence isPrimaryTopicOf Choice_sequence.