in Theory of Computation edited by
315 views
0 votes
0 votes
  • if we reduce an unknown problem L to a known undecidable problem then L becomes undecidable. is right or wrong??

so it should be known undecidable or only undecidable??

then what about below problem??     this is copied question

If L1 reduces to L2 and L2 is undecidable, then L1 is undecidable.

in Theory of Computation edited by
315 views

3 Comments

When L1 is reduced to L2,

1) If L1 is Undecidable then L2 is surely Undecidable.

2) If L2 is Decidable then L1 is surely Decidable.

But in your statement, L1 is reduced to L2, If L2 is undecidable then we can't say anything about L1

So the statement is wrong.

0
0

Ashwin Kulkarni 

read my topmost statement then answer

0
0
Yes That's what I am saying, if L is unknown and we reduced it to a known undecidable, then we can't surely say L is undecidable.

To prove that L is undecidable you've to again reduce that known undecidable to L.
0
0

1 Answer

1 vote
1 vote

If your aim is to prove that L1 is undecidable, then we should reduce the known undecidable problem L2 into L1. 

you can refer  here and here