Вы находитесь на странице: 1из 159

. . , .

, 2012

510.5
22.12
31

31

. ., .
.
3. . 4- ., .
.: , 2012. 160 c.
ISBN 978-5-4439-0014-8
,
. (, , , , , m-, , , , )
( ,
). , - .
100 .
2008 .

22.12

, ,

ftp://ftp.mccme.ru/users/shen/logic/comput

ISBN 978-5-4439-0014-8

c . .,

., 1999, 2012

1. ,

1.1.
1.2.
1.3.
1.4.
1.5.

. . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . .

. . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

. 8
. 9
. 10
. 12
. 13

2.
2.1.
2.2.
2.3.
2.4.
2.5.

16

. . . . . . . . .
. . . . . . .


:

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

3.

16
17
18
20
21
23

3.1. . . . . . . . . . . . . . 23
3.2. . . . . . . . 26
3.3. . . . . . . . . . . . . 27
4.
4.1.
4.2.
4.3.
4.4.
4.5.

. . . . . . . .
. . . . .
.

30
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

5.
5.1.
5.2.
5.3.
5.4.

.
, . . . . . . . . .
: . . . . .
. . . . . . . . . . . . . . . . . .

30
33
37
40
42
45

.
.
.
.

.
.
.
.

45
47
49
52

6. m-
6.1.
6.2.
6.3.
6.4.
6.5.
6.6.

57

m- . . . . . . . . . . . . . . . . . .
m- . . . . . . . . . . . . . .
m-
m- . . . . . . .
. . . . . . . . . . .
. . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
00 - . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
: . . . . . .
:
: . .
. . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

7.
7.1.
7.2.
7.3.
7.4.
7.5.
7.6.
7.7.
7.8.
7.9.

71

8.
8.1.
8.2.
8.3.
8.4.

n n . . . . . . . . . . . . .
n n
. . . . . . . . . . . . .

71
73
75
78
81
84
86
88
89
91

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

9.
9.1.
9.2.
9.3.
9.4.
9.5.
9.6.
9.7.

57
58
59
62
65
68

103

?
: . . . . . . . . .
: . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . .
. . . . . . . . . . . . .
, . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

10.
10.1.
10.2. . . . . . . .
10.3. . . .
10.4. . . . . . . . . . .

91
93
95
100

103
103
105
108
109
112
114
117

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

117
119
121
124

10.5. . . . 126
10.6. . . . 129
11.
11.1. . . . . . .
11.2.
11.3. . . . . .
11.4. . . . . . . . . . . . . .
11.5.
11.6. . . . . . . .
11.7. . . . . . . . . . . .
11.8. .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

132
132
133
134
136
138
140
144
146

150

152

157



, - . (
.)
( ) 1930- , .
1940- , ,
. 1936
, ,
,
.
(,
, ) . . ,
, 1944 ,
[]
, .
, : ,
,
,
( ).

.

, . , ( , , ,
).
,

. ,
( ),
. 150 .
, , , ( ), ,
, .
.
. (
).
- . . ; ( ) -
- .

Ecole
Normale Superieure de Lyon () .

, . . , . (, )
. ;
(
LH).
( ver at mccme dot ru, nikolay dot vereshchagin at gmail
dot com; sasha dot shen at gmail dot com, alexander dot shen at lirmm
dot fr; : , 119002, .,
11, ).
, ,
( . . , ),
.
. . , .

1. ,

1.1.
f , , ,
A,
f (n) n, A n f (n);
f (n) , A
n.
:
1.
( ). ,
( A ,
).
2. , :
f (n) , A , , .
( , , , ).
3. , ( {0, 1}),
, , , .
, ,
,
.
, , .
, ,
. , , , ( )
, sign(x), 1, 0 1
x < 0, x = 0 x > 0 . ,

[. 2]


. .
4.
. ( ?)
,
, . ,
, .
:
, f
g : N N. ,
f A, B g, f : A n,
B , A; A n,
B () 0. ( ?)

1.2.
X ,
, n , X.
, X ,
(n) = (if n X then 1 else 0 fi) .
, ,
. .
, . .
1. , , e ( ), .
2. ,
,
.

: , .
: n, n , . ,
,
. .
, n ,
n .

10

[. 1]

3. - ?
, n n
( -)?

? , (
) ,
. .

1.3.
,
, , ( )
.
; ,

( ).

. :
1) ,
.
2) , .
3) X , ( ) , 0 X
X, .
, .
X A. ,
X . , : n,
A, , n. , 0
.
, X () f , B. X A:

[. 3]

11

