PROBABILISTIC ALGORITHMIC RANDOMNESS.
We introduce martingales defined by probabilistic strategies, in which randomness is used to decide whether to bet. We show that different criteria for the success of computable probabilistic strategies can be used to characterize ML-randomness, computable randomness, and partial computable randomne...
| Publicado en: | Journal of Symbolic Logic Vol. 78; no. 2; pp. 579 - 602 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Jun2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=88008582&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 88008582 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Jun2013 vid: 78 iid: 2 pid: 15979 pub: Cambridge University Press artinfo: ui: 88008582 10.2178/jsl.7802130 ppf: 579 ppct: 23 formats: tig: atl: PROBABILISTIC ALGORITHMIC RANDOMNESS. aug: au: BUSS, SAM MINNES, MIA affil: DEPARTMENT OF MATHEMATICS, UNIVERSITY OF CALIFORNIA, SAN DIEGO, LA JOLLA, CA 92093-0112, USA su: Martingales (Mathematics) Probability theory Kolmogorov complexity Equivalence classes (Set theory) Mathematical functions Mathematical models sug: subj: Martingales (Mathematics) Probability theory Kolmogorov complexity Equivalence classes (Set theory) Mathematical functions Mathematical models ab: We introduce martingales defined by probabilistic strategies, in which randomness is used to decide whether to bet. We show that different criteria for the success of computable probabilistic strategies can be used to characterize ML-randomness, computable randomness, and partial computable randomness. Our characterization of ML-randomness partially addresses a critique of Schnorr by formulating ML randomness in terms of a computable process rather than a computably enumerable function. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2013 holdings: @attributes: islocal: N |
|---|