Nisso eu vou ter que descordar.

Vamos lá, Ciências da computação é o estudo da computação em si, como em outras ciências. No mundo acadêmico, você vai aprender/estudar computação no nosso contexto, programar seria uma consequência. Até porquê você pode fazer todo o curso de Ciências e não "virar um programador", mas você têm agora o conhecimento para estudar computação.

Ao contrário de um programador sem formação, ele só vai saber programar, como sua analogia do pedreiro.

O pedreiro ele sabe levantar uma casa, mas ele não têm a ciências por trás, ele não sabe como o cimento é feito, como o cálculo estrutural é feito, ele aprendeu a fazer (com projetos e estudos dos cientistas/engenheiros), mas não tem a base acadêmica por trás.

Ambos podem co-existir sem nunca se tocarem.

Mas ainda complemento, o conceito pode existir sem nunca a prática se materializar.

Mas acredito que você esteja tentando associar um programador aos talentos de um cientista que têm como objetivo aprender/estudar/pesquisar.

Mas pense assim, o cientista é o literário, o pensador, o estudioso. E o programador é a ponta do uso do conhecimento. Manja The Big Bang Theory?

Existem físicos, os teóricos e os práticos.

Essa parte responde sua pergunta, um físico teórico pode existir (cientista) sem existir um fisico prático (programador).