> > . .1
<<
>>
<< >>

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

. , , 30- . 20 . , , - () , () . , (), , , . .

.

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

2. . .

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

4. . . , . - . , . . . . . , .

. . , , , , .

I. , . . . . , . . . 1) -, . .; ) . . . ; ) , . . . . . . (. ). 2) . . . : ) ( . . .), -.

- . . . - (. . -, , , - ), -, ; ) , - . (-, - , .) . , - . 3) . , ., , , , -, - , -, , . , ( ). , ., . . . . , ., , - . - , , . , , .

II. , . . . . . 1) . . . , ., (). 2) . , , . 3) . . , . . 4) . , , ., .

, . . , . . 1) (. ). 2- . ., . . . (., ). 2) , (. . , . . ). . . . 3) , . .

. . , . . . . ., , , ( ) . . . . , , , . (., , , . .). . , , . , (., ). . ( . . , . . ). .: . . . . . . л, 1954, . 42 [. . 373374]; . . . ., 1960 [. . 476-481 ]; . . . ., 1965 [. . 375381]; . . . . . ., 1973 [. . 451465]; Davis . Computability and unsolvability. New York - Toronto - London, 1958; X. . . . ., 1972 [. . 587 599]; . . . , 1970 [. . 201204].

. . .

<< >>