I was working on a result about Turing machines in nonstandard models, Then I found I had rediscovered Chaitin’s incompleteness theorem.
I am trying to figure out how this relates to an AI that uses Kolmogorov complexity.
I was working on a result about Turing machines in nonstandard models, Then I found I had rediscovered Chaitin’s incompleteness theorem.
I am trying to figure out how this relates to an AI that uses Kolmogorov complexity.