An application of Martin-Löf randomness to effective probability theory

Mathieu Hoyrup, Cristóbal Rojas

Resultado de la investigación: Contribución a los tipos de informe/libroContribución a la conferencia

23 Citas (Scopus)

Resumen

In this paper we provide a framework for computable analysis of measure, probability and integration theories. We work on computable metric spaces with computable Borel probability measures. We introduce and study the framework of layerwise computability which lies on Martin-Löf randomness and the existence of a universal randomness test. We then prove characterizations of effective notions of measurability and integrability in terms of layerwise computability. On the one hand it gives a simple way of handling effective measure theory, on the other hand it provides powerful tools to study Martin-Löf randomness, as illustrated in a sequel paper.

Idioma originalInglés
Título de la publicación alojadaMathematical Theory and Computational Practice - 5th Conference on Computability in Europe, CiE 2009, Proceedings
Páginas260-269
Número de páginas10
Volumen5635 LNCS
DOI
EstadoPublicada - 2009
Evento5th Conference on Computability in Europe, CiE 2009 - Heidelberg, Alemania
Duración: 19 jul 200924 jul 2009

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen5635 LNCS
ISSN (versión impresa)03029743
ISSN (versión digital)16113349

Otros

Otros5th Conference on Computability in Europe, CiE 2009
PaísAlemania
CiudadHeidelberg
Período19/07/0924/07/09

Áreas temáticas de ASJC Scopus

  • Informática (todo)
  • Ciencia computacional teórica

Huella Profundice en los temas de investigación de 'An application of Martin-Löf randomness to effective probability theory'. En conjunto forman una huella única.

  • Citar esto

    Hoyrup, M., & Rojas, C. (2009). An application of Martin-Löf randomness to effective probability theory. En Mathematical Theory and Computational Practice - 5th Conference on Computability in Europe, CiE 2009, Proceedings (Vol. 5635 LNCS, pp. 260-269). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5635 LNCS). https://doi.org/10.1007/978-3-642-03073-4_27