Language LNonSelfAcceptance 3/3
43/45
• Notice: LNonSelfAcceptance = {mi : mi Ï L(Mi), i =  1, …}
• Let L(Mk) = LNonSelfAcceptance
• Selfacceptance(Mk) = No implies
      mk Ï L(Mk) implies
      mk Î LNonSelfAcceptance implies
      mk Î L(Mk)
• Selfacceptance(Mk) = Yes implies
      mk Î L(Mk) implies
      mk Ï LNonSelfAcceptance implies
      mk Ï L(Mk)
• LNonSelfAcceptance is accepted by no TM Mk
contradiction
contradiction