Repositorios 1

Turing machines Algorithms 8 Set theory 8 Theorem proving 8 Universal machines 6 Kolmogorov complexity 5 Algorithm for normal numbers 4 Algorithmic randomness 4 Computability and decidability 4 Computable absolutely normal numbers 4 Computable construction 4 Computable maps 4 Computer science 4 Error correction 4 Halting probability 4 Infinite words 4 Lebesgue measure 4 Manuscripts 4 Metric spaces 4 Normal numbers 4 Number theory 4 Problem solving 4 Random number generation 4 Recursion theory 4 Topology 4 Truth-table degrees 4 Turing's unpublished manuscript 4 Ω-numbers 4 Abstract data types 2 Abstraction functions 2