An important property of Turing machines is that they have only one kind of instruction, which is very simple. That comes useful in various mathematical proofs, where you don't have to enumerate many options. (Try to imagine the horror of writing a mathematical proof that something cannot be solved by a C program.)