On: Several Linux kernel vulnerabilities accidentally posted to public mailing list

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.