B 0, 1, 2, . . . ,
B ( 0
1; 0, 1, 2, 0, 1, 2, 3 ). , B
, .
,
1 3. A , B ,
, ,
f . , .
, , : X , A.
X
(
x, A x,
b(x) =
.
, A,
A .
:
, , ( , ).
, X,
A, . - x0 .
a: n- A t, a(n) = t;
, a(n) = x0 . ( ,

.)
, A, ,
.
1.
.
 X Y A B, ,

12

[. 1]

A B , A B.
A B
; . 
4. , - .

, .
5. (, )

n :=
(, , n := 0 1, ). (
) -,
, . , ,
( ).
6. , A N B N ,
A B N N .

1.4.
2. . A (
) , A .
 A
, A :
0, 1, 2, . . .
, A ( , A).
: , A,
, A,
n A
, n ( , ). ,
, , n A. 
.
,
. , :

[. 5]

13

3. P
,
Q . ( ,
: x P y(hx, yi Q).)
 ( ),
.
, P , A, Q, hx, ni, x n
A. ( , , .) 

1.5.
,
(, ). :
4. f ,
F = {hx, yi | f (x) y}
.
 f . , , x,
f . x
f (x), , F .
, , F , f : n, F , n;
, . 
f
. A f
f (n), n A f (n) .
A f n,
f (n) A.
5. .
 , A f : f ,
N A

14

[. 1]

. , . 
7. F . . f ,
x, y, hx, yi F ,
f (x) y. (
.)
8. X Y . , X 0 X
Y 0 Y , X 0 Y 0 = X Y .
9. , P (x1 , . . . , xn ) =
= 0, P . , , , .
( : . . , 10- .)
10. , , n, xn + y n = z n
, . ( ,
1 2.)
11. , {a(0), a(1), a(2), . . . }, a ,
. (:
.)
12. , . (:
.)
13. , f
, f
: g f ,
f (g(f (x))) = f (x) x, f (x) .
14. ,
a, > 0 , . . | a()| 6
> 0. ( ,
.)
() , ,
, , .
() , , ( )
.
() , ,
, -

[. 5]

15

( , N -N - .)
() , , , . ,
.
() ,
.
() , , , . ( .) , ,
.
() ,
, .

.
25.
15. , X :
(1) X A \ B, A , B ;
(2) X A \ B, A B
;
(3) X .
16. , X A \ (B \ C),
A B C ,
( 2)
.

2.
2.1.
, . .
, U
,
n
Un : x 7 U (n, x)
( U n)
( )
Un . (, U ,
.)

( ): , U
, Un
. ,
( ).
:
6. ,
.
 , , p0 , p1 , . . . (,
). U (i, x) i- x. U . Ui , pi . ,
U ,
(
, ). 
17. Un U .
, U ?
18. ()
,

[. 2]

17

, .

: W N N
,
Wn = {x | hn, xi W }
W
.
7. ,
.
 U .
,

Un . 
19. , , Un ?
20. ,
?

2.2.

.

? , .
8. ,
.


. U . u(n) = U (n, n). , n u
Un , d(n) = u(n) + 1 Un .
, d(n)
Un , U . 

18

[. 2]

( )? ,
d(n) = U (n, n) + 1 Un (n) =
= U (n, n), .
, .
9. d (
), f : f n, f (n) = d(n) (
, f (n) d(n) , ).
 :
d(n) = U (n, n) ( U ,
).
f Un n
f (n) = Un (n) = U (n, n) = d(n). 
10. , .
 , , d0 (n) = d(n) + 1, d
. , d ( , d
, d0 d d0 d; , d ,
d). 
21. , d
.

2.3.
.
11. .
(: .)
 f (x), . F . , F (
). F ,
(
f (x), x F ,
g(x) =
0, x
/F

[. 3]

19

f ( g(x) , x F ,
, f (x)). 
,
. ,
n, U (n, n) . U , n, n-
n. , ( ) .
, ,
U
. ( ,
.)
, , (,
) . (
, .)
22. U , .
, K = {x | hx, xi U }
.
23. S .
S D , . ,
D ?
24. U N N . ,
U ,
V = {hx, yi | (hx, yi U ) (hx, zi
/ U z < y)}
? , V ,
U ?
25. , , P
, . 14. (.

2k k - P .
, P .)

20

[. 2]

35 68.
26. , ,
,
. . 15 16. (. ,
, .)

2.4.
:
12. ,
0 1 .
 d0 (x) = d(x) + 1
(
00

d (x) =

1, d(x) = 0,
0, d(x) > 0

( , d00 (x) , d(x) ).


d00
- d . 
. , X Y C, C
.
13.
X Y ,
.
 , d ,
0 1 . X = {x | d(x) = 1} Y = {x | d(x) = 0}.
, X Y . C; , C X
c Y ( , ). C ( 1 C
0 ) d. 

[. 5]

21

, ( ,
).
27.
U (n, x)?
28. , , .
29. ( );
; , x0 x1 x,
.
, .
,
( , ); . ,
:
, . (.
, ,
. ,
, .)

2.5. :

. ( . ).
, , . , . (, .)
14. .
 , S . , S
. ,
V -
S ( V ). , S .

22

[. 2]

,
(, i ,
2i).
. W
, Wi . Wi i (
). T = {hi, xi | (x Wi ) (x > 2i)}. ( W
{hi, xi | x > 2i}). , , . T 0 T .
S , T 0 .
. , Wi , , 2i, T (, , T 0 )
i. T 0 S,
Wi .
, S ,
0 2n 1 n
S ( , S c n
2n). 
30. , ,
, .
31. , ,
(
) . ,
.

3.
3.1.
, .
,

.
, ,
return (f(g(x))).
(
), .
. , U

: n Un : x 7 U (n, x).
( , ) F : N F, F.
(n) = f , n f .
, (
).
:
( ) ,
.
, , , . (
.) : ,
, , ().
U
( k-
k ). , V s(m),
V (m, x) = U (s(m), x)

24

[. 3]

m x ( , , ,
, ).
, Vm = Us(m) , s V - U - .
U V (U (p, x) p
x . .), , V s,
V - m U - s(m).
15. .
 ( .) ,
6 (. 16)
. , p0 , p1 , p2 , . . . - U (n, x) pn x.
- V . m Vm ,
, , V
m. , (
) V
( V ,
V ).
( .)
, .
, , , T , Tn (u, v) = T (n, u, v) .
. , hu, vi [u, v] N N N; [u, v], hu, vi, .
R
, T ,
T (n, u, v) = R(n, [u, v]),

[. 1]

25

. , F
.
f , f ([u, v]) = F (u, v). R , n,
R(n, x) = f (x) x. n T (n, u, v) = R(n, [u, v]) = f ([u, v]) = F (u, v), n-
T F . ,
.

U . ,
U ,
U . , U ([n, u], v) =
= T (n, u, v) , U . V
T : n, V (u, v) = T (n, u, v) u
v. V (u, v) = U ([n, u], v) u v s,
s(u) = [n, u],
. 
, , , .
, .
16. U . c, p q
c(p, q) :
Uc(p,q) Up Uq ,
U (c(p, q), x) = U (p, U (q, x))
p, q x.
 V ,
V ([p, q], x) = U (p, U (q, x)).
, s, V (m, x) = U (s(m), x) m x.
V ([p, q], x) = U (s([p, q]), x) c, c(p, q) = s([p, q]), . 
. , , V , s

26

[. 3]

U . ( m U -
Um .)
, hp, qi
U - p q. , U -,
.
, 16 :
32. U
. , p q - ,
U . (: , k U - x 7 [k, x].)

: , ? ,
.
33.
s V ( , ). , . (: ,
.)
34. U . ,
V (m, n, x) s(m, n), V (m, n, x) = U (s(m, n), x)
m, n x. (: m n .)

3.2.

f0 , f1 , . . .
.
i 7 fi .
:
,
F , F (i, n) =
= fi (n), .

[. 3]

27

, c0 , c1 , . . . ,
ci fi .
( )
.
17. ( ),
.
, .
(,
, ,
, .)
 U , i 7 ci , F : hi, xi 7 fi (x) = U (ci , x)

.
, F , U , -,
, i
fi . 
35.
. . 14:
, > 0 - .
() , , ()
.
() , , ,
.
() 14,
. ,
,
,
.

3.3.
, W N N

28

[. 3]

( N),
V N N
s : N N,
hn, xi V hs(n), xi W
n x. (, .)
, . U N N : n n-
Un = {x | hn, xi U }. N N

; . W N N ,
W -; , V ( )
W - , Vn = Ws(n)
s n.
18.
W N N.
 :
.
N.
. U , W . V N N . G
V . U ,
s : N N,
Gn = Us(n) n.
Gn Us(n) , Vn = Ws(n) . 
36. , N3 ( ).

, , . :

[. 3]

29

19. W NN . W -
:
s,

Ws(m,n) = Wm Wn
m n.
 V N N, :
h[m, n], xi V x (Wm Wn )
( )
. 
,
: V0 , V1 , . . . V , , i
i- . ( ).
37. , n (
) {n} .

4.
4.1.
.
- .
? , ?
, , , . ,
, , , :
. -- ,
( ).
,
.
20. U
. n, Un , .
 , ,
, . (, ,
.)
K . V :
(
0, n K,
V (n, x) =
, n
/ K.
, , K
. , : n K Vn , n
/K
.
U ,
s, V (n, x) = U (s(n), x)
n x, . . Vn = Us(n) . n K s(n)
U - , n
/ K s(n)

[. 1]

31

U - .
U - ,
s(n) , n K
. , K . 
, ,
( ).
, ,
, . ,
. ( , : U (n, x) n x,
n, x, U (n, x) .) ,
( , . 12).
, . ( ) F.
21. A F ( ,
, , , , A F).
U . , U - ,
A. , {n | Un
A} .
 ,
( ) A,
( A,
/ A ).
,
:
(
(x), n K,
V (n, x) =
, n
/ K.
, V ( n x
n K, (x)).

32

[. 4]

n K Vn , n
/ K . , Vn A (
), , n K . 
( A , ). . , A U -,
P Q . - ,
A.

(x), n P ,
V (n, x) = (x), n Q,

, n
/ P Q.
: n x , n P , Q, (x) (x).
n P , Vn ; n Q, Vn
. , , Vn A,
P Q. ,
.
,
: U
U -
. (, ,
.)
, . ,
. . U (n, x) . D U - . ,
. d, : D = {d(0), d(1), . . . }.
V (i, x), V (0, x) x,
V (i + 1, x) = U (d(i), x). , V0 -

[. 2]

33

F (i, j)

. 1.
, Vi+1 Ud(i) . , V ; ,
V - 0.
:
,
,
. ; , . : ,
.
( ,
).

4.2.
22. U , , Un : x 7 U (n, x) .

( ) : i
j F (i, j), . . 1. ,
.
, :
, . , (

34

[. 4]

. 2. F - U -.
; ) .
F , i- Fi : x 7 F (i, x).
: , ,
.
: , - F ,
, U .
(. 2). , U -
F - U - .
: F - ( ,
, ), U -. ; .
( ), (1) F - U -, (2)
() U - .
: .1
, , F - - (
U -). , F
1 ,
, .

[. 2]

35

. ( ) ,
.
. : ( )
, ,
, .
. ( ,
U -) .
( ). ( ) : (1) F - U -, (2)
U - . (
U -
F -, .)
: F - , , ( )
U -.
, , : , n- n
F -.
U -, .
() ,
(U -)
( ,

).
:
F - U -,
( ) . :
( )
F -, ( ) ,
;
( ) F -,
, U - .

36

[. 4]

? ,
, ( 1). m.
m ( k) . k, m
, . ,
k .
, . k- F - . m, k-
m .
(, , m ,
m k .) ,
:
m k- , .
, ,
. m . , k-
m . , k-
. .
. . .
,
U - . , ,
.
, . .
,
U - . F -
, ,
F - -

[. 3]

37

( ,
).
,
- ,
U -. ,
U -. ;
U - , .
, , , F - U - .
U - ( ), . 
38. 22
.


( ) .

4.3.
,
. :
. , , :
23. U .
g
: i g(i, 0), g(i, 1), . . . U - Ui .
 : ,
Ui .
, , U , U - . , , ,
: ,
. (, ,
,

38

[. 4]

,
.)
. h . , , U - h. ( ,
h, Ui , ,
i, .)
P .

(
V (n, x) =

h(x), n P ,
, n
/ P.

Vn : n P , Vn = h;
n
/ P , Vn ,
. , h 6= ( h =
).
U ,
s, V - U -.
n P Us(n) = Vn = h;
n
/ P Us(n) = Vn = .
, p(0), p(1), . . .
P , s(p(0)), s(p(1)), . . . U -
h. , ( ,
, , h).
, X = {s(n) | n P } .
X . n P , s(n) X ; n
/ P,
s(n) X
(, h 6= ). , n P s(n)
X, X P ,
.
, , , h
. s(p(0)), s(p(1)), . . . - h, , .

[. 3]

39

, (, ). P Q

h(x), n P ,
V (n, x) = (x), n Q,

, n
/ P Q.
s , V - U -.
n P Us(n) = h;
n Q Us(n) = ;
n
/ P Q Us(n) = .
, s(p(0)), s(p(1)), . . . h. , h 6= , X ( ). , X ,
P Q . , {n | s(n) X} P ( )
Q ( n Q s(n)
X).
, , h. ( ), h -
; h.
h ,
. ? ,
,
, , .
i. , .
V1 V2 ,
(
U (i, x), n P ,
V1 ([i, n], x) =
, n
/ P,

U (i, x), n P ,
V2 ([i, n], x) = 0, n Q,

, n
/ P Q

40

[. 4]

(P Q ,
[u, v] hu, vi ). U , s1 s2 ,
V1 ([i, n], x) = U (s1 ([i, n]), x) V2 ([i, n], x) = U (s2 ([i, n]), x).
p ,
P = {p(0), p(1), . . . }. g :
g(i, k) k- ( )
s1 ([i, p(0)]), s2 ([i, p(0)]), s1 ([i, p(1)]),
s2 ([i, p(1)]), s1 ([i, p(2)]), s2 ([i, p(2)]), . . . 

4.4.


() . :
24. U1 U2 .
s12 s21 ,
U1 (n, x) = U2 (s12 (n), x)

U2 (n, x) = U1 (s21 (n), x)

n x.
, , , ,
. (,
23 . ,
, ,
,
,
.)
 ,
.
. k-
a1 b1 , a2 b2 , . . . , ak bk

[. 4]

41

k- . i ai bi
, (ai U1 , bi U2 ).
ak bk
. . , ,
.
, ?
u, ( ai ). U1 -
. U2 ,
U2 - . v.
v bi , :
u v . ,
23 U2 -
, , bi .
, , bi . 
(
): , , ,
, . (, , ,
.)
: (
). : ,

.
, , .
39. .

42

[. 4]

4.5.
( 21), () .
( ,
, , ). , - (. ). : f (19) 98.
.
, .
, . , h, i
( ). ( ,
. .). , . .
t , (t) () , t. ( ,
(t) .) , t
U
(t) . ,
Un (x) n x; , Un (t), n. ( Un (t),
,
t .)
T . (T ) , T , (t)
t T . :
25. () T
, U . U - (T ) . () U
(
). G .
{n | Un G} U - G
, G = (T )

[. 5]

43

T .
, -
( , ,
).
 () :
U (n, x) T ;
, - Un
- T , n.
(), ,
. .
1. h
g, G, h
G.
2. g G,
h (),
G, g .
( . , G .)
, .
, T , G,
. , (. . h, i)
U -, U . (: ht, xi 7 ( t x) .) T U - G.
1 2 , G = (T ). , 1
(T ) G,
G. , 2 ,
g G , G
( T ) g (T ).
1 2. , 1, g G, h . K

44

[. 4]

:
(
h(x), n K,
V (n, x) =
g(x), n
/ K.
. , , , g, N,
h, K. , V (n, x), K, ( ) g(x) h(x). , g(x) ( ,
n K, h g)
h(x) n K.
U , s :
n K Us(n) = h Us(n)
/ G;
n
/ K Us(n) = g Us(n) G.
K
G s
( 5) . 1.
2 . ( ) g G,
.

g(x), x K
n ,
V (n, x) =

, .
, n
/ K Vn g,
G, n K Vn
g G.
1. 

5.
5.1.
26. U , h . n, Un = Uh(n) , n
h(n) .
, , , ( ). .

, ( 2).
(
x y) .
,
:
f g, - ( , f (x) x,
g(x) f (x)).
h,
- ( , n 6 h(n) n).
x y (x = y),
(, , h(n) = n+1),
. , x y Ux = Uy ( x y ).
, ,
.
? f
.
V : V (n, x) = U (f (n), x). U , s, V (n, x) = U (s(n), x) n x.

46

[. 5]

-. ,
f (n) , s(n) ,
f (n). (, f (n) , s(n)
.)

, . , 10 ( 2.2), .
f , (, x 7 U (x, x) U ). - g f . t(x) =
= h(g(x)), h , - . t f .
, f (x) , f (x) g(x) 6 h(g(x)) = t(x),
f (x) 6= t(x). f (x) ,
f (x) t(x). 
:
27. U (n, x)
.
V (n, x) . U V
: p, Up = Vp ,
U (p, n) = V (p, n) n.
 U ,
h, V (n, x) = U (h(n), x)
n x. p h. 
( : , , ,
, . , ,

, !)

, . U (n, x) [n](x) n x;
U (x, x), [x](x) (

[. 2]

47

x ). -. . [[x](x)](y)
. , U
, g,
[[g](x)](y) = [[x](x)](y) x y. [g](x)
x. h. [h]([g](x)).
x, t,
[t](x) = [h]([g](x)) x.
x, h g.
[g](t). , ,
[[g](t)](x) = [[h]([g](t))](x) x. , g
[[g](t)](x) = [[t](t)](x). t, [[h]([g](t))](x) .

5.2. ,

: , ( ) . ,
,
p 7 (, p)
.
, :
28. U (n, x)
.
p, U (p, x) = p x.
: U (p, x) - p x. (:
(1) ; (2) , ,
, - .) ,
U .
;
p, p.
, ; , , .
40. , -,
.

48

[. 5]

41. , - P Q : P Q, Q P . (
P Q, P Q , .)

, .
( .) :
, , : , , :
- , , :
. :
program selfprint;
var a:array[1..100]of string;i:integer;
begin
a[1]:=program selfprint;;
a[2]:= var a:array[1..100]of string;i:integer;;
a[3]:=begin;
a[4]:=for i:=1 to 3 do writeln(a[i]);;
a[5]:=for i:=1 to 11 do begin;
a[6]:= write(chr(97),chr(91),i);;
a[7]:= write(chr(93),chr(58),chr(61));;
a[8]:= writeln(chr(39),a[i],chr(39),chr(59));;
a[9]:=end;;
a[10]:=for i:=4 to 11 do writeln(a[i]);;
a[11]:=end.;
for i:=1 to 3 do writeln(a[i]);
for i:=1 to 11 do begin
write(chr(97),chr(91),i);
write(chr(93),chr(58),chr(61));
writeln(chr(39),a[i],chr(39),chr(59));
end;
for i:=4 to 11 do writeln(a[i]);
end.
,
:
a
97

[
91

]
93

:
58

=
61

39

;
59

[. 3]

49

, , , , write
writeln, , ,
( ), ,
.
, . h -, . ,
p, h p, q,
q ( q
). ,
, (
, ) ,
.
, h, , h ,
.
, .

5.3. :
, , ,
, :
10 LIST
, LIST,
.1
, .
(, ).
1 - , , , .

50

[. 5]

, - . , -

, .
(
).
,

GetProgramText (var s: string)
s.
,
, , , . ,
ExecuteProgram (s: string)
() ,
s,
( , s ).
, :
s .
, , ( ) ( ). . h
, .
:
function Compute_h (x: string) : string;
begin
...
end;
( .)
, h:

[. 3]

51

program fixed_point;
var s: string;
function Compute_h (x:string) : string;
begin
...
end;
begin
GetProgramText (s);
s := Compute_h (s);
ExecuteProgram (s);
end.

, h,
.
42. h , h(x) = x. (, , .)
? (: , .)

, . ,
.
, p, GetProgramText(s). s := t, t .
, t. p(t). , t,
t p(t) . t t , GetProgramText(s) s t .
, . ,
, .
: , ! ,
. (,

52

[. 5]


, .)

5.4.

26 ( ) . ,
: n, Un = Uh(n) .
, , : , h
, . , ( h
,
). , 26. [g](t),
g ,
( 23, . 37).
43. .


,
.
:
29. U
, h .
n , p hp ,
Uh(p,n(p)) = Un(p) , , ,
U (h(p, n(p)), x) = U (n(p), x)
p x ( ,
).
 , .
hp , p,
p.

[. 4]

53

, , , (
). 
, hp . :
hp ( , h )
n : p
hp n(p), n(p) hp .
44. , 29 n(p) .
45. , ,
h ( )
, h, , .


( W ,
h n, Wn = Wh(n) ).
, W
,
a b Wa = Wb
26,
f -.
.
V = {hp, xi | f (p) hf (p), xi W }.
, (,
hp, xi 7 w(f (p), x),
w W ).
Vp = Wf (p) , f (p) , Vp = , f (p)
. , W

54

[. 5]

, s, Vp = Ws(p) . , Ws(p) = Wf (p) p,


f (p) , .
46. W ( ). () , x, Wx = {x}. () ,
x y, Wx = {y} Wy = {x}.


( )
21 . ,
A ,
U .
p - - Up , , q - - Uq , .
(
q, Ux A,
h(x) =
p, Ux A
.

U1 U2 .
, () i : N N :
hx, yi U1 hi(x), i(y)i U2 .
30.

.

(. 4.4). , .
:
hx, yi U1 hi(x), yi U2 .

[. 4]

55

, : U N2
, i : N N , hx, yi, hx, i(y)i U ,
.

: i
i0 ,
hx, yi U1 hi0 (x), i(y)i U2 .
i0 i, i .
. , , .
, i0 ( )
i.
, , , i .

,
i - i0 ; .
. . I : N N .
, A I- B,
B A I, A B
. ( I , .)
U1 U2
, I : N N . i0 : N N, k k U1 I- i0 (k)
U2 .
, , i0
I. I, i0 = I,
. 

56

[. 5]

47. .


.
31. F1 , F2 : N N
. i,
F1 (x, y) = z F2 (i(x), i(y)) = i(z)
x, y z.
48. ,
(. 40, 24).
49. , ( )
p0 , p1 , p2 , . . . : pi pi+1 . (: .)

6. m-

6.1. m-
: X (, - ), ,
, K . f ,
n K
f (n) X.
.
, A m- B , f : N N :
x A f (x) B
x N. m- A B. : A 6m B.
32. () A 6m B B , A .
() A 6m B B , A . () : A 6m A; A 6m B B 6m C,
A 6m C. () A 6m B, N \ A 6m N \ B.
 . A 6m B B. ,
x A, f (x) ,
f (x) B. , a(x) = b(f (x)), a A, b
B; b , a
.
, B A. : A
B f , .
m- A A. f A B, g B C, x A f (x) B
g(f (x)) C, g f A C.

58

m-

[. 6]

, , A B, A B. 
m
many-one-reducibility; , M.
, mapping reducibility ( ),
m .
, , :
A 6m N \ A, A 6m A.
50. , A 66m N \ A A.

, N
m-. , A
B, B N. , p B, q
/ B A , : f (x) = if x A then p else q .
B N, ( N) B.
51. , m- ?

6.2. m-
33. m-, ,
m- .
 (
). U N N
, . V
, U ( - hx, yi [x, y] N). ,
V = {[x, y] | hx, yi U }.
T . T = Un
n
x T x Un hn, xi U [n, x] V.
, x 7 [n, x] T V . 

[. 3]

m-

59

m- m- (, m- ).
, K 6m A K A
K m-, A m- (
).
, m-:
34. U NN
. D = {x | hx, xi U } m-.
( , m-.)
 , D . K . V =
= K N. Vn ( n
/ K), N ( n K).
U ,
s, Vn = Us(n) . ,
Us(n) N n K n
/ K. , s(n) Us(n) ( s(n) D) n K s(n)
/ Us(n) (
s(n)
/ D) n
/ K. , s K D. 
52. , ,
0, m-. , ,
, m-.
53. M m- . , , h n, (n M ) (h(n) M ). (:

.)

6.3. m-
, , . . ?
, n
n. :
, ,
n n .

60

m-

[. 6]

54. , A
, (. . , , . c. 21).


. , A ?
(), A
. A , , A.
,
W (
: n Wn ). ,
A , f , f (z)
A 4 Wz z. ( 4 ;
, f (z) , A Wz .)
, :
.
m-.
.
35. A 6m B A ,
B .
 32,
(). .
, B X. f , m- A B. f 1 (X) X , m, A. B X
f (m).
, , f 1 (X) X.
,
, , ( 16). V = {hx, yi | hx, f (y)i W } (
, -

[. 3]

m-

61

W hx, yi 7 hx, f (y)i).


, Vn = f 1 (Wn ). W
, s, Ws(n) = Vn = f 1 (Wn ) n.
, s W -
W - f ,
. 
36.
.
 D = {n | hn, ni
W }. .
, Wn D n,
Wn D . , D , f
. 
:
37. m- .
. , :
38. K , A
. N \ K 6m A ( K 6m N \ A).
 A
. A
A;
A. . , V = K N. Vn
( n
/ K),
( n K). , W ,
s, Ws(n) =
= n
/ K Ws(n) = N n K. f ,
A. f (s(n)) A n
/ K f (s(n))
/ A n K.
, f s N \ K A,
. 
:
39. m-
, .

62

m-

[. 6]

40. , m- (:
) m- .
,
. , , :
41. (. .
).
 , A .
. , .
,
.
:
, ,
(, )
. ? . n-
Dn . Dn n- ( )
D = {hn, xi | x Dn }.
. 
, , , ( 14), , m-. :
, m-.

6.4. m-
, m- .
42. A B m- .
(
) f : N N, A B,
x A f (x) B x.

[. 4]

m-

63

 ,

(. . 40). , :
. A m- . n
, A n.
. ,
, A
, .
, x A, x
/ A. , , (
).
. P . A P . A, A m-.
(- , , , ,
.) , f
:
f (n, m) A (n A) (m P ).
, m P n f (n, m) A. , P p(0), p(1), . . . , f (n, p(0)), f (n, p(1)), . . . , A n.
n A. , X ( A) . , f (n, m) X m P ( X)
f (n, m)
/ X m
/ P ( f (n, m)
/ A,
X A). , m 7 f (n, m) P X, X
.
,
n
/ A. P Q.
(A P ) (N Q).
f A. , f (n, m) A

64

m-

[. 6]

, (n A m P ) m Q. ,
m P n f (n, m) A, f (n, p(0)), f (n, p(1)), . . . ; , ( n
/ A)
.
X . X A. ,
f (n, m) X m P ( ) f (n, m)
/ X m Q
( hn, mi
f (n, m) A). ,
X m 7 f (n, m) P Q.
(X , ,
). ,
P Q .
, , A .
, . .
A B m- .
, . . k-

a1 b1 , a2 b2 , . . . , ak bk ,
ai A bi B i.
, .
m- A B, .
,
. , .
,
A B. 
, , . ,
m- (,
, ).

[. 5]

65

6.5.

( ) :
A , () A.
( n Wn ). ,
A ,
( ) f :
n Wn A :
Wn A f (n) A \ Wn .
55. , .

,
, . , .
43. A , K . K m- A.
( , A ,
. .)
 f (
).
s :
x
/ K Ws(x) = ;
x K Ws(x) = {f (s(x))}.
( , f (s(x)) x K).
,
, f (s(x)) A:
s(x) A, f (s(x)) A. , f (s(x)) A. , f (s(x))
A, Ws(x) A,

66

m-

[. 6]

f (s(x)) A, .
s, x 7 f (s(x)) m- K A, . ?
( x K) f (s(x)), ,
, f (x), . ,

V = {hx, yi | x K y = f (x)};

, .
, f (s(x)), : , V s(x), s(x) V .

.
h :
x
/ K Wh(x,t) = ;
x K Wh(x,t) = {f (t)}.
( . , f (t) ,
{f (t)} .) ( ) x t 7
7 h(x, t) , ,
, x. ,
s,
Ws(x) = Wh(x,s(x))
x. :
(
, x
/ K,
Ws(x) = Wh(x,s(x)) =
{f (s(x))}, x K,
. , f (s(x))
x ( Ws(x) = , f (s(x)) ).

[. 5]

67

,
. 
, ,
(creative;
). : (,
) ,
: - , ,
.
, ,
m- ,
( ).
,
.
. (. . , ),
. . ,
. .

. ( , ,

.)
, :
( ),
( , ).
, ,
( +1)- , , ( 2)- , ( 3)-,. . . , 2 - . .
, , ,
( ) , .
56. ( 43), , A
f , Wn A
f (n) A \ Wn . (: Wn ,
42.)

68

m-

[. 6]

6.6.
, . m-, , m- .
A B (
). , , , .
: Wx Wy , A B , Wx Wy
. (
Wx Wy , , W
.)
,
. , A B ,
h : A Wx , B Wy Wx Wy = ,
h(x, y) h(x, y)
/ Wx Wy .
-
: n , , A ,
B . ( ,
.) : A B , h,
n h(n), n
. : n (h(n)) , h(n) A, n (h(n)) , h(n) B,
n (h(n)) .
57. ,
( ).

,
, .

? , , {x | x (x) = 1}

[. 6]

69

{x | x (x) = 0}, h
.
58. .

( ),
m- .
. hA, Bi hC, Di (A B, C D).
, f m- hA, Bi hC, Di, f (A) C f (B) D.
59. () , f hA, Bi hC, Di C
D , A B . () , f hA, Bi hC, Di hA, Bi
, hC, Di . () , f hA, Bi hC, Di hA, Bi
, hC, Di .

, , x
/ A B f (x)
/ C D ( , f A C B D).
, f hA, Bi
hC, Di.
m- m-
, m- ( m-)
.
60. , , m-. (. hA, Bi , hK, Li . x x : x K, x
, A; x L, x
,
B; x
/ K L, x A B.
, K L; x , x
ha, 0i hb, 1i; x , .
A B.)
61. , m-
. (: .)

70

m-

[. 6]

m-, m- .
, . 43 , m-. , , .
62. hA, Bi
. , m-.
(. K L . h ( A B).
x(n) y(n)
: (1) n K, Wx(n) = A Wy(n) = B {h(x(n), y(n))};
(2) n L, Wx(n) = A {h(x(n), y(n))} Wy(n) = B; (3)
n
/ K L, Wx(n) = A, Wy(n) = B. , n K
h(x(n), y(n)) A, n L h(x(n), y(n)) B, n
/ K L
h(x(n), y(n)) A B.)

, .
,
,
,
.
, A B.
hA, Bi-
: A, B
A B. ( ,
A, B .)
63. hA, Bi m- . , k ,
hA, Bi- k. (: 23 42.)
64. hA1 , B1 i hA2 , B2 i m- . : () i : N
N, i(A1 ) = A2 i(B1 ) = B2 . (:
24 42.)

7.
7.1.
B m- A,
B . , A ,
A, A,
B. ,
f ,
x B, ,
f (x) A.
, m- : -,
, -, x B.
, :
A, B = N \ A. - ,
. : A,
B = AA. (
.)

B A.
: B
A, , B
, , A.
: ,
a(x:integer):boolean ( ); B, a(x)
A.
,
T -. : B 6T A , B
A. T -:
44. () B 6m A, B 6T A. () A 6T N \ A
A. () A 6T B B 6T C, A 6T C. () A 6T B
B , A .
 , ,

72

[. 7]

(). A,
B,
B, C. B-
A,
C. 
, ( m-) T - . , K
K.
A, , A.
f . , , f (x) , x
f (x), f (x) ,
. (, , , ,
.) , () f A.

( ).
. : N N . ,
; . :
45. f , , ,
{hn, (n)i | n N}.
 , ,
. , ,
(x) x,
hx, 0i, hx, 1i, . . . , . 
, , . :

( ) . , (x), , x.

[. 2]

73

, ?
- - , (x)? ?
, f (x),
(
f (x) =

0, (2x) (2x + 1) ,

? ,
, ( ) , ,
. ,
, ,
.
65. X Y .
, X Y , , . ,
, Z, X-Y - Z-.

7.2. :


, .

, . h, i;
,
,
. .
, - ,
, .
M hx, y, ti, x y
, t . , hx1 , y1 , t1 i hx2 , y2 , t2 i , x1 = x2 ,

74

[. 7]

y1 6= y2 , t1 t2 . M
, .
M , .
M hx, y, ti, t ( t ).
, ( ) , ,
. , ,
( , ).
M [].
46. f : N N : N N ,
M ,
f = M [].
 p, f
. n n , (n) . n
.
.
, x y (
), hx, y, ti, t , ,
.
, M ,
(
). . , x hx, y1 , t1 i hx, y2 , t2 i y1 6= y2 ,
x. -
, . t1 t2 ,
. , M .
. p. p f . , f = M []. , f (x) = y,
p x y. -

[. 3]

75

. t ,
. t . , hx, y, ti M .
, M [](x) y.
, M [](x) = y, hx, y, ti M ,
t . . t , p ,
,
y.
, p M , , p,
.
, ,
M , p. ( ,
) M []. p : x, M
, x. hx, y, ti, (
) , t . , y, ,
M .
, p M []. 
66. , : M ,
, M 0 . M 0 M ?

7.3.
.
, ,
,
, (
-). , .
, ( -) : - ,

76

[. 7]

- , - ( ) . .
- .
E e hx, ti, x ,
t . .
E ,
; ,
E[[]].
47. X -
, X = E[[]] E. (, .)
 X
f . f = M [] M . M ; E.
, E[[]] M [] =
= f , E[[]] = X.
, X = E[[]] .
M , , E
0. , M
M [] , X = E[[]]
. 
() ,
. :
48. .
,
.
 , . - ( )
, .

U (i, x) = ( i- x).
, , U . ,

[. 3]

77

(, , ).
, .
Z
hn, x, y, ti, n, x y , t . , , n Zn
.
, .
, . ,
Z 0 : (1) Z 0 ; (2) Zn n , (Zn0 = Zn ).
: Z, ( Z 0 ) , . , Z 0 ,
.
W , - . , hhn, xi, y, ti
( , ) W , hn, x, y, ti Z 0 . , W .
- U ; n-
Zn0 [], Zn0 n- Z 0 . U - ,
. 
, , : -
- ,
-, -
- V - s
(), V (n, x) = U (s(n), x)
n x.
(. 24, 15) , - . , , -

78

[. 7]

(. ) s -,
( s
x 7 [n, x], , n ).
, - ,
. ( )
.
, . A - . , , A ; x,
, A , ,
.
A,
(
) . , ,
B-, A-B- (
A B).
, .

7.4. 00 -

m- .
m- , T - .
-
, .
00 -.
, {hp, xi | p
x} m- , , 00 -
, , : ,
,
. (
, .)

[. 4]

00 -

79

, 00 -, m- . (, , 00 -, .)
00 - :
49. () T .
,
t : x 7 lim T (x, n).
n

( ,
x .) t
00 -. () 00 - t

T .
 (a) T
. hx, ni , T (x, n) = T (x, m)
x m > n. , ( hx, ni hx, mi n < m
T (x, n) 6= T (x, m), hx, ni
). 00 -. , 00 - , .
00 - t. x, hx, 0i, hx, 1i, . . . ,
. hx, ni ,
T (x, n) . , 00 - t.
() . t
00 - . ( )
T ,
t(x) = lim T (x, n)
n

x ( ).
,
T , . lim T (x, n) = a
n

80

[. 7]

, n T (x, n) a (, , ?).
: , ,
( ), ( -
).
T . t p, K. Kn K,
, n K. T (x, n), n
p, K
Kn . n p
( , Kn K,
t x ), T (x, n) = ?.
n , T (x, n) ( , ).
, t(x) = lim T (x, n). t(x)
n

a. p ( K) a.
.
n Kn
K. n , (
p), ,
n
n T (x, n) a.
, a,
t(x) = a. , .
K p .
, n
, Kn K, .
,
T . , , T (x, n)
T (x, n 1) ( ), T (x, n) = ?.

[. 5]

81

,
n
, . ,
T (x, 0), T (x, 1), . . . , t(x) . ,
, . , n
. , , Kn K.
( ). 
67. T : T (x, 0), T (x, 1), . . . , m (
), m . limn T (x, n)
. , , m , . , m . . 15, 16, 26.

(-
difference hierarchy).
68. 14 (. 14) A. , 00 - ,
.
69. ,
( 29, . 21) ,
00 .
70. , 00
, , . 6.6. (. ,
. , , .
, , ,
.)

7.5.
(, A B, A B)
-

82

[. 7]

. ( A 6T B, A ,
B.)
,
. , , A, B 6T A
B? , , : A
( A- A- ) . (
, ,
A A-
.)
, : ? , ,
, .
50. A B, A 66T B
B 66T A. 00 -.
 A B :
, B-,
A, , A-, B.
, (
). ,
, .
A B , . ,
A B, . 00 -,
00 -.
.
, () 0 1.
, A a, A a.
, .
a2 a1 (

[. 5]

83

), ,
,
.
. a b , p , . a0
b0 : A
B, a0 b0 , p, B, A.
, , A B. A B , ,
B A.
(. , , a0 b0 a b .
, . ,
:
, .)
, A B .
( 00 - .)
A B ,
.
x, a, : B,
b,
p x -
. , ,
a0 = a, b0 = b.
B . p x B.
, B. b0 , B , ,
,
p. p
B, , b0 . , ,
, x a0 a0 (x)

84

[. 7]

. .
,
00 -, , a0 b0
00 -.
. , B, b, .
p. b
,
. ,
,
- .
, ( , ,
,
).
. 
,
00 - , . ( ) ( , ,
. 4.2)
; ,
, .

7.6. :
51. .

, .
, 1960- 1970-
, , .
 , ,
.
;
. .

[. 6]

85

hA, Bi . , hA0 , B 0 i hA, Bi, A A0 B B 0 .


,
; ()
.

hA+ , A , B + , B i, A+ A B + B . ,
, : A+ ,
A, A ,
A; B. , , hA, Bi hA+ , A , B + , B i, A+ A,
A A = , B + B, B B = . , u2
u1 , , u2 , u1 ( u2
u1 ).
(X, Y ) X, Y N.
() (). :
u0 e0 , u0 . . ( ,
,
.) u1 , e1 ,
u2 , e2 (
). :
( );
,
.
(
!).
( , ), .

86

[. 7]

, . , , , .
, , X Y (X, Y ),
. ( i- ei
hXi , Yi i, X Y
X0 X1 . . . Y0 Y1 . . .)
, ( ) ,
. . ,
p p
Y X . (
, .) , , p.
, , i ,
i, , .
: (, , . .).

7.7. :
, p, X Y .
? (
.)
,
.

X Y ( , ). ,
. ; ,
.
, ?

[. 7]

87

- x, X . x X,
x ,
- A . ( ,
Y , , B .)
?
, , x X. - , x X, x
A A+ , . (,
-
, .)
, x, , .
. n-
n p x. (,
p , X
Y .) ,
Y , Y ( , ). , n
- . , Y
,
( )
. p Y . ,
, x X (
, , , . ).
, p .
, .
. - , p x.
, p x
( ). ? ,

88

[. 7]

,
, .
( , p) .
, .
- , ( ,
).

7.8. :
,
1 , 2 , . . . ,
i, , .
,
, ( , . .).

. . , ,
, , . ( .) ,
. .
, -
? ,
,
, .
.
,
. ,
,
. , .
, ,

[. 9]

89

, . . .
, , ( ,
!).
( ) , , .
. 
71. , ,
.
72. , (A, B) (C, D) : X,
A B, Y , C D, : X 66T Y Y 66T X. (.
: A, B,
; C D. A B
C D, ,
A, B, ,
- , C
D. , C D, ,
A B.)

7.9.
6.6 m-
( m- ).
. , ,
, .
,
. . -

90

[. 7]

, . , ,
. ,
A, A. ,

, , .
, A
B,
:
B,
A. ( B, .
, B,
.) A, B
, . A, B ,
T - ,
. , m-
, T - .
73. (a) , . () ,
A, B C, D,
T -, m-, . (. ()
A , B
, C, D . () D = A C = B, ,
-m- .)

, . , , A T - , A

. , .
74. A C, D. A
.

[8].

8.
8.1. n n
, : A N , B N N, .
, ,
A(x)
,
A(x) yB(x, y),
B(x, y) .
( : x x, x x,
, , ,
. , .)
:
? ,
A(x) yzC(x, y, z),
C ? , - . , ,
(
): C 0 , C 0 (x, [y, z])
C(x, y, z), , A(x) wC 0 (x, w).
:
A(x) yB(x, y),
B(x, y) ? : ,
( , ). , ,
A(x) yB(x, y) y(B(x, y)),

92

[. 8]

.
. A n ,

A(x) y1 y2 y3 . . . B(x, y1 , y2 , . . . , yn )
( n )
B. n , ,
n .
, :
52. () n [n ] ,
,
[]
n.
() n n .

.
( ),
( ). 
; :
n . . . , n . (
) , Nn+1 .
53. n n .
n n .
 , , n ( n ).
: , ,
A(x) yzB(x, y, z),
C(x) uvD(x, u, v),

[. 2]

n n

93

A(x) C(x) yuzv[B(x, y, z) D(x, u, v)],



, .
n n n. 
n n ;
, . , , n , n ( ).
, ,
n n n+1 n+1 .
: n n n+1 n+1 .
54. n n
m-: A 6m B B n [B n ], A n [A
n ].
 , A B f , x A f (x) B.
B , , 3 ,
x B yzuR(x, y, z, u),
R .
x A f (x) B yzuR(f (x), y, z, u),
, R(f (x), y, z, u)
hx, y, z, ui). 
75. , A n , A A .
76. , A B n ,
A \ B n+1 n+1 .

8.2. n n
, n n n. , ,
( ) .

94

[. 8]

55. n n ,
n . (
n .)
n , , n , n .
 1 ( ) .

. ( ,
.)
2 yzR(x, y, z),
R . yP (x, y), P
. , 2 .
U (n, x, y), n
. T (n, x) = yU (n, x, y) n 2 - . ,
T 2 .
2 - , ,
2 -.
3 - 3 - ( 3 -,

), n - n -. 
56. n - n . , n - n .
 n - T (m, x). , (, m) n -. T n .
, D(x) = T (x, x), n
(, , D 6m T ), , D(x),
n . , D T ( m-
m), T . 
, , n

[. 3]

95

n n+1
n+1 . ( , n n
n+1 n+1 .)

8.3.
, n A- A (
n, ). , ,
.
X . X-
. m-
X- ,
X- m-. , , x 7 [n, x] (
, m-). X 0 m- X- . , X 0
m-.
, , P Q m-, P 6m Q Q 6m P . ( ,
.) m-. ,
, X
m- X 0 .
T - ( ) T - ; P Q
T -, ,
P 6T Q Q 6T P , . P Q
, P -
Q- ( P - Q- ). T -, , m- X 0 T -
X
T - m-. ; (, m-) X 0
(, T -) X.
77. T -
m-?

96

[. 8]

78. , m- n ( ).
79. , A ,
, , A.

, , T -, T -, X 0 ( ,
T - ).
T -: 0 (,
), 00 ( , m- ; ),
000 ( 00 ), 0000 ; 0(n+1) = (0(n) )0 .
57. n > 1 n
0(n1) - .
( n = 1.)
 , n - 0(n1) . n. n = 1 .
X 2 . ,
x X yzR(x, y, z),
R . zR(x, y, z) . 00 ,
m- m- . ,
zR(x, y, z) 00 .
, X, 00 .

n. X 3 ,
x X yR(x, y),
R 2 . R 2 ( ), 00 -, 000 -, R 000 -, 000 -.
.
n n . - . Dx x.
A Subset(A) -

[. 3]

97

A, , :
x Subset(A) Dx A.
1. A n [ n ],
Subset(A) n [ n ].
( 75 A A:
, .)
. A , , 3 :
x A yztR(x, y, z, t),
R . {x1 , . . . , xn } A
:
hy1 , . . . , yn ihz1 , . . . , zn iht1 , . . . , tn i[R(x1 , y1 , z1 , t1 ) . . .
. . . R(xn , yn , zn , tn )]

( ), - .
( : )
,
3 -.
( :
{x1 , . . . , xn },
( ) hx1 , . . . , xn i. - ,
, , .)
.
80. , A n [n ], Intersect(A) , A, n [n ].
81. R(x, y)
n . ,
S(x) = (y 6 x) R(x, y)
n . ( (y 6 x)
y, x.)

98

[. 8]

, :
2. A n [n ],
Disjoint(A), , A, n [n ].
. A A.
, n [n ]
n [n ]. .
,
, 0(n1) , n . n.
: , 00 , 2 ? (
00 -, ,
,
n.)
, A 00 . B, b B.
( 46, . 74), , Q hx, ti, x , t ,

x A t[(hx, ti Q) (b t)].
, t , 0 1. ( t - ,
B .) b t
B : B ,
t 1,
, t 0. ; Q
P hx, u, vi
:
x A uv[(hx, u, vi P ) (Du B)
(Dv B)].

[. 3]

99

Du B u Subset(B),
Dv B v Disjoint(B). , , , 2 . , 1 , P B
( 1).
1 2. 2 , ( uv)
. n = 2 .
, - A 000 ,
,
B, 00
2 .
1. n. 
:
58. n n
0(n1) .
 , ( 2,
. 12) , X- , X- ( X ). 
59. n n
n+1 n+1 .
 , 0(n) . X, m- 0(n1) - . X m- , 0(n1) -, 0(n1) -.
, X n , . , X n , n . X
, . .
{2n | n X} {2n + 1 | n
/ X}.
m- X, , n , n . ,
, , X,
n+1 , n+1 . 
- :

100

[. 8]

. , ,
. , ( A B
).
82. A B . , C, C 0 = 00 .
(. ,
C .
, : C C ,
.)

8.4.
, . ,
-
?
,
,
1 . ,
, 1 . ( 1
, , . 21, . 31.)
83. ,
m- 1 .

? ,
? , .
60. () U
. n, Un 0,
2 . () U .
m- 2 .
, () :
(. . 33) .
 n :
k t, t U (n, k) 0.

[. 4]

101

,
. , () .
(). P 2 .
x P yzR(x, y, z),
R . S(x, y), : ,
z, R(x, y, z); ( ) , 0. , x- Sx S
,
x P . s,
Us(x) = Sx . P
. 
?
U f U - f 2 -.
: Um = Un ( m n ) 2 -
hm, ni, (. .
) 2 -.
, Um = Un :
x t1 t2 , U (m, x) t1 , U (n, x) t2
, . ,
2 -.
, 2 -: . ,
00 - ( 2 -):
, , , (
, ), ,
(
, ,

00 -).
, , -

102

[. 8]

( 12, . 14). , ,
( ).
84. .
85. ,
( ) 2 -.
86. ?
m- ?
87. , ( !)
.
, ,

. (: .)

. ([8], 14.8)
. , m- K 2 -.
( , , .)
2 -. , ,
3 -. 3 -.
3 -.
88. [8]. ( . , , . - , ,
: ,
- . : ,
.)
89. x, x, . , 2 ( ) x ( ),
3 ( )
x y ( ). (
, . XVIII 14.8 [8].)

9.
9.1. ?
,
, , , . .
,
( -
).
. , ,
- , (
, , , ). . ,
.
(
, ).
, .
, .
( -,
), , , , .
, ( , . .), ,
. .

9.2. :
, ().
( ) , .

, ,
.

104

[. 9]


,
. . ,
, ( ) , ,
(,
).
( , , ).
, .
, ,
:
A ();
;
a0 A (,
);
S, ;
s0 S, ;
,
(. );
F S, ( ,
).
: h , i h , , i. 1 (), 0 ( ) 1 (). ,
S A S A {1, 0, 1},
, .
. , ( , Z A), (

[. 3]

105

) ( S).
: , ,
, , . ,
, .
,
. ,
, , 0 1 ( , , - ).
( ). ,
, . ,
, , ( ,
0 1).
, . .

9.3. :
, , . ,
. . , ,
, . , , , 10 .
, ,
( ). . ,
. , ,
, .
, , ? ,
-

106

[. 9]

, . , , .
,
( XX, X).
( ),
. ,
( 0 1 0 1).
, .
; , , ,
.
,
. ,
,
, , , , .
, ,
,
,
. ,
0 1, .
90. , ,
, .

: ,
, 0, 1 . N . ,
, k
. ( k) ,

. 0, 1
0, (k 1) , 1, (k 1) , k .
k,
( , , ,

[. 3]

107

); , ,
k . ,
, . , (. .
),
. ,
.
, , . ,
,
. -
( , , , - ), ,
. , ,
. . , ( )
.

, -
, ,
. ,
,
, . , ,
.

,
. , .
, , , , ,
, . ,
. ,

108

[. 9]

; ,
, .
. ,
, ,

( ) .
, . ,
,
, ( ,
). , ( )
( ) .

9.4.
, ,
.
, , , , .
A. P Q, P Q (
, ). . ( .) . , ,
X P Q, X (), P .
Q.
, . ,
,
, .
,
.
. , X Y I,

[. 5]

109


X = Z0 , Z1 , Z2 , . . . , Zk1 , Zk = Y,
Zi Zi1
I, I P Q, Zi1 = RP S Zi = RQS R S.
,
hX, Y i, X
Y .
61. .
, .
.
: Z0
Z1 . . . Zk , , .
, .
(, ). ,

, ,
.

9.5.
62. M ,
0 1. I
: Y
X , [X ]
I Y .
,
, . , I 0 1,
[ ] .
91. , [ ]
. (: Y
X , P Y Q P XQ .)

 .
( ,

110

[. 9]

, ) .
.
, .
:
Q

P
s

[P sQ]. , , ( _),
( , ), [ ]. ,
, P ,
Q . , a, b c ,
s , [absc] s, ...abc... c; [_absc] [absc_] . : [sabc] s, ...abc...
a, [abcs] ...abc... c
c, [s] .
. ,

. ,
. , , s
x, s0 , x0
.
sx s0 x0 .
s x,
s0 , x0

sx s0 x0
.

[. 5]

111

s x,
s0 , x0

sx x0 s0 .
, P Q .
:
. . .
x s,
s0 , x0
s, s0 , x0

s, s0 , x0

s, s0 , x0

[sx [s0 _x0

s] s0 x0 ]
s] s0 x0 ]
[s] [s0 _x0 ]
s] x0 s0 ]

,
Q,
P .
.
.
s, [P sQ]. ,
. , , P , Q ,
. . /,
s / s, / / [/ .. / , ,
.. . 0 0 ., . 1 1 . . O
( , 0 1,
= ]). .

112

[. 9]

O.
;
: O O ,
O] ( ).

. ,
X Y ,
[s0 X] Y . ,
s0 , : [0 ,
[ [0 s0 , [ [0 .
,
. (,
, -
.) 
.
K. , K , K ( , , , ).
,
. ,
X Y , X Y .
, ,
[X] ( ) , X
K .

9.6.
,
. (. .
) , X Y
Y X.
63. ,
, , .


[. 6]

113

. O]
O] ? ( , ).
. I 0
:
. Y
X , [ X ]
Y ? I 0 .
. ,
I 0 (
, , , ). , [ X ]
Y ? I 0 ,
, .
. I 0 : [ (, , ), , ., /, O ?.

. , , [X ] Y ?,
.
, , ,
. ( ,
; , ,
.)
[X ] Y ?.
, . ,
?. , -
. , , ,
.
. ,
, . .
.
, . 

114

[. 9]

9.7. ,
,
. ( ,
.) .
G
, , 1, 1 x = x 1 = x
x G. ( .) G . , A G G,
(, 1). ,
.
A = {a1 , . . . , an } .
A . , . . , a1 , . . . , an . ( .)
a1 , . . . , an .
F(a1 , . . . , an ).
G , g1 , . . . , gn . h F(a1 , . . . , an ) G, h(ai ) = gi . ( ,

.) ai gi ; . ,
G , g1 , . . . , gn G.
X = Y ,
X Y F(a1 , . . . , an ),
A. , X = Y G g1 , . . . , gn , X
Y , gi , . -

[. 7]

115

X1 = Y1 , . . . , Xk = Yk .
G n ,
,
. (,
.) ,
, ,
.
A , , P Q, P Q X1 Y1 , . . . , Xk Yk . ( , Xi
Yi .) , . , P Q,
P R QR RP RQ R ( R ).
. ,
, P Q, , P Q. (- ). G,
, gi = [ai ]
.
F(a1 , . . . , an )/(X1 = Y1 , . . . , Xk = Yk )
a1 , . . . , ak X1 = Y1 , . . . , Xk = Yk . , G
Xi = Yi . ,
, :
64. X = Y
F(a1 , . . . , an )/(X1 = Y1 , . . . , Xk = Yk ),
G g1 , . . . , gn , Xi = Yi .
 , X Y , X Y .
,

116

[. 9]

Xi = Yi , X Y
. 
92. a1 a2 a1 a2 = , a2 a1 = . ?
93. a1 a2 a1 a2 = a2 a1 . ?
94. a1 a2 a1 a1 = , a2 a2 = , a1 a2 = a2 a1 . ?
95. a1 a2 a1 a1 = , a2 a2 a2 = , a1 a2 = a2 a2 a1 . ?



.
65. ,
, ,
( ,
, ).
 , ,
,
, 63 (. 112) 
1947
();
, ( !)
,
.

10.
10.1.
,
,
. ,
.
, .
, . . :
a:=0
a:=b
a:=b+1
a:=b-1
goto hi
if a=0 then goto h1i else goto h2i
stop
, goto, ,
if: a ,
, then (
, ); a ,
, else. goto .
,
( ) , 0 1
0 (,
).
stop, .

118

[. 10]

, .
. c , a b.
c:=a;
{: = c b}
while b<>0 do begin
c:=c+1;
b:=b-1;
end;
, :
1
2
3
4
5
6

c:=a
if b=0 then goto 6 else goto 3
c:=c+1
b:=b-1
goto 2
stop

, ,
( ), ( , ),
, , n- . .
,
.
, .
, (
). , ,
, ,
ha, b, c, d, ei 2a 3b 5c 7d 11e . a[i]:=b b:=a[i] , a, b, i .
( .)

[. 2]

119

( ) .
x y (, , ). x n,
. . ,
n . , y
, ( n). ( ), .
, ,
.
(, )
(,
).
96. , , a:=b.

, , , , , .
97. .

10.2.

,
.
66. , ,
.
, , ,
, .
, (),
0, 1, 00, 01,. . . 0, 1, 2, 3, 4. . . (
, ,
).
 ,
, , . .
, , : , -

120

[. 10]

( , ),
.
,
, ,
. ( ,
. , ,
, .) ,
, ; .
: ,
0 1, x 7 2x,
x 7 2x + 1,
2,
2 ( ). ,
, , . n-
n
.

, (,
, ) .
- .
-, , , ,
.
, , .
-, , ( )
( ). , ,
(
, ). (
) ,
, . 
:
67. , , .
 -

[. 3]

121

. , ( ) . , ,
- . (
, .)
( ).
, ,
,
. ( .) ,
.
,
- (
). 

10.3.
, ,
, ,
.
, , , , 0
1, , (, ,
) . ,
,
(), 0 1 ( ).
, , N
.
A Nk , x1 , . . . , xk ,
: hn1 , . . . , nk i A ,
x1 = n1 , . . . , xk = nk .

122

[. 10]

68. ,
.
 f : N N , P k1 , . . . , kN . ,
k1 , k2 . x, y,
, y = f (x). ( program counter, -
). ,
. ,
Step(s1 , . . . , sN , p, s01 , . . . , s0N , p0 ),
2N + 2 , , P , s1 , . . . , sN , p, ,
s01 , . . . , s0n , p0 . (, p0 = 0 .)
,
. , , 7
k2 :=k3 .
(p = 7) ((s01 = s1 ) (s02 = s3 ) (s03 = s3 ) . . .
. . . (s0N = sN ) (p0 = 8)).

3 if k5 =0 then goto 17 else goto 33
( )
((p = 3) (s5 = 0))((s01 = s1 ) . . . (s0N = sN ) (p0 = 17))

((p = 3) (s5 6= 0))((s01 = s1 ) . . . (s0N = sN ) (p0 = 33)).


, p = 0 ,
, p0 0.

[. 3]

123

,
. :
, , ,
. ,

.
,
- . .
1. k
b, k b + 1, 2b + 1, 3b + 1, . . . .
.
, lb 0 < l < k;
b k!, , b,
b.
.
2. x0 , x1 , . . . , xn a b, xi
a b(i + 1) + 1.
. , b(i+1)+
+1 ( ), . , d1 , . . . , dk , u
. , d1 d2 . . . dk ( di 0
di 1). u = 0, 1, . . . , d1 d2 . . . dk 1
( u0 u00
, di ,
). ,
, . 2 .
,
a, b n ( ). , ,

hx0 , . . . , xn i(i 6 n)[. . . xi . . . ]
( ,

124

[. 10]

)
a b n (i 6 n)[. . . ( a b(i + 1) + 1) . . . ].

a b(i+1)+1 (a, b, i)
( -).
P k1 , . . . , kN f , f (x) = y : n
a1 , b1 , a2 , b2 , . . . , aN , bN , a, b,
(a1 , b1 , 0), . . . , (aN , bN , 0) ( x, 0); (a, b, 0)
, 1;
i 0 n 1
Step((a1 , b1 , i), . . . , (aN , bN , i), (a, b, i),
(a1 , b1 , i + 1), . . . , (aN , bN , i + 1), (a, b, i + 1)),
;
(a2 , b2 , n) = y ( k2 y) (a, b, n) = 0 (
0, ).
, ( ) . 
66, ,
. , , .

10.4.
, , . n n :

[. 4]

125

69. n n n
( , ).
 ,
, n n
,
. 
:
70. n n n (, , n).
 , ,
( ). ,
, - n n .
,
, , ,
( n
n ). 
T ,
(,
- ,
).
71. m- T .
 . A
. (x) , A. ,
(n) n, A.
n 7 ( ,
n (x)) m- A T . 
72. T .
 : T ,
n . T , 54
. , , n . 
.

126

[. 10]

: . : .
73. T .
 , . 
.
: ,
(. . ,
) (
), (
).
98. , N
, N
, .
99. ( )

.

10.5.

, . ,
. ,
. .
, , ( ) . T , (x) . x; Fn (x) , n . x, , x x-
. :
z( (z) Subst(z, x, x)),
Subst(p, q, r) , : p ( ) , , q-

[. 5]

127

r . (
) .
, x. N . N
. .
, , N N (
!) .
. ,
, .
- ,
.
. , (),
( , ). , , . , .
.
, , ,
. , ( )
x y, , x y.

, Proof(x, y), , x
y.
x, , x x-
:
zp[Subst(z, x, x) Proof(p, z)]
(x);
N . N .

128

[. 10]

.
, N N -
. ,
, . ,
( ; ),
.
, , :

, (,
)
() (
) (. 6.6).
. A B f ,
A , B 1.
, ( n) Fn , , f (n) = 0. n A Fn ( f n,
0, , f (n) = 0), n B Fn ( , f (n) = 1). ,
hA, Bi m- h ,
i, .
, , . ,
,
(, ), , .
, p : q p. p : ,

[. 6]

129

p q, . ( ,
q, ,
.)
p . ,
: u, v ,
v, u.
v . ,
, .
(,
, ,
. , ,
,

, .)
,
, - , , . : ,
() ,
.
( , :
, ).

10.6.

, n n . ,
.
, ,
. ,
xi + xj = xk xi xj = xk ;

130

[. 10]

a + b + c = d :
u((a + b = u) (u + c = d)). , ,
.
P = Q, P Q
. :
74. A N n (n > 1)
, ,
n .
( , ,
n , n
, .)
 . ,
n , n
( n , ) , k
Nk N.
. n = 1. 1970 . . ,
10- , ,

. , ,
. n = 1 .
, ,
.
, ,
. .
, , .
, ( ,

[. 6]

131

- ).
( :
). ,
, . ,
:
i [. . . P Q . . .],
P Q , (
-)
i u v [(P = uQ + v) (v < Q)] [. . . v . . .].
, . . . . . . -.
n
n + 1 , , n
n + 1 ,
. ( , ,
.) 

11.
11.1.
;
, .
. , ,
n ( Nn N, n- ),
, Nn
N.
k- f k n- g1 , . . . , gk . n-

hx1 , . . . , xn i 7 f (g1 (x1 , . . . , xn ), . . . , gk (x1 , . . . , xn )).


,
f g1 , . . . , gk .
, , , k- f (k+2)- g. (k + 1)- h,
:
h(x1 , . . . , xk , 0) = f (x1 , . . . , xk );
h(x1 , . . . , xk , y + 1) = g(x1 , . . . , xk , y, h(x1 , . . . , xk , y)).
h(x1 , . . . , xn , 0), h(x1 , . . . , xn , 1), . . .
, -
, .
, -
( ) ; .
,
: 0, s : x 7 x + 1 :
k k k- ki (x1 , . . . , xk ) = xi .

[. 2]

133

. ,
hx, yi 7 f (g(x), h(y, x, y), x)
f , g h, :
hx, yi 7 g(x) ( 21 g), hx, yi 7 h(y, x, y) ( 22 , 21 , 22 h),
21 f .
0 , ( ) 1. 2, 3 . .

11.2.
,
.
. hx, yi 7 sum(x, y) = x + y :
sum(x, 0) = x;
sum(x, y + 1) = sum(x, y) + 1.
, , . , h(x, y, z) s(z), s
.
. hx, yi 7 prod(x, y) = xy ( ):
prod(x, 0) = 0;
prod(x, y + 1) = prod(x, y) + x.
.
. x

y = x y x > y x
y = 0 x < y,
( ) .

:
0
1 = 0;
(y + 1)
1 = y.

134

[. 11]

( , .) :
x
0 = x;
x
(y + 1) = (x
y)
1.

11.3.
,
. (: ; , x 7 1
x.)

( , ). . , , ,
.
x = y x 6= y (x = y
, (x
y) + (y
x) = 0).
f (x),
f (x) = [ if R(x) then g(x) else h(x) fi ],
, g h R. , f (x) r(x)g(x) + (1

r(x))h(x), r R.

n ( , n):
x + 1 mod n = [ if x + 1 = n then 0 else x + 1 fi ]
x mod n ( n) :
0 mod n = 0;
(x + 1) mod n = (x mod n) + 1 mod n.
, , (), . , , R(x, y) ,
S(x, z) = (y 6 z) R(x, y)

T (y, z) = (y 6 z) R(x, y)

[. 3]

135

. , ,
: R(x, y) r(x, y) =
= 0,
" z
#
Y
S(x, z)
r(x, y) = 0 .
y=0

:
0
Y

r(x, y) = r(x, 0);

y=0
t+1
Y
y=0

"
r(x, y) =

t
Y

#
r(x, y) r(x, t + 1);

y=0

.
, ( ,
2, ).
, f g, f
. , r
, r(x, y) = 1 y = f (x) r(x, y) = 0 y 6= f (x)
( ),

X
f (x) =
y r(x, y),
y=0

g(x) .
: g
R(x, y) ,
x 7 f (x) = y 6 g(x), R(x, y)
( x y ,
, , g(x) + 1) .
, f
.

136

[. 11]

, g(x). ,
.
, , x 7 ( , x) ( , x! + 1, ).
n 7 (n- )
.

11.4.

, (. , )
,
. , , .
, .
:
.
. f g :
f (0) = a,
g(0) = b,
f (n + 1) = F (n, f (n), g(n)),
g(n + 1) = G(n, f (n), g(n)),
a b , F G . , f
g .
,
hx, yi [x, y] (
),

[. 4]

137

( ).
h(n) = [f (n), g(n)]:
h(0) = [a, b],
h(n + 1) = [F (n, p1 (h(n)), p2 (h(n))), G(n, p1 (h(n)), p2 (h(n)))],
p1 p2 .
h , f g ( h p1 p2 ) .
, . , , N N N. :
6
3
1
0

7
4
2

8
5

p1 p2
, ,
p1 (n) x 6 n, y 6 n,
[x, y] = n.
[a, b] = (2a + 1)2b 1. , ,
- ,
[a, b] = 2a 3b .
,
.
. ,
, .
75. g , g(x) < x x > 0; F ; c . h,
h(0) = c;

h(x) = F (x, h(g(x))) x > 0

138

[. 11]

 , : 1, hai 2a+1 , ha, bi 2a+1 3b+1 , ha, b, ci


2a+1 3b+1 5c+1 (
). ha, b, . . . , zi [a, b, . . . , z].
. , , . .
,
Length(x) = x;
Select(i, x) = i- x;
Append(x, y) = ,
y x.
( ) ,
.
,
x 7 H(x) = [h(0), h(1), . . . , h(x)]
. , H(0) = [c],
H(k + 1) = Append(H(k), F (k + 1, Select(g(k + 1), H(k)))). 

11.5.

.
, . ,
.
76. ,
( ) ,
.

[. 5]

139

 , . , ,
. , n ,
1 n + 1.

(
, , ).
:
,
, ; , ( ).
( ,
).
( , ), .
,
, t .
, (
,
). , .
. ,
. ,
,
( ), ,
. ,
.

, . ,
, x. -

140

[. 11]

, .
, x.
,
(
);
. ,
, (
, ).
,
. 

. ,
n 7 (n- ). , , ,

, ( ) ,
, c 2n c. ,
. ( ,
2n .)
, : , , if -then-else- for-,
while- ( go to for- ).
100. .

11.6.

.
, . (k + 1)- f k- g,
: g(x1 , . . . , xk ) y, f (x1 , . . . , xk , y) = 0.
, f -

[. 6]

141

. , : g(x1 , . . . , xk ) y, f (x1 , . . . , xk , y) , f (x1 , . . . , yk , y 0 ) y 0 < y .



g(x1 , . . . , xk ) = y (f (x1 , . . . , xk , y) = 0),
-.
, g,
f ( y,
).
101. , - f (x1 , . . . , xk , y 0 ) y 0 < y, g
f .

, (, ) ,
, . ,
.
, , . - primitive recursive functions
( ). (- general) ,
general recursive functions.
(partial) ,
partial recursive functions. partial
, . general,
, .

77. , , .
 f ( M ) .
T (x, y, t), , M x y t. ,
t
t; , ,
, , y. ,
T .

142

[. 11]

y t ;
T 0 , T 0 (x, [y, t]) = T (x, y, t); f (x) = p1 (zT 0 (x, z)), p1
, z z, . . . . , f . 
:
78.
.
 ,
(
,
for, while;
).
, ,
,
( 10.2, 67). 
, , , (
), .

.

, 1930- .
( , ).
, , . , .

( ), ,
,
. ,
. ( [4].)
, , ,
. . : , -

[. 6]

143


( ), ( ) . . ,
( , . .) .
( , , , - -,
. 1950- .
.
.

, . 9.4. ,

; , ,
-
.)

77 78
,
:
79. f
f (x) = a(z(b(x, z) = 0)),
a b .
 , , ,
, 77 ( a , ). 
f ,
( ).
102. , -, ,
:
f (x) = z(b(x, z) = 0)
b .

144

[. 11]

80. .
 ; , ,
{hx, zi | b(x, z) = 0}. 

11.7.
.
. F[],
,
, , .
( : F[] ,
, , .
.)
81. F[] ,
( ,
).
 , F[] . , ,
. - .
,
F[].
: ,
(, )
,
, .
, 7.2 ( 46). f . ,
, W hx, y, ti,
x y , t ( ), (
x, y )

[. 7]

145


f (x) = y t (hx, y, ti W t ).
, t
:
. (,
- ; . .)
W
(hx, y, ti W u (v(x, y, t, u) = 0),
v ), ,
f (x) = p1 (z v 0 (x, z) = 0).
v 0 ,
v 0 (x, [y, t, u]) = 0 , v(x, y, t, u) = 0
t , p1
[y, t, u] y.
, {t | t
} . ,
,
( ;
):
last-x(t) ,
t;
last-y(t) - t ;
all-but-last(t) ,
t, .
:
t , ,
(last-x(t)) = last-y(t) all-but-last(t)
.
,
75 (. 137); .

146

[. 11]

, all-but-last(t) t t. : , , , (f +1)
(b+1)
, pi
. . . pe
{ha, bi, . . . , he, f i} pa
i ( p0 = 2, p1 = 3, p2 = 5, . . . ). 
, , ( )
, ( ) n 7 [(0), (1), . . . , (n)]. ,
.

11.8. .
,
: , ?
. :
82. ,
.
, U , d, d(n) = U (n, n) + 1, ,
(
n- n).
 . ,
, (

,
).
(,
). , . hn, xi 7 ( , n, x)
. 

[. 8]

147

, . :
. ,
, .
( ).
0 , 1 , . . .
. ( .) 0 (x) = x + 1. i ,
: f [n] (x) f (f (. . . f (x) . . .)), f n . ,
[x+2]

i (x) = i1 (x)
( i1 x + 2 , ).
( ):
i (x) > x i x;
i (x) x;
i (x) i ( x);
i (x) > i1 (i1 (x)).
.
83. f n . k,
f (x1 , . . . , xn ) 6 k (max(x1 , . . . , xn ))
x1 , . . . , xn .

, ; . ,
.
.
.
f (x) = g(h1 (x), . . . , hk (x))

148

[. 11]

( x, ). N h1 , . . . , hk g
, hi (x) 6 N (max(x)) i x, g(y) 6
6 N (max(y)) ( max(u) u). f (x)
N (max(h1 (x), . . . , hk (x))) 6 N (N (x)) 6 N +1 (x)
( i ).
( ) .
f :
f (x, 0) = g(x);
f (x, n + 1) = h(x, n, f (x, n)).
( x .)
g h N .
f (x, 1) = h(x, 0, f (x, 0)) 6 N (max(x, 0, f (x, 0))) 6
6 N (max(x, 0, N (max(x)))) 6 N (N (max(x)))
( , N (t) > t). f (x, 2) 6 N (N (N (max(x))))
[i+1]

f (x, i) 6 N

(max(x)) 6 N +1 (max(i, max(x))),

. 
, 1, ,
100 , 101 .
:
84. A(n) = n (n) .
, (, hn, xi 7 n (x)) ,
. ,
.
103. , ( )
.

[. 8]

149

104. , , i : N N, .
105. ,
h g

f (x, 0) = h(x);
f (x, i + 1) = g(x, i, f (2x, i))
.


[1] . , . , .
. . . .
. . . .: , 1994. 396 .
[2] . . , . .: , 1977. 416 . (:
.)
[3] . , .
. . .
. . . .: , 1983. 256 .
[4] . . , . . . - . . .
.: , 1957. 526 .
[5] . . , . .: ,
1965. 392 .
[6] . . , . .: , 1980. 128 .
[7] . , .
. . . . . .: , 1971. 366 .
[8] . , . . . , . . . . . . . . .: ,
1972. 624 .
[9] . . III. .
. . , . . . . . . .: , 1982. 360 .
[10] . . , . .: , 1960. 492 . (:
.)
[11] . . , . . , :
. .: , 1987. (: .)

151

[12] . , . . . . . . . .: ,
1977. 192 . (: .) . . . , . . . .


- 75, 144
- 75
- 123, 131
00 - 78
0, 00 , . . . , 0(n) 96
F [] 144
Disjoint(A) 98
x, x 91
`(T ) 42
`(t) 42
, , 91
6m 57
6T 71
- 141
Subset(A) 96
9
2 100
n 9193, 124, 130
Proof(x, y) 127
n 9193, 96, 124, 130
A- 95
A- 95
A- 95
Dx 96
e9
m- 59, 62, 69, 70,
95
m- 57, 69, 93, 125
69
m- 57
m- 95
m- 95
T - 71
T - 95
T - 95
ExecuteProgram, 50
GetProgramText, 50
126

147
()
143
103, 104, 108, 114
106
91, 124,
129, 130
121
121
117,
121, 124, 125, 130
108
112, 115
109, 112, 143
132
49
108
21
123
137
138
105
86
23, 28
62
8, 10, 117,
142

54

14, 19


119
105, 119
75
71, 144
,
133

126, 127
() 23,
25, 30

23, 24, 26
77

27, 28, 59
104
114
13

112, 115

12
21
130
46
19, 59, 69
91, 92
14
127
12, 92
81
104

81

m- 62
m- 70
40
54
21, 22, 60, 62
126
108
109, 112, 143
91, 129
134
21, 81

153


123
23, 25

114

96
114
8

104, 109, 119
91, 92
91
74, 144
67
21, 81
104
, 118

142

117
71
6, 103, 105, 107, 113,
119, 138, 141, 142
136, 140

m- 95
- 95
20, 68
68,
69

A- 95
A- 95
m- 59, 62, 95
117, 121, 124,
125, 130
21, 22, 60, 62
67
10

154

1012, 14, 91, 124,


130
18,
96, 112
134
65
21, 62
9, 12, 14, 91, 124
17
n /n 93
60
37, 100

30
109
23
104

12
20, 68
45, 128

109, 112, 143
10

82

100
19
23
24
100
143
143
23
23, 28
() 23, 25, 30
96

138
23
33

10
10
13
42, 73, 98, 144
114, 115
141,
142
11
134

136
33
136, 140
95
71
20
72,
144
91, 92
24
128
41, 103, 107
11

29
1012,
14, 91, 124, 130
94

18, 96, 112
/
15, 19
13

75

20, 39

42
108
132
126

114, 115

10, 57
142
84
142
99
108

121
108

132, 138, 142

134
143
103, 104

103
84
103
19

119
,
47
42
65
13, 92
13, 57
21, 62
118, 135, 136
73
14
114
104
9, 12, 14,
91, 124
13
105
132
132, 136

155

137
132
136
75
89
40, 56
30
114
30
71, 81

19
17
16
41
78
104, 108
95
108, 114
,
133
136
73
114,
115
104, 108
104
104
120
95
122
104, 110
125, 126
107

126, 127
(
) 45
143
84

53

156


52
14
12, 31, 99
40, 56
125, 126
31, 100
41
6, 103, 105, 107,
113, 119, 124, 138, 141, 142
107, 124, 142
95
106
85
,
133

16, 18
16, 143,
146
32

24
n /n
93
17

17, 94
31, 100

117, 121
121
82

- 75
00 - 78
A- 95

m- 57
136, 147
121
8, 10, 117, 142

105, 141, 142
46
100
141, 142
10, 57
132,
138, 142
132
16, 143, 146
16,
18
9, 57
140142
9,
57

140142
142

14, 19
/ 15,
19
95
84

68, 69

60
24


. (Wilhelm Ackermann), 29.03.1896, Sch
onebeck [Kr. Altena]
() 24.12.1962, L
udenscheid () : 136, 147
. (Kurt G
odel), 28.04.1906, Br
unn, - ( ,
) 14.01.1978, Princeton () : 123, 131, 142
. (David Hilbert), 23.01.1862, K
onigsberg, Prussia (
, ) 14.02.1943, G
ottingen () : 130
, 325 (?) . . 265 (?) . .,
( ) : 136
, 01.05.1940, , (
) : 81
. (Julius K
onig), 16.12.1849, Gy
or () 08.04.1913,
Budapest () : 21, 81
. . (Stephen Cole Kleene), 05.01.1909, Hartford, Connecticut
() 25.01.1994, Madison, Wisconsin () : 142, 143
(Lewis Carroll), ;
Charles Lutwidge Dodgson, 27.01.1832, Daresbury, Cheshire
() 14.01.1898, Guildford, Surrey
() : 102
(), 22.09.1903 . .,
() 11.10.1979, (, ) : 116, 143
(), 14.06.1856, ()
20.07.1922, ( , ) : 143
, 02.03.1947, (
, ) : 14, 130

, 02.01.1934, (,
) : 84
, 28.08.1901 . .,
() 09.01.1975, (, ) : 116
. (Emil Leon Post), 11.02.1897, August
ow, (
) 21.04.1954, New York () : 6, 12, 21, 84, 116, 142
(Henry Gordon Rice), 1920 : 100
. (Hartley Rogers, Jr.) 1926, Buffalo, NY () : 40, 56
. (Michael Fredric Sipser) : 58
. (Alfred Tarski), 14.01.1902, Warsaw (,
) 26.10.1983, Berkeley, California () : 125, 126
. . (Alan Mathison Turing), 23.06.1912, London
() 07.06.1954, Wilmslow, Cheshire () : 6, 71, 103, 138,
141, 142
, 27.11.1930, () : 100
. (Pierre de Fermat), 17.08.1601, Beaumont-de-Lomagne
() 12.01.1665, Castres () : 14

158

. (Richard Michael Friedberg), 1935 : 84


. (Alonzo Church), 14.06.1903, Washington, D.C.
() 11.08.1995, Hudson, Ohio () : 142




3.
11.04.2012 . 60 90 1/16.
. . . . 10,0.
1000 .

.
119002, , . ., 11. . (499) 2417483.
.

121099, , ., 6.