.. This file is part of the OpenDSA eTextbook project. See
.. http://opendsa.org for more details.
.. Copyright (c) 2012-2020 by the OpenDSA Project Contributors, and
.. distributed under an MIT open source license.

.. avmetadata::
   :author: Cliff Shaffer
   :requires: Limits to Computing
   :satisfies: uncomputable problems
   :topic: Limits to Computing
   :keyword: Unsolveable Problems


Unsolveable Problems
====================

Unsolveable Problems
--------------------

.. inlineav:: Unsolve1FS ff
   :links: AV/PIFLA/LimComp/Unsolve1FS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/LimComp/Unsolve1FS.js
   :output: show
   :keyword: Unsolveable Problems


The Halting Problem is Unsolvable
---------------------------------

.. inlineav:: Unsolve2FS ff
   :links: AV/PIFLA/LimComp/Unsolve2FS.css
   :scripts: DataStructures/PIFrames.js AV/PIFLA/LimComp/Unsolve2FS.js
   :output: show
   :keyword: Unsolveable Problems