History

for article: Chaitin's constant