75 citations
- Université Paris CitéFR59 papers
- Centre National de la Recherche ScientifiqueFR32 papers
- Délégation Paris 7FR10 papers
- Institut national de recherche en sciences et technologies du numériqueFR10 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR8 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- École Normale Supérieure de LyonFR4 papers
- Sorbonne UniversitéFR4 papers
- Computer Algorithms for MedicineAT3 papers
- École PolytechniqueFR3 papers
- Laboratoire de Recherche en InformatiqueFR3 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013
Randomness and lowness notions via open covers
Laurent Bienvenu, Joseph S. Miller
One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R u…
math.LO2013
The axiomatic power of Kolmogorov complexity
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen +2
The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements wo…