Algorithm for normal numbers 4 Algorithms 4 Computable absolutely normal numbers Computable construction 4 Error correction 4 Lebesgue measure 4 Manuscripts 4 Normal numbers 4 Number theory 4 Set theory 4 Theorem proving 4 Turing machines 4 Turing's unpublished manuscript 4