Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799563187> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1799563187 abstract "While computability theory on many countable sets is well established and for computability on the real numbers several (mutually non-equivalent) definitions are applied, for most other uncountable sets, in particular for measures, no generally accepted computability concepts at all ha,ve been available until now. In this contribution we introduce computability on the set M of probability measures on the Borel subsets of the unit interval [0; 1]. Its main purpose is to demonstrate that this concept of computability is not merely an ad hoc definition but has very natural properties. Although the definitions and many results can of course be transferred to more general spaces of measures, we restrict our attention to M in order to keep the technical details simple and concentrate on the central ideas. In particular, we show that simple obvious reqirements exclude a number of similar definitions, that the definition leads to the expected computability results, that there are other natural definitions inducing the same computability theory and that the theory is embedded smoothly into classical measure theory. As background we consider TTE, Type 2 Theory of Effectivity [KW84, KW85], which provides a frame for very realistic computability definitions. In this approach, computability is defined on finite and infinite sequences of symbols explicitly by Turing machines and on other sets by means of notations and representations. Canonical representations are derived from information structures [Wei97]. We introduce a standard representation (delta _m : subseteq sum ^omega to M)via some natural information structure defined by a subbase σ (the atomic properties) of some topology τ on M and a standard notation of σ. While several modifications of δ m suggesting themselves at first glance, violate simple and obvious requirements, δ m has several very natural properties and hence should induce an important computability theory. Many interesting functions on measures turn out to be computable, in particular linear combination, integration of continuous functions and any transformation defined by a computable iterated function system with probabilities. Some other natural representations of M are introduced, among them a Cauchy representation associated with the Hutchinson metric, and proved to be equivalent to δ m . As a corollary, the final topology τ of δ m is the well known weak topology on M." @default.
- W1799563187 created "2016-06-24" @default.
- W1799563187 creator A5050312341 @default.
- W1799563187 date "1997-01-01" @default.
- W1799563187 modified "2023-09-27" @default.
- W1799563187 title "Computability on the probability measures on the Borel sets of the unit interval" @default.
- W1799563187 cites W1975886595 @default.
- W1799563187 cites W1997766149 @default.
- W1799563187 cites W2115154197 @default.
- W1799563187 cites W2168229531 @default.
- W1799563187 cites W4244614283 @default.
- W1799563187 cites W4249775755 @default.
- W1799563187 doi "https://doi.org/10.1007/3-540-63165-8_174" @default.
- W1799563187 hasPublicationYear "1997" @default.
- W1799563187 type Work @default.
- W1799563187 sameAs 1799563187 @default.
- W1799563187 citedByCount "1" @default.
- W1799563187 crossrefType "book-chapter" @default.
- W1799563187 hasAuthorship W1799563187A5050312341 @default.
- W1799563187 hasConcept C110729354 @default.
- W1799563187 hasConcept C111142201 @default.
- W1799563187 hasConcept C111472728 @default.
- W1799563187 hasConcept C11413529 @default.
- W1799563187 hasConcept C114614502 @default.
- W1799563187 hasConcept C118615104 @default.
- W1799563187 hasConcept C128394911 @default.
- W1799563187 hasConcept C138885662 @default.
- W1799563187 hasConcept C142399903 @default.
- W1799563187 hasConcept C152062344 @default.
- W1799563187 hasConcept C2780586882 @default.
- W1799563187 hasConcept C29248071 @default.
- W1799563187 hasConcept C33923547 @default.
- W1799563187 hasConcept C41008148 @default.
- W1799563187 hasConcept C45374587 @default.
- W1799563187 hasConcept C54271186 @default.
- W1799563187 hasConcept C7356347 @default.
- W1799563187 hasConceptScore W1799563187C110729354 @default.
- W1799563187 hasConceptScore W1799563187C111142201 @default.
- W1799563187 hasConceptScore W1799563187C111472728 @default.
- W1799563187 hasConceptScore W1799563187C11413529 @default.
- W1799563187 hasConceptScore W1799563187C114614502 @default.
- W1799563187 hasConceptScore W1799563187C118615104 @default.
- W1799563187 hasConceptScore W1799563187C128394911 @default.
- W1799563187 hasConceptScore W1799563187C138885662 @default.
- W1799563187 hasConceptScore W1799563187C142399903 @default.
- W1799563187 hasConceptScore W1799563187C152062344 @default.
- W1799563187 hasConceptScore W1799563187C2780586882 @default.
- W1799563187 hasConceptScore W1799563187C29248071 @default.
- W1799563187 hasConceptScore W1799563187C33923547 @default.
- W1799563187 hasConceptScore W1799563187C41008148 @default.
- W1799563187 hasConceptScore W1799563187C45374587 @default.
- W1799563187 hasConceptScore W1799563187C54271186 @default.
- W1799563187 hasConceptScore W1799563187C7356347 @default.
- W1799563187 hasLocation W17995631871 @default.
- W1799563187 hasOpenAccess W1799563187 @default.
- W1799563187 hasPrimaryLocation W17995631871 @default.
- W1799563187 hasRelatedWork W1490360834 @default.
- W1799563187 hasRelatedWork W149671515 @default.
- W1799563187 hasRelatedWork W1782244868 @default.
- W1799563187 hasRelatedWork W1898535578 @default.
- W1799563187 hasRelatedWork W1991083015 @default.
- W1799563187 hasRelatedWork W2034747415 @default.
- W1799563187 hasRelatedWork W2047923539 @default.
- W1799563187 hasRelatedWork W2065841668 @default.
- W1799563187 hasRelatedWork W2090775178 @default.
- W1799563187 hasRelatedWork W2094813555 @default.
- W1799563187 hasRelatedWork W2109417180 @default.
- W1799563187 hasRelatedWork W2126650377 @default.
- W1799563187 hasRelatedWork W2150923863 @default.
- W1799563187 hasRelatedWork W2294966264 @default.
- W1799563187 hasRelatedWork W2736073068 @default.
- W1799563187 hasRelatedWork W2767252625 @default.
- W1799563187 hasRelatedWork W2786634919 @default.
- W1799563187 hasRelatedWork W2911323760 @default.
- W1799563187 hasRelatedWork W3092261656 @default.
- W1799563187 hasRelatedWork W3102702461 @default.
- W1799563187 isParatext "false" @default.
- W1799563187 isRetracted "false" @default.
- W1799563187 magId "1799563187" @default.
- W1799563187 workType "book-chapter" @default.