Splat:
1)
The problem you encounter here is that these substructures and near-substructures, once they reach a certain size, actually require more information to specify than N itself.
This depends on what you mean by "specify". To distinguish N from other mathematical structures requires either an infinite (indeed non-recursive) amount of information or a second order specification including some phrase like "all predicates". Are you referring to the latter? Or to something else I don't know about?
2) I do not know Chaitin's definition of the K-complexity of a structure. I'll try tracking it down, though if it's easy for you to post a quick definition, I'll be grateful. (I do think I know how to define the K-complexity of a theory.) I presume that if I knew this, I'd know your answer to question 1).
3) Whatever the definition, the question remains whether K-complexity is the right concept here. Dawkins's argument does not define complexity; he treats it as "we know it when we see it". My assertion has been that Dawkins's argument applies in a context where it leads to an incorrect conclusion, and therefore can't be right. To make this argument, I need to use Dawkins's intended notion of complexity, which might not be the same as Chaitin's or Kolmogorov's. And for this, the best I can do is to infer from context what Dawkins does and does not see as complex. (It is, clear from context that he sees complexity as a general phenomenon, not just a biological one.)
4) The natural numbers are certainly an extremely complex structure in the everyday sense of the word; after thousands of years of study, people are learning new and surprising things about them every day, and there is no expectation that we've even scratched the surface. This is, of course, a manifestation of the "wildly nonrecursive" nature of T(N), all of which is reflected in N itself. And this, again, seems pretty close to the way Dawkins uses the word.
5) I continue to be most grateful for your input. I see that SIlas is back to insisting that you can't simulate a squirrel with a simple list of axioms, after having been told forty eight bajillion times (here and elsewhere) that nobody's asserting any such thing; my claim is that you can simulate a squirrel in the structure N, not in any particular axiomatic system. Whether or not you agree, it's a pleasure to engage with someone who's not obsessed with pummelling straw men.
Replying out of order:
2) A quick search of Google Scholar didn't net me a Chaitin definition of K-complexity for a structure. This doesn't surprise me much, as his uses of AIT in logic are much more oriented toward proof theory than model theory. Over here you can see some of the basic definitions. If you read page 7-10 and then my explanation to Silas here you can figure out what the K-complexity of a structure means. There's also a definition of algorithmic complexity of a theory in section 3 of the Chaitin.
According to these definitions, the complex...
A monthly thread for posting rationality-related quotes you've seen recently (or had stored in your quotesfile for ages).
ETA: It would seem that rationality quotes are no longer desired. After several days this thread stands voted into the negatives. Wolud whoever chose to to downvote this below 0 would care to express their disapproval of the regular quotes tradition more explicitly? Or perhaps they may like to browse around for some alternative posts that they could downvote instead of this one? Or, since we're in the business of quotation, they could "come on if they think they're hard enough!"