|
|
|
|
|
|
by wizzwizz4
28 days ago
|
|
|
Rice's theorem says that we can't draw a partition between two sets of programs, based on their semantic properties. It says nothing about drawing a partition slightly to one side of the desirable partition, misclassifying some tricksy cases, but correctly classifying all the programs we care about. |
|
|