The Halting Problem

The Halting Problem - Asif Ali The Halting Problem Hello Cousin The ambition you have regarding computers is one that I admire greatly However even

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 DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/27/2011 for the course PHI 330 taught by Professor Mar during the Fall '10 term at SUNY Stony Brook.

Page1 / 2

The Halting Problem - Asif Ali The Halting Problem Hello Cousin The ambition you have regarding computers is one that I admire greatly However even

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