- In English criminal law, attainder was the metaphorical “stain” or “corruption of blood” which arose from being condemned for a serious capital crime (felony or treason). It entailed losing not only one’s life, property and hereditary titles, but typically also the right to pass them on to one’s heirs. Anyone condemned of capital crimes could be attainted.
- Halting problem (Wikipedia)
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. The halting problem is undecidable, meaning that no general algorithm exists that solves the halting problem for all possible program–input pairs. The problem comes up often in discussions of computability since it demonstrates that some functions are mathematically definable but not computable.