The Halting Problem

The Halting Problem - Asif Ali The Halting Problem Hello...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Asif Ali The Halting Problem Hello Cousin, The ambition you have regarding computers is one that I admire greatly. However, even they are incomplete. In other words their exists problems that even the “God computer” cannot answer accurately. Gödel’s incompleteness theorem proved this idea. To put it simply he proved that any proof that is about a system couldn’t be proved within that system. In more descriptive words he provided evidence that “any system which is expressive enough to be consistent and complete is also expressive enough to contain self-referential statements which doom it to incompleteness.” The halting problem is just another technique of proving the same claims as the incompleteness theorem, relating it to computer’s (which is a system) limitedness. In detail we will explain the idea of the halting problem to show you why there cannot be a “God computer”. Suppose we live in a world where the “God computer” does in fact exists. In such
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 2

The Halting Problem - Asif Ali The Halting Problem Hello...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online