{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Lecture15_Part5

Lecture15_Part5 - Demonstration 3 We assume that B is...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
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.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}