3.20

Friedberg-Muchnik Theorem

找了一天半，终于找到了一篇能把 priority method 和 Friedberg-Muchnik Theorem 的证明讲明白的文章 PRIORITY METHODS IN COMPUTABILITY THEORY，这是芝大学生 Keyer Thyme 在本科生研究体验项目（REU, Research Experiences for Undergraduates）中撰写的论文，感谢她！

现在，是时候从可计算性理论中走出来，走向计算复杂度了！启动！