Chaitin's constant and its propertiesDateMay 9, 2025EventBeijing Normal University Logic SeminarLocationBeijingSlides