Web Directory

    Top: Science: Math: Logic_and_Foundations: History: People: Turing,_Alan_Mathison:

 

On Computable Numbers with an Application to the Entscheidungsproblem

  Link Details for: On Computable Numbers with an Application to the Entscheidungsproblem
Link Title: On Computable Numbers with an Application to the Entscheidungsproblem Open in a new window
Link URL: http://www.abelard.org/turpap2/turpap2.htm
Link Details: Turing's paper which discusses the halting problem in the context of Gödel's Incompleteness Theorem. HTML.
Category: Top : Science : Math : Logic_and_Foundations : History : People : Turing,_Alan_Mathison
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
On Computable Numbers with an Application to the Entscheidungsproblem