Dear Hal Here is the second quote. It is from Chaitin's "The Limits of Mathematics" page 90.
"The first of these theorems states that an N-bit formal axiomatic system cannot enable one to exhibit any specific object with a program-size complexity greater than N + c." Hal
