Lemme Borel-Cantelli et dérandomisation
Je lisais un article intitulé Random Oracles with (out) Programmability . Le dernier paragraphe de la section 2.3 se lit comme suit: [En utilisant notre nouvelle approche], il n'est pas nécessaire d'appliquer des techniques classiques de dérandomisation asymptotique (et uniforme) bien connues...