2 ms·I was aware of Chaitin constant but not of Chaitin elegance; thank you for the link!by baruchel 7y agoI was aware of Chaitin constant but not of Chaitin elegance; thank you for the link!