Notes on the ``Impenetrable Machine"

Selmer Bringsjord

• Some Key Definitions Reviewed
  • Turing-Decidability
  • Turing-Acceptability
• The Relevant Theorems
• Explanation
• About this document ...