Another important step in computability theory was Rice's theorem, which states that for all non-trivial properties of partial functions, it is undecidable whether a Turing machine computes a partial function with that property.
Outro chanzo importante na teoría da computabilidade foi o teorema de Rica, que afirma que para todas as propiedades non triviais das funcións parciais, é indecidible se unha máquina de Turing computa unha función parcial con esa propiedade.