A proper algorithm comes with a proof that it's correct. But even if I don't und...

		FartyMcFarter on July 4, 2024 \| parent \| context \| favorite \| on: Did Turing prove the undecidability of the halting... A proper algorithm comes with a proof that it's correct. But even if I don't understand the proof, knowing the answer itself is useful.