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

, ,

, . , . . : 1) , . ( ); 2) , ( , , ); 3) ( , . .) , , ., .

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

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

. . , 1-, 2- 3-. , , , , . . , , , , , . (, ., . .). . . () . ( ) . , . , . , , . . , [ . (). . . . , , . , . , U , V , . , . . (, ). . . () , , . : , , , , () . , , , , , , ( ) . , , , . , , ., . : , , , , () ).

() . ( ) . , , F F . ( , . .), ;

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

. ., 1-, , . . , , , . . ( ) . . , . . . ., ( ): 1) (), ; 2) , ; 3) ( ) - ; 4) , -, ; 5) , - . . . , ( 2- ) , (., , f n , . , . .

.: . . . л, 1958, . 52; 1962, . 67; 1964, . 72; 1967, . 93; . . . . .- ., 1934; Turing . . On computable numbers, with an application to the Entscheidungs problem. Proceedings of the London Mathematical Society, 1936, series 2, v. 42, part 3; Turing A. M. A correction. Proceedings of the London Mathematical Society, 1937, series 2, v. 43; Specker E. Nicht Konstruktiv beweisbare Satze der Analysis. The Journal of symbolic logic, 1949, v. 14, 3; Mazur S. Computable analysis. Rozprawy matematyczne [Warszawa], 1963, t. 33 [. . 109110]; P. . . . . ., 1970; . . . .. 1973 [. . 427440].

. . .

<< >>