Hugo Cisneros
Open main menu
Blog
Notes
Projects
Resume
Contact
← Browse all tags
Computability theory
Notes
Turing-completeness
Church-Turing thesis
Kolmogorov complexity
Turing degree
Halting probability
Halting problem