"

HALT(x1,x2) :

:4
"
(" " )

,
,



.
.

) HALT(x1,x2 .
P () :

, ) HALT(x1,x2
!

.
:
.
) HALT(x1,x2
S- :

,

( ).

[A] IF HALT(X,X) GOTO A

else

P ,x2#(P)= x2 :

: ) HALT(x1,x2 .
:

)p = #(P
P .X=p : ?

P(1) ( x1 )

1
HALT ( x1 , x2 )
0

HALT(x1,x2)=1"
x2 . x1

.
x1 x2 )HALT(x1,x2
0 - 1 .

.
- -
.

-
.

.

:
: 2-
.
:
,
.

Q :
Z2
Z Z+2
Z2 Z 1
IF (Prime(Z2) Prime(Z Z2)) GOTO A
Z2 Z2 1
IF Z2 1 GOTO B

)q=#(Q
Halt(0,q) = 1" .

][A
][B