1. As a consequence type checking becomes undecidable.

2. Most problems with infinite input are undecidable by algorithm.

3. Because precise determination of a computer virus is undecidable, a method based on improved K-nearest neighbor to detect computer virus approximately is presented in this paper.

4. This theorem reveals that there exist undecidable propositions in a consistent formal system.

4. try its best to gather and create good sentences.

5. First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable.

6. An undecidable statement can be thought of as a mathematical form of a statement like "I always lie."

7. So subjects assessed true statements as believable faster than they judged them as unbelievable or undecidable.

8. The French Lieutenant's Woman foregrounds the indeterminate, the polyphonic, and undecidable functions of the author.

9. Because precise determination of a virus by its appearance is undecidable , a K-nearest neighbor Algorithm based on sample learning to detect computer virus approximately is presented in this paper.

10. The researchers presented the subjects with a series of statements designed to be plainly true, false or undecidable.