The theorem can be used un this way? Wasn't only for natural numbers? You argument seems solid if thats how the theorem works. Maybe there is a way not to find Bugs but to build things perfectly from the start.
My understanding is that the theorems apply to any "formal systems". If my assumptions of computers being part of "formal systems" is correct, then the theorems should apply, per my understanding.