Is the complement of a Non-Recognizable language
- May be Recognizable, May be Non-recognizable. I.e cant comment.
A mathematical proof would be of great help since im unable to think of any way to prove this.
I did some research on this and found below examples. Im specifying complement using a "!"
- !A(TM) is a non-recognizable language while A(TM) is a recognizable language.
- EQ(TM) is a non-recognizable language and !EQ(TM) is also non-recognizable language
The above two would mean that we simply cant comment on the Recognizability of the complement of non-recognizable language. But I feel that there should be some way to prove (or disprove) this.