Sunday, July 20, 2014

Rice's Theorem

Rice's Theorem is about reasoning about programs.

It basically states that there are some qualities about a program that are impossible to reason about in a general sense.

Source: http://en.wikipedia.org/wiki/Rice's_theorem


No comments:

Post a Comment