Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Choice_sequence> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples 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 that 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 wikiPageLength "6042".
- Choice_sequence wikiPageOutDegree "15".
- Choice_sequence wikiPageRevisionID "640868716".
- Choice_sequence wikiPageWikiLink A_priori_and_a_posteriori.
- Choice_sequence wikiPageWikiLink Actual_infinity.
- Choice_sequence wikiPageWikiLink Algorithm.
- Choice_sequence wikiPageWikiLink Axiom.
- Choice_sequence wikiPageWikiLink Category:Constructivism_(mathematics).
- Choice_sequence wikiPageWikiLink Constructivism_(mathematics).
- Choice_sequence wikiPageWikiLink Dice.
- Choice_sequence wikiPageWikiLink Function_(mathematics).
- Choice_sequence wikiPageWikiLink Intuitionism.
- Choice_sequence wikiPageWikiLink L._E._J._Brouwer.
- Choice_sequence wikiPageWikiLink Natural_number.
- Choice_sequence wikiPageWikiLink Numbering_(computability_theory).
- Choice_sequence wikiPageWikiLink Predicate_(mathematical_logic).
- Choice_sequence wikiPageWikiLink Primitive_recursive_function.
- Choice_sequence wikiPageWikiLink Sequence.
- Choice_sequence wikiPageWikiLinkText "Choice sequence".
- Choice_sequence wikiPageWikiLinkText "choice sequence".
- Choice_sequence subject Category:Constructivism_(mathematics).
- Choice_sequence hypernym Formulation.
- Choice_sequence type Drug.
- Choice_sequence type Theory.
- 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 that can serve the same purpose as a sequence.".
- Choice_sequence label "Choice sequence".
- Choice_sequence sameAs Q5104040.
- Choice_sequence sameAs m.047tryw.
- Choice_sequence sameAs Q5104040.
- Choice_sequence wasDerivedFrom Choice_sequence?oldid=640868716.
- Choice_sequence isPrimaryTopicOf Choice_sequence.