Posted by **Elizabeth** on Sunday, November 22, 2009 at 1:54pm.

What is the halting problem? What does it have to do with self referential paradoxes?

How do I make sense of this?

"So suppose I have a black box which can decide the halting problem, that is I can give it a program P and the box tells me if P will ever stop.

Using this I can make a program P' that works as follows:

Given a program P ask the box if P will stop.

If P will halt run forever.

If P will run forever, halt.

Last step, give P' as input to itself, if P' will run forever it must halt. "

I don't understand why there is a P' here? And why we have regular P and P'. I'm so confused.

## Answer this Question

## Related Questions

- Math 157 - I need some help I have to Select one problem from the self-practice ...
- math - The two cereal boxes shown have corresponding edges in a ratio of 2:3.If ...
- math - two cereal boxes have corresponding edges in a ratio of 2:3 If the ...
- math - The two cereal boxes shown have corresponding edges in a ratio of 2 : 3. ...
- problem of the week - Imagine one large cube made of 1000 white centimeter cubes...
- Statistics - Suppose 52 of the students in class have a calculator and 14 have a...
- Math - The two cereal boxes shown have corresponding edges in a ratio of 2:3. If...
- history - I have to make do a 3d affect in a shoe box of a famous black peson. I...
- computer science - ineed help with c++. i am using code blocks and i have a ...
- statistics - We’re writing a test case that samples a “random” black box. Given ...