算法随机性是近十几年比较热门的一个数理逻辑分支领域，它基于Martin—L?f随机性这一概念，主要研究各种随机性概念之间的关系和它们与可计算性理论之间的一些联系。这次报告主要介绍了Martin-L?f随机性这一基础概念，分别从典型性（typicalness）（Martin—L?f测试）、不可预测性（upredictable）（鞅）、不可压缩性（incompressible）（柯尔莫戈洛夫复杂度）这三个方面展示了Martin-L?f随机性是如何被定义的，并指出这三种定义手段最后达到同一，由此显现出Martin-L?f随机性的重要性。最后通过与可计算性这一概念的对比，还做了一些关于随机性这个概念的哲学讨论。