9th century a.D. 1 Algorithm for normal numbers 1 Algorithms 1 Computable absolutely normal numbers 1 Computable construction 1 Error correction 1 Greek medicine 1 Lebesgue measure 1 Magical-medical treatises 1 Manuscript tradition catalogue 1 Manuscripts 1 Normal numbers 1 Number theory 1 Set theory 1 Theorem proving 1 Tratados mágico-médicos 1 Turing machines 1 Turing's unpublished manuscript 1 bibliotheca 1 book epigrams; Greek novels; Byzantine reception; Byzantine poetry; Byzantine manuscripts 1 book epigrams; novelas griegas; recepción bizantina; poesía bizantina; manuscritos bizantinos 1 catalogue 1 catálogo 1 manuscript tradition; encyclopedy; catalog 1 manuscripts 1 manuscritos 1 medicina griega 1 siglo IX d.C 1 tradición 1 tradición manuscrita 1