Em ciência da computação, o teorema de Rice (também conhecido como o Teorema de Rice-Myhill-Shapiro), assim chamado em homenagem a Henry Gordon Rice, é um resultado importante da teoria das funções computáveis. Uma propriedade das funções parciais diz-se trivial se se verifica para todas as função parciais computáveis ou para nenhuma. O teorema diz que, para qualquer propriedade não trivial de funções parciais, a questão de saber se um dado algoritmo computa uma função parcial com essa propriedade é um problema indecidível.