Let be a class of partial recursive functions. If then is the index set of .
Let be a class of partial recursive functions with index set . Then is recursive if and only if is empty, or is all of .
Rice's theorem says "any nontrivial property of partial recursive functions is undecidable"
US Patent Issued to International Business Machines on Oct. 29 for "Indexing Documents Using Internal Index Sets" (Colorado Inventors)
Oct 29, 2013; ALEXANDRIA, Va., Oct. 29 -- United States Patent no. 8,572,062, issued on Oct. 29, was assigned to International Business...