My position is that CS is a bunch of proofs about Turing machines which can be implemented in transistors which are productions of our mastery of physics. You

My position is that CS is a bunch of proofs about Turing machines which can be implemented in transistors which are productions of our mastery of physics. You could try to say the same thing about psych being implemented by neurons, but it's not directly traceable. You can try building up from neural networks, and backtrack from Freud's drive/defense model, but there is an insurmountable gap in between.