Assertion: computer | /r/CapableOf | continue condition
Facets:
value: indefinitely
type: MANNER
Source sentences:
text: Because no universal algorithmic method can exist to identify such propositions, a computer asked to obtain the truth of such a proposition will (unless forcibly interrupted) continue indefinitely—a condition known as the “halting problem.