Ciência da computação é diferente de Análise de Sistemas (que é o debate em si das linguagens de programação), amigo, pare de atacar o espantalho.

Irmão. Programming Language Theory, que é o debate em si das linguagens de programação, é um ramo da Ciência da Computação. De onde tu tirou que análise de sistemas tem a ver com o assunto?

Nossa, fiquei até espantado com o quanto você não sabe do que tá falando kkkkk.

Então você está me dizendo que 100% de toda a ciência através de teoria, hipótese e explicação para fenômenos observado são 100% exatas e irrevogaveis?

Falácia do espantalho. Não, eu não estou dizendo isso. Eu estou dizendo que ciência não é baseado em consenso geral. Sem espantalhos, por favor. As afirmações não são parecidas, é impossível confundir uma coisa com a outra.

Pesquise sobre o método científico para você ter pelo menos uma noção básica de como uma ciência funciona. Vou dar um spoiler: não é por votação popular. 😄

Nem tudo na informatica (ou qq outra área) que se denomina "ciência" pode ser provado 100%, então, o que vale é o consenso por maior prova de evidências, que não é um dogma imutável e pode ser revisado ou alterado à medida que novas evidências surgem ou novas interpretações são propostas

Isso foi uma piada, por acaso? Tudo na informática pode ser provado sim, meu amigo. Tudo na informática é invenção humana. Sabe o que isso signfica? Toda invenção humana pode sim ser provada. Não é como a física que estuda fenômenos da natureza e existem bilhões de mistérios inexplorados.

Tudo na informática foi inventado por algum humano, documentado pelo mesmo e então estudado por outros humanos. Ou você realmente acha que computadores são um fenômeno da natureza? Só falta tu me dizer i7 nasce em árvores.

Você tá parecendo aquelas pessoas que questionam o fato de humanos serem animais.