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
Received on Fri Apr 13 2001 - 15:19:27 PDT
This archive was generated by hypermail 2.3.0
: Fri Feb 16 2018 - 13:20:07 PST