Mainly because no universal algorithmic approach can exist to discover this kind of propositions, a computer asked to get the truth of this type of proposition will (Unless of course forcibly interrupted) continue on indefinitely—a ailment called the “halting problem.” ( ".