Chaitin's constant is definable but not computable.