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.
| Property |
Value |
| dbo: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. (en) |
| dbo:wikiPageExternalLink |
http://homepages.inf.ed.ac.uk/mfourman/research/publications/pdf/fourman82-notions-of-choice-sequence.pdf https://www.hf.uio.no/ifikk/english/research/projects/cl/events/conferences/slides-potensialism/reals-slides.pdf |
| dbo:wikiPageID |
18070459 (xsd:integer) |
| dbo:wikiPageLength |
8489 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1088395143 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Primitive_recursive_function dbr:Algorithm dbc:Constructivism_(mathematics) dbr:Intuitionism dbr:Numbering_(computability_theory) dbr:Function_(mathematics) dbr:A_priori_and_a_posteriori dbr:L._E._J._Brouwer dbr:Dice dbr:Axiom dbr:Constructivism_(mathematics) dbr:Natural_numbers dbr:Sequence dbr:One-place_predicate dbr:Completed_infinity |
| dbp:wikiPageUsesTemplate |
dbt:Annotated_link dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn |
| dcterms:subject |
dbc:Constructivism_(mathematics) |
| gold:hypernym |
dbr:Formulation |
| rdf:type |
dbo:Drug |
| rdfs: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. Thus, Brouwer formulated the choice sequence, which is given as a construction, rather than an abstract, infinite object. (en) |
| rdfs:label |
Choice sequence (en) |
| owl:sameAs |
freebase:Choice sequence wikidata:Choice sequence https://global.dbpedia.org/id/4ho8U |
| prov:wasDerivedFrom |
wikipedia-en:Choice_sequence?oldid=1088395143&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Choice_sequence |
| is dbo:wikiPageRedirects of |
dbr:Free_choice_sequences |
| is dbo:wikiPageWikiLink of |
dbr:Index_of_philosophy_articles_(A–C) dbr:Mathematical_analysis dbr:Constructive_set_theory dbr:Anne_Sjerp_Troelstra dbr:Spread_(intuitionism) dbr:Actual_infinity dbr:Bar_induction dbr:Heyting_arithmetic dbr:Free_choice_sequences |
| is foaf:primaryTopic of |
wikipedia-en:Choice_sequence |