ø
2 ( ^), , - (, , ; . Q1). , , , <£, : , , , - , ( ), . , , , - .
, (, , ) , , ,
' , , (n). - , , , , . . Q3 Q4, , . 191.
, , , ; . , . 51-57.
, ( ) i/ , [376].
(.), . . .
, , , ( , , 2) Ck () . , , () ҄ q, .
( , ), , , , - , . , , , , , ZF, .
|
|
2.8. , G (F) 2 (F), .
, , . , , , , , !
, G (F) (F). Q15 Q20.
, ...110011 ...11011 , (. 7 2), , . , , ( ) , . 30000 ! , , , , .
, , λ . , STOP. , 11110 , , 111110. K, , .
3.1. ø
2 ( ), , - (, , ; . Q1). , , , , : , , , - , ( ), . , , , - .
|
|
, (, , ) , , , , . , , , ; , , , . , , , . , - - , , , , .
, . , - , , . , , , , , . , ( ) ( , ), , . , , - , ; , , , .
, , , , . , , ø? ? , , , , , . , , , . ø, , , , , , . , . ([374], . 326, . ø, . 2 [158], . 297), , , . . , , , , , , , , ø , . , ø, , , , , . ø, ), , :
|
|
, , ( ) , , , , .
, ( , ø , ). ø , , , , (... ... ,... ...). . , , . , ø ( ), , .
, , -, , ø , , , - ( , 1.6). , - . , - ; , , :
, , , . , . , , .
, , ø , , , ø. , , , , () - , . , , ø: - , , . , , , -, ,.
, , , . , , , - , , . , , , , ø , , ( ), , , . , , , - , , .
|
|
(, 3.23.22) ( , ), . , ( ) , , , (3.23). , , .
3.2. ?
, , , ( ); , , . - . . , , , . ( .) , , . , , , , , ,
, ( , 2), 3.22 ( ,). , , , , - , . , . , , , - . , ; (. 3.7). , , , - . , , , - (. . , ; . Q10). , (. . 164).
F ( ), . :
|
|
I , , ;
II , , , , ;
III .
I. , , , . , , , , , , , - . , , . ( 2.9), , , - F. - XX, , , F . , , , , I, F , , , , ( ) . ( ) F. (, , .) , F , , G(F) (, , omega(F), . 2.8) . , ( ø), G(F) F , , F ( ) . ( , ; , . , , , II1-.) , , F, , . , I , , F . F , II, , F , . III: , .
: I ( , ) - ; , , , . , ( ) . , , .
3.3. ?
II , , . , , . ?
, , , , , , , - . , , , . , , , , , , , , , . , ( , -). , - , . , , , -, -. 3.15 3.29.
, F , , , ø, (. 3.1). , , , F, II III. ø, , F II; , , , III.
ø , F(, , . 2.9) (. ). II (, , III) , , -: , , , .
( 3.2 I) , , , , . , ( , ) ( , , ), . , , , - . ( -), - . .
, - , ø. , - , - , , (. 2.8), -. , , II, , , , ø .
, II. , ( ). , , . (. 2.7), . ( ), , , . , ( ), , , .