Chaitin's constant and its properties Date May 9, 2025Event Beijing Normal University Logic SeminarLocation Beijing Slides