"

:9
"
(" " )
2

)f(x

: A
( ) ,B
( )
f: N N :n
f(n)B nA
AmB :

N
A

B
B

: f - ? ?
: ?

K m TOT

: AmB -B , A
.
: .
: AmB -A , B
.

.
: A
(
) B
);
B ( ) ,
A .

f (m) # Z (m, m)
: ,m' f: N N
,
, :Pm
)Z (m,m
Pm ( x ) ,
m ,m !x

: A B ?
: B A?
6

K m TOT

- f:

: ? PRIME m K
: ? K m PRIME

,m
( ,Pm' ").

f(m)TOT mK :

: K - ,
TOT !

(m,m) mK Pm(x) :x
#(Pm) TOT
(m,m) m K Pm(x) :x
#(Pm) TOT

: AmB B - , A.
: .
: AmB A - , B
.
: A B "?
B A "?

EMPTY "
}EMPTY = {nN | Wn=

m EMPTY :
f: N N:
Kc

f (m) # ( Pm ) # Z (m, m)

" f-,
f(m)EMPTY mKc :

10

Kc m EMPTY

,m
( ,Pm' ").

f(m)EMPTY mKc :

11

AmB Ac mBc
TOT
.
? K mKc :
FIN - .
FIN
.

- f:

(m,m) mKc Pm(x) :x

#(Pm) EMPTY
(m,m) m Kc Pm(x) :x
#(Pm) EMPTY
12

m-

TOT - " :
KCmTOT

f (m) # [A] IF STP(1) (m,m,X ) GOTO A

:
AB -
m- , AmB
B mA
AmB :

14

INF

,AmB

A " B,
A" " B.

,AmB AcmBc
-m .

15

INF
.
INF = FINc
: TOTmINF -

16

INF m TOT

TOT m INF

Z1 X

)Y ( Z , m
IF Z X GOTO E
Z Z 1
GOTO A

Z2 X

][A

f ( m) #

IF STP (1) ( Z1 , m, Z 2 ) GOTO E

IF ( Z1 Z 2 ) GOTO B
Z1 Z1 1
GOTO A
Z2 Z2 1
Z1 X
GOTO A

17

AmB BmC - AmC

( m ).

13

][A

f ( m) #

][B

18

 -m

MON

MON
.

MON - .

: TOT mMON -

19

K : m-.
:
K .".
. C " .
p .C
" f:NN CmK :
f (n) # Z (n, p)

21

-m,

-m.
? ,!
: B m- C , ,-
,BmC C m-.
:
.

22

EMPTYC"

, " "
.

20

K m-

: B
- m
B . ".
. " C .CmB

EMPTYC m-.
B m- , B .
B C - -m , .BmC
" C.CmTOT :
TOT m-?

:EMPTYC
[A] IF STP (1) ( Z1 , X , Z 2 ) GOTO E
IF ( Z1 Z 2 ) GOTO B
Z1 Z 1 1
GOTO A
[B] Z 2 Z 2 1
Z1 0
GOTO A

23

24

KC m EMPTY
:
K m EMPTYC :

EMPTYC -"
-m ( )K ,
-m.

25