Oh Chaitin, swoon. Did you read Exploring Randomness? If not, do! It's a short, sweet, delightfully lucid and fun book. All the theorems are demonstrated with executable code in a little micro-lisp.