Computable Measure Theory and Algorithmic Randomness
| العنوان: | Computable Measure Theory and Algorithmic Randomness |
|---|---|
| المؤلفون: | Mathieu Hoyrup, Jason Rute |
| المساهمون: | Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Department of Mathematics [Penn State University], Pennsylvania State University (Penn State), Penn State System-Penn State System, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Penn State System |
| المصدر: | Handbook of Computable Analysis Handbook of Computable Analysis, In press Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩ Theory and Applications of Computability ISBN: 9783030592332 |
| بيانات النشر: | HAL CCSD, 2020. |
| سنة النشر: | 2020 |
| مصطلحات موضوعية: | [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Probability theory, Computer science, Algorithmic randomness, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory, Mathematical economics, Measure (mathematics), ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, Computable analysis, Computable measure theory |
| الوصف: | International audience; We provide a survey of recent results in computable measure and probability theory, from both the perspectives of computable analysis and algorithmic randomness, and discuss the relations between them. |
| اللغة: | English |
| ردمك: | 978-3-030-59234-9 978-3-030-59233-2 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7ac22eaf57fddc53825796948a32f89 https://hal.inria.fr/hal-02938919/file/Chapter_HR.pdf |
| حقوق: | OPEN |
| رقم الأكسشن: | edsair.doi.dedup.....e7ac22eaf57fddc53825796948a32f89 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783030592349 9783030592332 |
|---|