https://thoughts.sapiro.net/tags/decisionability/ Recent content in decisionability on Ben Sapiro's Draft Thoughts Hugo -- gohugo.io en Sun, 03 Jan 2021 00:00:00 +0000 https://thoughts.sapiro.net/errata/the-halting-problem/ Sun, 03 Jan 2021 00:00:00 +0000 https://thoughts.sapiro.net/errata/the-halting-problem/ <p>The <a href="https://brilliant.org/wiki/halting-problem/">halting problem</a> states that <a href="https://www.huffpost.com/entry/how-to-describing-alan-turings-halting-problem-to_b_58d1ae08e4b062043ad4add7">“is there a computer program that can look at the code of any other program and decide if that other program will ever stop running?”</a>; it is provably <a href="https://www.scientificamerican.com/article/why-is-turings-halting-pr/">unsolvable</a>.</p>