Nice article, though I have a question: I might well misunderstand the whole subject, but doesn't "concrete incompletness" show up in many problems related the length of arbitrary programs like in the halting problem or the kolmogorov complexity, some of them with many potential practical applications were they not undecidable?

This question is for testing whether you are a human visitor and to prevent automated spam submissions.