Can you provide proof that you can automate all tests of all code?

Can you provide proof that you can turn all human-understandable language into computer-understandable language?

We haven't even started the discussion yet of how much code you spend on writing tests for other people's code, versus how much code you spend writing your own code.