1. We know that
A
is undecidable.
Now we pick
to play the role of
A
.
2. We want to prove
B
is undecidable.
Demonstration
TM
HALT
We pick
to play the role of
B
, that is: We
want to prove that
is undecidable.
3. We assume that
B
is decidable and use this
assumption to prove that
A
is decidable.
17
TM
A
TM
A
3. We assume that
B
is decidable and use this
assumption to prove that
A
is decidable.
In the following slides we assume that
Demonstration
TM
A
is decidable and use this assumption to prove
that
is decidable.
4. We conclude that
B
is undecidable.
This is the end of the preview.
Sign up
to
access the rest of the document.
 Winter '99
 Paturi
 HALTTM

Click to edit the document details