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.