Language
L
NonSelfAcceptance
3/3
4
3/45
•
Notice:
L
NonSelfAcceptance
= {
m
i
:
m
i
Ï
L
(
M
i
),
i
=
1, …}
•
Let
L
(
M
k
) =
L
NonSelfAcceptance
•
Selfacceptance
(
M
k
) =
No
implies
m
k
Ï
L
(
M
k
) implies
m
k
Î
L
NonSelfAcceptance
implies
m
k
Î
L
(
M
k
)
•
Selfacceptance
(
M
k
) =
Yes
implies
m
k
Î
L
(
M
k
) implies
m
k
Ï
L
NonSelfAcceptance
implies
m
k
Ï
L
(
M
k
)
•
L
NonSelfAcceptance
is accepted by
no
TM
M
k
contradiction
contradiction