Академический Документы
Профессиональный Документы
Культура Документы
1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9. () 1.10. 2. 2.1. 2.2. 2.3.
2.4. 2.5. - 2.6. 2.7. 2.8. 2.9. 2.10. 2.11. 2.12. 2.13. 2.14. 2.15. 3. 3.1. 3.2. 3.3. 3.4. 3.5. 3.6. 3.7. 3.8. 3.9. 4. 4.1. 4.2. 4.3. 4.4. , , 4.5. 4.6. 4.7. 4.8. 4.9. 4.10. 4.11. 4.12. 4.13. 5. 5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. 5.8. 5.9. 5.10. 5.11. 6. 6.1. 6.2. 6.3.
6.4. 6.5. 6.6. 6.7. 6.8. 6.9. 6.10. , 6.11. 6.12. 6.13. 6.14. 7. 7.1. ? 7.2. 7.3. 7.4. 7.5. 7.6. 7.7. 7.8. 7.9. 7.10. 7.11. 7.12. 7.13. 7.14. 7.15. - 7.16. 8. 8.1. 8.2. 8.3. 8.4. 8.5. 8.6. 8.7. 8.8. 8.9. 9. 9.1. 9.2. 9.3. 9.4. 9.5. 9.6. 9.7. 9.8. 9.9. 9.10. 10. 10.1. 10.2.
10.3. 10.4. ? 10.5. 10.6. 10.7. 10.8. 10.9. , 10.10. 11. 11.1. 11.2. 11.3. 11.4. 11.5. 11.6. , XVI 11.7. 11.8. ? 11.9. 11.10. 11.11. 12. 12.1. 12.2. 12.3. 12.4. 12.5. 12.6. 12.7. 12.8. 12.9. 12.10. 12.11. 12.12. 13. 13.1. 13.2. 13.3. 13.4. 13.5. 13.6. 13.7. 13.8. 13.9. 14. 14.1. 14.2. 14.3. 14.4. 14.5. 14.6. 14.7. 14.8.
, 1993 , , . ?, ?, ?, ?. ... 1976 . 1. , , . 2, , 3. . . - Principia Cybernetica4, ?. XX , . , , ( ), . ! , , , , , , , ? , !
A constructive interpretation of the full set theory, The Journal of Symbolic Logic, Vol. 52, No. 1, March 1987.
3
http://www.refal.net/.
4
, . , , , - . .. , 1990 .
- , , . . . , , , . , , , , , , . , . , , . . (, , ..), , . . : , , , .. , . (, ) . , . , , , . , , . , , , , - ( ) (, ) , , , , , () , , , . , , , . , , . . , .. , 1977 . ,
- 1982 . . .. 1931 . . 1953 1964 . - , . 33 - . 1964 . .. , ( . ..) . . . , , . , , , . , .. , , , . , - , .., - . .., , . 1968 . . , , , , . ( , , 80- .) , . ; 1976 . . , , . ... 1968 . . .. 1970 . , .. . , . . 1970 . . , . , . - . 1973 . . , ... ... , , 40 ... .. - ... , , , , , , .
, , . 1973 . .. ( ) . . -, , , , . -, ... 1974 . .. Amnesty International , . 1974 . , . - . .. . . 1976 . .. : , . . 1977 . : ., ., . . .. , - . . .., , . , , . , .. , , , . . 1963 ., . ! , . ! , . ! , . . .. LATEX, . . .. .. ( LEXICON). .., , , . ..
.. 1992 .
? , . , , - - . ? - , ? ? , . , , , , . , . -, , . . : . , . . , , . , . , , , , , , . , , . . , . , . , , . , . : , , , . , . . , . , . .
; , , . , , - . , . , ( !). , , . , , . , . . : , . , ; , , . , . . , ; . , . , , . , , , . , , , , .
1.
1.1.
, , . , . , , , , . . , (, ). , .
, , . , . .
1.2.
, . , , . , , ; , . , 1. . , , , , . , , , , , , . . . , (), , . , . . . . , , . , , . . , , . , , , , . . , . ,
, . , , ( , , , ) , , . ( ), . , . . , , , , ( ), ( ). . , . , , . . . . . , , , , . .
1.3.
, , , . , , , . , , . , , : . , , . , , , . , , , . . , , , , . (). ,
, , . , - , , . , . , , , , , , . , . . , . , , , , , . . , , , , , . , , , . . , , , , . - , . , . , , . , - ( !), . , , .
1.4.
, . . . : . , . . , 0 9. . . (, ) , , () . , .
1.5.
, , , ? . , , , , , , .
, , . , , - . - , , . . , , 100 . , , , - (. 1.1).
. 1.1. .
1.6.
, , , . , . A B (. 1.2), , A B. : A B.
. 1.2.
t1 t2, . , I, A B, log N. , log N1 N2 = log N1 + log N2. A B, B1 B2 N1 N2 (. 1.3). B N1N2, I, B, , I = log N1 N2 = log N1 + log N2 = I1 + I2, I1 I2 , B1 B2. , , . , , .
. 1.3.
. , . , B t1 B t2. , . S2 S1 , . S1 S2, ; , , , . , . , .
. 1.4.
. 1.4 A C B. . B
. 1.5.
1.7.
() . 1.6. ( 0,1 ) , , , . , , . , , . , , . , . ; . , , . , ; .
. 1.6.
- , , , , - . , , , , , , , . , , , , , . , , . , . . , . , . , , , , , . , , , . , . . , , , . , , , , . , , , . , . , , ( , , !) .
1.8.
. 1.7. , , (. . ), . . , . , . . . ( , .) . , .
. 1.7.
. 1.7 , , - , . , . , . , , , . ? . , , . , . ? ? , , , , . , .
1.9. ()
. . . . , . , , , . (. 1.8) . , . : () (). , , , , .
, , , , , , , , . , . , .
. 1.8.
. 1.9.
1.10.
: , , . , . () ,
. , , .
1
.. . ( : . . , 1967)
2.
2.1.
, , , : , , , . , , ( ). , : , , , . . , , - . 1. , , , - , . , (, ), . , , , , , (. . , ) . , () , , , , . . . .
2.1. ,
a b, A, B, A B. a b, . . b a, , B A. , A (), B, B , A. , . , a b , A B , , . , . . , , .
2.2.
, , , . , . : A A. n . . C, n , , i- (i- ), C i- . n (), , , C ( ). , , n = 2. , , C n , , - , () . , , . , , . , . , ; , , . , . , , , , () .
2.3.
. 2.2 , . , , ,
, . ( ) . , . , . . . ( ) , .
. 2.2.
, , - , , , , , , () , . . , , , , . , . , , , . . , , , . , , . . k- k-1- , , . , , , . , . , , . .
, . , , . , , () . , . 2.1. . . , . . x1, y1 x2, y2, x1, y1, x2, y2 . , , 1000 1000 . (210 = 1024 > 1000), , . . 40 . , , 240 . - . , , . . , . , , . . (. . 2.1). , , -. . 40 , . ? , . , 400 . , 400 . 400 (50 50 ) , , - ( ), . , - , : 1023. , - , , . . . 1000 1000 = 106 . 400 , 40 , . . 40 , 16 000 . 62,5 . , . , , . , , 400 , , , , .
2.4.
. ? , , : . , . , , , , , . , . . . () . . ,
, . . , , ( ), , . , , ( ), . , , , (. 2.3).
. 2.3.
, , . . 2.3,. , . , , , . , , . . , . : (, ) , . . , , , , . . . , , , . , , , , , . . . , , , , . , , .
2.5. -
. , ? . , . , k- k+2- , k+1-. . 2.2 , , ; . , , , . , , . 2.2, : , , . , , . . - , . , , . , ; . , , , ( , ), . , , ( ). (. . ). , , . ( ). , , . , , , , . , . , , , - . , , .
2.6.
, , (. .) 3. ,
, . , ; , . , , . , , , , , . . , . : . , . , . ( ) , . , . , , . . , , . ( ) . . ( ) , . (, ) , . . , , , . , , . , . , - . . , () . , . , . , . , () - . , . ., , .
. , . . ( ), . . , , 2 15 . , . :
. . , , , , . . , ( 3) . ( ) , . . . 12. , , , ; , . 5, : . . , .
, . , . , , , , , , , . . , , , . . , -, . , . , , , , .
2.7.
, , , . , , .
. . . , , , . , , . . , . , , . (. 2.4). , . 4, . . , . , . , , .
. 2.4.
. , . , . ,
, , , , . , , . , , , , , , , - , , . , ( ), . , , , . . , , , . , , . , .
. 2.5.
(). , , , . , , (. 2.5). , , , , . , , , . , , , - . . , , , . , , , . , , . .
2.8.
, . , - , , , . .., . , , , . - , . ,
, , . , , , , - . , , , , , .
. 2.6.
. . 2.6. , , , , . . , . . . . , , .
2.9.
, ? , : . ?
. 2.7.
, , , . , . , , , . , ,
. 2.8.
. 2.9.
2.10.
, . , , . , . A Z . 2.9,. . , , . , , , , . , , , . 16, , A, Z. . , ( ) .
, , . , . . , . , , . , - , - . , . , , . , . ( !) , , .
2.11.
, , . : ? ? ? ? ? , . . , , , . , . , , , , . . . , - , . , . , - . , . .
2.12.
. 2.6 , . , , , , . : , , . , . , . . ( ) . , , , . . . , , . . , , . .
. 2.11.
2.13.
, . , . . ( ), (). , . , , . . , , . , - . . , , . , , , - , . . , . , . . , , , . . , . , . 2.12. .
. 2.12.
, , A1, A2, A3, , A1, A2, A3, ( ), . , , , , . , , , , . . , , A1, A2, A3, . , . , , , A1, A2, A3, . (, ),
(). , , . . .
. 2.13.
. A, , . () (. 2.13). , , . , - . , , , . , , . . 2.10 . , : , . ( ), (, , , ). . , . . , . , . , . , , ( ), . , , , , . , : , , , . , , .
, , , . . , , .
2.14.
, , . , - , . . , . , , . - , , . . 2.10 2.11 , , . : ( ). (), (). , .
. 2.14.
, . 2.10 . 2.6. , ? , : ? . , , , , (. . ) , . , , , . . , . , . , ? , . - . , . , , . , . . , . , . , , , , , . , , . , , , , , .
2.15.
, , , , , , , . , . .
1
, . .
, , , . (. .: , 1956) : , , . , , , . , , - , , , , , , () , . . , , , , . , . , , , . . , , , . , , .
3
Pyc. . . .: . .: - . ., 1963.
4
.: . // . .: , 1965. . .: Pritchard R. Stabilized image on the retine // Sci. Amer. 1961. Vol. 204, N 6. P. 72-78.
3.
3.1.
, . . , . . , . ( ) , . . ( ) , , . , A1, A2, A3, A1, A2, A3, , , (. 3.1).
. 3.1.
. . , , , () , . . , , . , . , . , : , , . , = . , . . . - , . , : = . . . , - . , , . , . . , , . . . .
3.2.
, , : . , , . , - , . , , . , . , , , , , ,
, . , , , . , , . . . , , , . , . . , . ( , ). , . : = .
3.3.
, . S R (. 3.2) , . , , , , . . , .
. 3.2.
, , . 3.2, S R , . . , , , . , , ( ), , , . , , , . , S R , . . S ( ) S, R - , R. , S () R, , , S () R. . , , , , . , , .
3.4.
, . , . , , ( : ) , . . . () : . , , , . , . , K- K+1- . , , . , - K- , K+1- . . 3.3 ( ) 1 T2 U. 1 T2 , . , 1 T2, , U. , . , 1 T2 . , , . , , . . , , , , , , , .
. 3.3.
, . 3.3, . , , . , . , 1 T2 ( ) , ,
. . , . , , , . .
3.5.
. 3.3 . , 1 T2, 1 T2, T2 1. , U, U 1 T2 . . 3.3 , . , , , 1 T2 ( ), . U 1 T2, 1 T2. 1 T2 U, U T2. U, 1 T2. , . . , , , .
. 3.4.
3.6.
: . , . , , , . , . .
. 3.5. ,
. 3.6.
, , , . . 3.6. . , , , , , . , . , , . . , . - , . . , , . , , , . ,
, . , , . , , , , . - , , , .
3.7.
, . . . . - , : . (, , ) . , .
. 3.7.
, , . , (. . ), , . , . , , . . (. . 2.6). . , ( ). ( ), . , . ? , , , ? , , , . , , . , , , . , , . , . , , , , . , . , , , . . , , , . , . . .
3.8.
, , , , . . . . , ,
. . . , , . , , , , , , . x t 1 t + t, 2 t + 2t . . , . , . , . , . , , . , , . , (, ), , .
. 3.8.
Bi, . t A2. T(t) B2, A2. , . T(t) , , , . . ... . , . , . , , . . , , ... , . . . ... , , . , . . ? . . , . , . . . , , . . . , . , - . , , . , , . , . , T(t) , t. , . . , , . , , . t ( ) Y , .
3.9.
? , - -? , , . , , , , . , , , , , , , , . , , , . . . , , , , ; , , , , .. - . , . . , . , . .
4.
4.1.
, . . , , , . , . , , . , , . - , , , . , , , , , , = . , , , , . , ? Y , . ( , ) , . .
, . , , . , , . , . , , ? , . , , , . . , , , , , . , . . , , . - . , . , , , . , , , . , - , , . - , , .
4.2.
, . , ( ), , , , . , , . ? ? . , , . . . , , . , , . , . , , , , . . , . , , ,
, . . : , . , , , . , . , , , ; , . , . , , , . , , , . , , . , . , . , , , , . . . - . , , . . . , , . , , , . . : , , , : , , !.. , , , , : ! , , , , . , , , , , , . , . , . . , , . , , , .
4.3.
.
, . , , . . . , , , , . , . . , , . , , , ? , , , , . , , , , , , , : , , . , , ad hoc, . . . , , . , , . . , , , . . . ad hoc. , , , .
4.4. , ,
Y (, , ), . , . Y, , . , . , . , , . (, - ). , . . , XY , , . , , , , . , , , : , . . A , , Z , .
, , A (B, C, H, Z), , A. , ( ) , , . . , , . , ( ) , , . , , , , Z A, . , : A (B, C, D), B (E, F), D (G, H, I, J), (B, C), I (B, C, Z). , Z, , , . , , . , A, , . , , : A , A F. , , , , , : A D I Z. , , Z. , , , . ( ), , . . , , , .
. , . , (), , , . , , , , . . - , . - , , . . . . . , , . , , . , , , , . , , . , ( ) , . , . , - . . . . , . , , , . : A, B, C . . . : X. X . . . ( ) , . , , . , . , , , . . , . , . , , .
4.5.
, , , . . . ,
( , ) , , . , . , , , , . . , . , , . . , . , . , , . , . , . , . , , . - , , . , . , , . , . , , . , . , , . , , . . . , . , . , , , -, , - . , , . , , . , . (, , ): - . , . , ( ). ? , , . . , , : ! , . , , . , , , , . . , . , , . , ,
, , . , . , , , , , . , . . . , , , (. 4.1) , ( ) .
. 4.1. ,
4.6.
- . , , . , , . , ( ) , , , . , , . . . , . , . , , . , . , , . : . - ,
- . , , . ? , . , , - . , , , . . , . . , , ? , , . : , . ! . , , . . , . , . , , . , . , , , . , , . - , , . , , , , . , , , . . . , . , . . , : . . , , , . . , . , , . , . , , . . , - , . ( -.
, .) , - , , . , - , , . , . . , , , . , . , , .
4.7.
. , . . . . , . ? , , , . . Ri, , Li, Ri, , Ri,. Li Ri, . Li ( ). Li, Li. , , : , . . , . , Ri Li , . R L , L R . , , . () . . . , , , ( , ). Ri Li , , , , , . , , - , , , , : , . ,
, ; . , , - . , , -, . , , , , , . , , , , , .
4.8.
. , . , . , , . , . , ( ) , . ( , ) , , . , , . , , , . . . , , . , . , , . , ( , ), , , , , . , , , , , ; , . , . , . , , , , .
4.9.
, . , , , , . , .
-. , . . -. - , , . , , , , . , , , , . , , , . , . , , , ? . . , , . , . . . , , , , . , , , , , . - , , , , . . , . . , . -, , . , , . , - , , , -, , . , , , . , . .
4.10.
, , . , , . , , . , , , . , , ,
(, !) . . , . . .
4.11.
, , . , . , . , ? : , . , , , . , , , , . . , , : . , . ., , , , . , (, ) , , . , , , , . , . , , . R, , L, . , (, 6 + 3 = 9 . .) . , , , . , . , : . , , ( ) , . . ( ) , . : . , . : , - . , , : , , . , , , .
. , . , . , , . , , . , .
4.12.
, . . : . , . , , - , . , . ( ) . , , , . , . . . . - , . , , . . , , . : ' , , , . . , : . , . , , , . , . . , . , , ; - . , - , , ? , . . - ( ), , , . , , .
, . , , , , . , . . , , . : , , , . . . , , . ( ) , . - , , , . . , , - , - , , .
4.13.
, . . , . - , . , . . , . . , , . , , , , ; . , , . . . . , : , , , . . , . . . ( ) (. 4.2). : = . , . , ,
, , . - , , . , , , ( ) . 1. 2. 3. ( )
4. ( ) 5. ( ) 6. 7. ,
. 4.2.
. : ? , , , , - . , , , , . , , , . 14, , . , . , , , , . . , . , (. . ) , . .. (. ). : , , , , , . , , , 1.
1
. . .: , 1987.
5.
5.1.
. ( ; , , ), , . , , , , , . , , , , : , ( ), , , ( ). , . , . , . , . , .
5.2.
. , . , ; , ... . . , , . , , . , , , , . . . 5.1.
. 5.1.
. , , . , , . ( ) , , ( ) . . . , , , , ; . , .
5.3.
, , . , , , X, (. 5.2), - Y, X. Y X, X', X'',... . . .
. 5.2. Y. ,
. , . , . Y, . , , Z, . , , , .
. 5.3. W W'
. 5.4.
5.4.
. , , , . , , () . , . , . , . A B, A A. , B A . (, , .) , - , , . , . , ,
. B A, , , C B. , , D C. . . . . : , . , , , , , , .
5.5.
. : ( ) ( ). , , . , , , , . , . , (), . , , . ( ) . 700 , ( ) 40 . . , . , . , . , : . , . . . , , , . . ( ?) . . ( , , ) , .
. , ( 3): 600 685 800 900 1000 1100 1100 1600 1200 1700
, , , . , -, .
5.6.
( 40 . ) . : homo sapiens. , . : , . , : -. . , , . , , , , . - . : , , , , , . . , . , . . ( 15 . ) . . - , . ( ), , . , . : , . ( ), . , , . ,
() , ( , ). , , , . . 1877 . , , . , . ( ) , , . - . : , , , ( : ), , . , () . . , , , , .
5.7.
( , ) , . ( ), : , . , , -, . . , . , (, , ). . . , , , ( , ) . , , . 7 . (VIV . .), . , , , . . . , . , , , . , , .
5.8.
. . , , , , . . - , , , , . , . , , , , , . . , , , , , . , . , . IV . . 1300 . . .
5.9.
, . , , , , . (XVIII . . .), . . , , . . , . . , , , , , . . , , , .
5.10.
. . . . , , . . : . , , , . , , , ,
, .
5.11.
, . . , , , , , , , . , . , , .
5.
5.1.
. ( ; , , ), , . , , , , , . , , , , : , ( ), , , ( ). , . , . , . , . , .
5.2.
. , . , ; , ... . . , , . , ,
. , , , , . . . 5.1.
. 5.1.
. , , . , , . ( ) , , ( ) . . . , , , , ; . , .
5.3.
, , . , , , X, (. 5.2), - Y, X. Y X, X', X'',... . . .
. 5.2. Y. ,
. , . , . Y, . , , Z, . , , , .
. 5.3. W W'
. 5.4.
5.4.
. , , , . , , () . , . , . , . A B, A A. , B A . (, , .) , - , , . , . , ,
. B A, , , C B. , , D C. . . . . : , . , , , , , , .
5.5.
. : ( ) ( ). , , . , , , , . , . , (), . , , . ( ) . 700 , ( ) 40 . . , . , . , . , : . , . . . , , , . . ( ?) . . ( , , ) , .
. , ( 3): 600 685 800 900 1000 1100 1100 1600 1200 1700
, , , . , -, .
5.6.
( 40 . ) . : homo sapiens. , . : , . , : -. . , , . , , , , . - . : , , , , , . . , . , . . ( 15 . ) . . - , . ( ), , . , . : , . ( ), . , , . ,
() , ( , ). , , , . . 1877 . , , . , . ( ) , , . - . : , , , ( : ), , . , () . . , , , , .
5.7.
( , ) , . ( ), : , . , , -, . . , . , (, , ). . . , , , ( , ) . , , . 7 . (VIV . .), . , , , . . . , . , , , . , , .
5.8.
. . , , , , . . - , , , , . , . , , , , , . . , , , , , . , . , . IV . . 1300 . . .
5.9.
, . , , , , . (XVIII . . .), . . , , . . , . . , , , , , . . , , , .
5.10.
. . . . , , . . : . , , , . , , , ,
, .
5.11.
, . . , , , , , , , . , . , , .
6.
6.1.
. ( 2) . . , . . , , , . , (, ), , . , , . , , , , , , . , - . , . .. . , , - . , () , , . , , . , , , , , . , ( , , ), , , ,
- , - . , . , . , , , . , , , . , . . , , . . . , . , , , , . , , . , , . , . . 2 , , . , . . , ; . ( ) .
6.2.
, , . , , ? , . , , , ( ). - , , . , . , . 6.1 A B. - ? , . , , , . 6.2. a A , C. b A C, B . , ? , . () , . , .
. 6.1.
. 6.2.
6.3.
, , , , . , , , , . (, , , , , - ). . . . . , . : , . , : . . , (. 6.3). , . , , . , , , , , ( ), . . . , . , , . . .
. 6.3.
. 6.4. disamis
. 6.4 (disamis ). A B. A C. , B C. . , () . , , . -, , . . , , . , ; () . . , . : . , . , , , . : , .
x . . ? , , , , , . . , , . . (, ) : . , : , : . , (, ) : . , , , . , , , . . , , . . . , . ; , , , . XIX ., () , .
6.4.
. , , , , . , , , , . . , ; . , . . . . . , . , . . , , , , , . , ,
, , . . - , . , . , , , . , , . . . . . . . . , . , . - , , , . , , , , , . ( !) , . . . , , , , , , , . , , . , , , , , , , , , , , . , , , () , . , , . , , , . : 1000 ? , . , . , . . , A A.
(). , ( ) . . , . , , XX . XIX ., , .
6.5.
( XIX XX .). . , , . , . , . , . ( ) . .
6.6.
, . , . , (), . ( ) ( ). , , . : , , . : , . , . , . , . :
, . , , . , , z. . , , . . , . , . , . , . , . , , , , . . ( ) , , , , , .
6.7.
. ( ), ( ), ( ), ( ) ( ). A ( A) , A . , A , A , , A . A B ( A B) , A, B. , A B. A B (A B) , A B. A B A B A, B. , A , B , .
, A B , A B , . , . , , A B A , B , (A B) , A B . , , . . , , , A B C A (B C), (A B) C. , a + b c a + (b c), (a + b) c. . : , , . : . 0 < Z < 1 Z > 0 Z < 1, a |Z| > 1 Z > 1 Z < -1. , : [(A B) (A B) (A B)] [(A B) (A B) (A B)] : . , , , , , . , . , , . . , . , , ( , , ). , . ( ) , .
6.8.
, , . , , .. , . . , P( ), L( , ), I( , , )
P(x), L(z, y), I(x, y, z) , x, y, z , . . , , . , , , , , . , , (x), (x, , z) , , <(, ). , . , , . () , . <(a, b) () a < b. , . , |z| > 1, , , >(z, 1) <(z, -1).
6.9.
, . : . , S ( ) , S(x). (x)S(x) , S(x), (x)S(x) , , S(x).
, , , ,
i=n
mSi
i. , , . , , . , . :
()()((, ) ()) (, x). , , x. D(x, y) x , , , (n)(>(n, 1) (p)D(p, n)). (x)W(x) (x) W(x). W(x) , . , W(x), , , W(x) .
. , . , , , , , , . . , , , , . n , 1, 2,..., xn. : (x)W(x) W(x1) W(x2) ... W(xn), (x)W(x) W(x1) W(x2) ... W(xn).
6.10. ,
, 6.6, , . . , , , . . , (). , , , , , , , . , , , , () . , ,
6.11.
, , , , ( , , , ). , . , . , . , , . : , ( ), . , , ; , , , ( ) : , , , . , , , . ( ), , . : , , ! , : 137, 138, 139 120, .. , , , . , , . , , , , , . () .
. . , . , , , , .. , , , . , . , x[A(x)] , A(), . . , A{x[A(x)]} . . , , . . : . , , . , , , , . , , : (a), (a), (a, b), (b, c), (c), (a, d), (d), (d).
6.12.
, (c), . : . . , , , c, , , . , . . , - - . , : (x), (x) . . , . - ( ) -. : (x, ). .
: sin(x), |x|. : , : +(, ), -(, ) ..; r(A, B) A B . : , B A C; (A, B, C), ABC. () . a , , , (a) . +(a, B), a , , B . , ( ), . (x) , . , , , . (x) , , , ., 3.14 . (x) . , , . . , = =(, ). , c , : ((c) = ) ((c) = ). :
W(x), . . , , D(x, y), : x . () , D(x, ) . (. . ) p n , , n = p m. (p)(n)[D(p, n) (m)(n = (p, m))]. n n+1- , , (, ) . , (x, y) M(x, y, z),
, z = (x, y). f(x, , ..., z) F(x, , ..., z, u), (x)( y)...(z)( u)[F(x, , ..., z, ) (f(x, , ..., z) = u)]. F , f. , , , . , , , , . , .
6.13.
. . , , . , , , , , . (, ) , . , , , , . . , , , . , . . , . , ( ) , , , . . , . ( ) , . . ( , ) (). . . : , , , . , , , . , , , . , , : , . . ,
6.14.
, , . . , ; . . , , , , , .., , . , , . . , . . . , , , . , , . , ; , , , . , . , , . , , . , . , , , , , , . : (x) (y)((x, y)). ( , .)
. , , , . ! . . , , , , . , , , . , , , , , . , : , . , . ( , ) . , , ( ), , . , -, , , -, , -, . , . .1. . . , . . , . , . . , , . , , . .
1
7.
7.1. ?
, , , . , , . - , , .
- (, ) , , . ( ), . , ; ( , ). , , . , , . - . , , , . , . , , , , . , , , . ; , . , . . , . , , , .
7.2.
. ( , , ) , , , . - , , , , . . . ; . , . , , . , . , , , , . ., , , . . , , , , ( ,
) . . , , , ( ) . , , . , : , , . , . , ( ), -, . ( !), ! , . , . , , , . , ! . ( , ), . , . , , , . , , , . , , , , , . , ( !) . , . () ; . . , , , , , . ( ), , , (. 7.1). . , . , . ; .
, . , , , , . , , . , . , , .
. 7.1.
7.3.
. , . ? : . , , , , . , , , . . : , , . . , . , 4, : , . , , , . , . , . , S1 S2 U (. . 3.7). , . , . , ,
. 7.2.
, , - . , , - . . . . , , , .
7.4.
, . , , ! , , . , (, ) , . - , . 7.2, , , (. . ), , , . , , , , . . , . ., , , , , , , . , , , . . . , , . , . , , . , , . , . , . , , . , , . , , ,
, . . (), , .
7.5.
() . , , , . , : (, ) (, ). , . , . . , : . , . , . - , . . - , , , . , , . , , . . ( ), , . , . , , , ( , . .), . . , ( ) . . : , , , . . , , - , , . , . . , , . , , , , , , . , , , , . , ,
. , , . , , . , . , , ( ) (. 7.3).
. 7.3. ,
. , . 7.2, , , . , . , - , . . , , . , . . , , , . . , : .
7.6.
, . . : . : , . , , , , , . , , . . ( ) . , , , .
7.7.
. , , . . , ? , . , , () ( ) , . , , . . 7.4 1, 2,... K1, K2,... . , . . , . (. . 7.4), , i, j. : () , , i, , j, () . , (i, j). , (i, j)! - , - . - , , (i, j) .
, , , .
. 7.4.
. , . , , ... , . , , , . , , ,
7.8.
. . . . , , , , . , .
. , . . , ( , . . ), . . . . . , , , . . () . . . . , . : ? . ; , , . . . . , . . , - ! , , , . . ( ) . , ( , ), , . , , , , , . . 7.4 - ! , , , . , , . , , . . , , , . . , , , . , , ,
. , : , ?
7.9.
, ( ). . , , , , , . , ? , . , . , , , . . , . , , . ? ? ? , , , ? , : . . , ( ) : . : ? , , , , . .? , ( , , ) - ? , , . , , , , , . , - , , , .
7.10. -
. .. , . 1: , ;
, . , , , . ... , , . ., , . , , 2. , , , , . : , , , . , , . . , , . , . , , , . , , , , , , , . , , . . . , , , . , , . . , , . , , . , , , . . , - . , . , , , . . , , , , , , , . , - ,
. , , , . , , . : , . , ( ) ; , , , , . , , , , . , , , , . , , , . - , . , , , . , . , ( ) , . , , , : . , . : , . , .
7.11.
, . : a tree , a stick , a man . . , . : water , milk , meat , . : , , ; , . , , , , , . , ,
. , , , , , , , , , . , , . . . , () , , , , , . -, , , -, , . , , , , . , , , , ( ), , , . , (), , , , . ! ( , .) , , .
7.12.
. : 1) , , 2) , . ten men ten days . , . . , , , - , , . , , , . . . , . , .
, . . they stayed ten days : . , , . , - - (, , ) , . , - , , , . . , summer , September , morning , sunset , , . at sunset , at a corner , a in September , in London . , . . , , . , , . , , - . , , , . ., - . . - , . , , , , , . , , . . . , ( ) . , , . , , . , . . , . , , , , , . .
7.13.
, , . , , : ( , , )
. , , . . , , . , . , . , , . , , . , , , . . . . , , , - , . , . , , . ? : , , , , , , . : , . . . . , , . , , .
7.14.
. , , . , . , , , . . , . , , . , , . . .
7.15. -
, , , , . . , , . - . , , , . ., . , . .
7.16.
, , , , . ( , , ), . , , . , : . . , , , ( ). , , - , : , . , . , -, . , . , - , . , , , . (, , ), , . , , , . , , .
1
. .: . ., 1960. .1. . . .
8.
8.1.
. . 5 . . , , , . , .
, . , , , , . , , , . , , . : , , , , , , , . , , , . . ( !) . . , , , .
8.2.
: ( ) . : , , . , , , , , . . ( 5 6 . ) ( 40 . ), . , , , . , , . , . ( ), . . - , . , , . , , , . , (, ) . , , . , ( ) , ,
- , . , , . . , ( !) , , , , . , . . , , ; , , , , () . . . . , , ( .-). , , . (). , , , . . , , , , - , - . , , . , . , ! , , , , . . , , . , , ? : , , , , , , . . , , , . , . , , : ,
. . , : ?
8.3.
, , . , , , . , , , , . , , . . - , : ? ? ? , , , . , , . , , , , , . , . - : , . . () () . . , . , , , , : , , , : ? , , . . , , - , , , . . , . , . -1. , , . -, ,
( , , , - - ) . - , , ( ) . - . , (). . , .
8.4.
- Li - Ri , , , . Li - Ri , Ri - Rj , -. , , , , . Li - Ri, Li Ri, . . , , . , , , . (.). , , . .. , : , ... ... , , , , ... , , , -, , . , , . , . . , , .
, . , ( , ). , , , , . , , , . ., ( ), , , (, , ), , - . , , , , , , . , , , , , , , , , - , . , , . , . , , , .
8.5.
, . , ( , ) . , , . : Ri RiLi, Li Ri. Li . , . , . . : Li - , Ri . , Li Ri, . , Li RiLi, , . , ( . .). , . , ( ), . , . , . , , . , , , , . ,
, . . , , , . , . , , , , , , , , . . , , , , . . . , . - , , , , , , . . , , , . .., - : . , , , : . , , , , . , . . , , , : , , . , : 1) , ; 2) , ; 3) , ; 4) , , , , , . ., , : . , , , , . ... : , , , !
8.6.
, , . , . , , , , . - - (), . , , . , . , ,
8.7.
, , . , .
, . , , , . , , , , , , . . : . . , . , , , , , (, ), , , . . -, , , , , . , , , - , , , , , , , , . , . . : , , , , . , , . : , , , , - -. , -, . . , , , , -, . . , . ( ) , , : ? , . .
8.8.
, . , . . , , , , . , . , , . , , , . , . . (, , ) . , . , -
, . . , , , . , , . , , , . . . , - . , , , . : ( , . .) . , , , , ; , . ; , ( ) , , . , , . , , . , , . , .
8.9.
, . , . . , , , , ; . , , , . , . : , , , , ( . ), , , . : () , , . , . , . , . .
, , - , . , (. . ) , . , . , , , , . , . , ( , . . ). .
1
- . . .: , 1930.
9.
9.1.
, , . . . ; , -, , . , , , ( , , ). . , , . . , . , . , , , . . , , . . . , . . , , - . ? . . .
, . . , ( , ). , , . ? , () , . , ( , ) . , : . .
9.2.
, , . , , : , , , . . , , . . . , , , ( , ), . . , , . . , (. . ) . . , ( ). , : , , . . , , , , . , . , , , , , , . . . , , , . , , , . , , . .
, . , , : . , . : , , (). . : , , . .
9.3.
(. 9.1) . , , . ( ) . , , . . . , , , . ( : V, L, D) , , .
.9.1. ( : .. . ., 1964)
. 9.2.
. 9.3.
, . . , , . . , . calculus () . ; , .
, , , .
9.4.
. , , (. . , . .), . . . , , : ( ) . , : ? , ? , ! . , , . , , , , : : 2, 3, 4, 5, 6, 10, 12, 15, 20, 30. ( , ), , , - , . , : (18001600 . . .) (30564 . . .). , - .
, . 35 : . 59 . 60 , , ! , , 60, , . , 60 , , , . . , . . 747 = 12 60 + 27 : . 602 = 3600 . . , . , , 1/60, 1/3600 . . . ? ! . : n, n 60, n 602 . . . , , . 60 , . , , 60 , . , , . , 3601 = 1 602 + 0 60 + 1 61 = 1 60 + 1? . . . , ( ). . ? 1, . , , , . . , , , . , , - . , , , - . , , , , , . , . , , , .
9.5.
, . ( , , ) , , -, . - . . . , . . , . .
, , , 2/3 3/4. 3/4 . , , , = 1/12. . , 3 /8 1/4 + 1/8, 2/7 1/4 + 1/28. 2 29 2/29 = 1/24 + 1/58 + 1/174 + 1/232. . , (, ), . ; . , , -, , . ? (1500500 . . .), . . 2: , , : , , ... , , ... , . 730 55 ; 120 . 60 , 30 . 15 , 5 . , , , . : , , . ... ? , , . , , , . , , ( ) . , . , , . 3: , , , , . , . , , , . . , , , .
, , . , , . - . , . , , . , . , , . .
9.6.
? , , . , , : . ( , ). . , -, , , . , 8/9 . , 1% . . ( ). V = (a2 + ab + b2) h/3, h , a b . , - . , , . ., , , , . , . , = 3, , . , ( ).
9.7.
. . (. 9.5). . Si Li. , , . L1 S1.
. 9.5.
. 9.6.
, , - , . S1 S2, . , , . . , , , , , - . . , , (, ) . - , , ( ) , , , (, ). , , , . . 9.5. . ? , . , , , , .
: , . (). , : , . : , . . (). , ( ) ; . , , , , L1 L2. n m (. 9.6,a). , . . ? , . (. 9.6,b). () . (. 9.6,c). . . , , . , , ( ). ( ). . A a1, a2, ..., an, B b1, b2, , bm. , ai . bi . , aibj . . . 9.6,c , . , , , . , ! , . , , , , . , . 9.5. 60 25 . , . , , . S1 , , , ; S2 , , , ; L1 60 25 ( S1, 60 25: ); L2 1500.
. , . , , . . , , , , .
9.8.
. , , . , . , . . L2 L1. . , , , , L1, L2. , , : , ? . , , ? , , . ., , . , . . . , b - a a + x = b, . . x, . b a. . , . , .
9.9.
. , , , , . , ( ), . , , , . : 15. ,
x + 1/4 x = 15. . , 1/2 + 1/4 , 100. . : x2 + (3/4 x)2 = 100, (1 + 9/16) x2 = 100,
5
/4 x = 10, x = 8, 3/4 x = 6,
: 1 1/2 + 1/4 1, . . 1/2 + 1/4 . 1/2 + 1/4 , 1/2 + 1/16. 1, 1/2 + 1/4, ; 1 + 1/2 + 1/16. : 1 + 1/4. 100: 10. 1 + 1/4 10? 8 . , : 8 1 = 8 , 8 (1/2 + 1/4) = 6 . . . . : 25 25/60. 2/3 5. . : x2 + y2 = 25 25/60, y = 2/3 x + 5. x2 ax = b, x3 = a x2 (x + 1) = a, , , x2 y = a, xy = b. , (a + b)2 = a + 2ab + b2 (a + b)(a - b) = a2 - b2,
, , ( x, y, z, 2 + 2 = z2).
9.10.
: . - , , () , L1 L2 - . , , , , Li. , , , , . ( !) , ( , ), . .
1
. .. : . . .: , 1959.
2
C . (V ..) .
10.
10.1.
, , . , . - , , , ( ), . , , , , (), , , , . , . - (). , . , , . , , , . ,
. 10.1.
, , . () : . . , , . , , ( , , ). , , . , , , , . , . ABC (. 10.1), . . AB BC. ABC BD . BD. ABD CBD, BA BC, AB BC , A C. D , BCD BAD . , BCD BAD (, , ), , ( ) , . . .
. 10.2. ,
10.2.
, , , , , . , ! , , . . (550 . . .) , , , . , , . . , , . , ( ).
, , . - , . - , . , ( 330 . . .). . 585 . . . . . 550 . . . . . . . . . . , . 500 . . . -, , ( ). , , , . 430 . . . ( ). V . . . , . , , . , , . , . . . 427348. . . . , , , . : , , , . 390 . . . . , . . , . 370 . . . . , , . , . 384322 . . . . . , , , . -. 300 . . . . . , IV . . ., , . , , .
10.3.
? ? , , , , , , , . . , - . , , . ? , , . . , . ? , , ? , . , , , . . -, . , , , . -, , , , , , . , , , , , () - , 1. . ( ) . , (). - ( ) . , . , , , , , . . . , , . , : , , . ? . : , . . ? : , . . , ? : ; , . . . , , . . , , , ,
, , . , . , , . , , . , . , , , , . . , , , . , , , () , , , . , , ( ), , , , . , ; , XIX . , , , . , , , , . . , , . , , , ; , . , , , , . , , , . . , , , , , , , .
10.4. ?
, . ( ), , . , , , , ,
. , (, , ) , , . . : ( ) . , . , , , , : , , , . . : , , , . , , . . () , : A. Li, Ri. , , . . , . , , . , , . , . . , , . , . . , , . , , , , . , : , , , . , , ? , , , ; . , . , . , - , . , , , x2 = 2 , , , , . , . , , , . ?
10.5.
, , . ? , . , 2,01, 1,99. N N , , ; n, n . . , . . . , , , . , : , , . . - . . , , , . , . . . , , , AB = BC, , (, , ). , L1 L2 . . , , , L1 S1 , , . , , , . , , , , . , , 1 , 2, , , : , . - , .
10.6.
. , , . , , , , , , . , (, , ). , , : - , . , , , , . , , : , . , ( ) , .
. 10.3.
, A B ? , , . , . A B , . , , . , , . , - . ? , AB A B ( E1), , , , . ... - ! , , . , , , . , , , . , , , , , , . , .
10.7.
E1. - . 10.3, , . , E1 ; . , A B , , , - , ; , E1. . A. B, A B. A ( ) A, - , A B (. 10.4). A , , , , A B. e1 . , . , , , . .
. 10.4.
. ( ) : O1: , A , , A, , , A . , , . . , : O2: , A B1 B2, B1, A, B2 B2, A, B1 : A1: . A2: , , . A3: A , B - , . , . B A A. , B, A, E1. , A, E1 . A, B , . . A. , A2 A3 A B. , B, A? . . 10.5. , . , . , , . , B, A. , , , , . 10.5. ?
. 10.5. B A
. 10.6. T1
, , , B . : T1: 1 2, 1 2. A 1 (. 10.6). . O1 1 : B1 B2. B1 ( B2) 2, 2 : C1 C2. , : A B1 B2; B1 B2 C1 C2. , A C1 C2 , . A4: B1 B2 C1 C2, A, B1 B2, C1 C2. A 1 , T1 . E1. B A, T1 B B. B A. , B , A. , E1 A1 A4, , . , . A1, , (. . ), , . ,
10.8.
, , , , , , . , , , , a a + 0 = a. 0 . , ? : a b a + (b + 1) = (a + b) + 1, . . b , , a b, . , , , , , . , , , ( ), . , . . , . , , () . , , . , .
, , , . : () B A, C, ( ), A , C. , , . . , , - , , , , , , . . - , -, - . : , , , . , -, . , . - , , ? . , ? : , . . , , . , , , , , 2, , , - . , , , . . : , f(x) (), . . (){P(x)) P[f(x)]}. fn(x) n- f(x), . . f1(x) = f(x), fn(x) = f[fn(x)].
10.9. ,
, , , . . . ( ). , , , . . , , , . , , . . , . - . - , , , . , , , , , . , , , , , , , , , . . , , , . , . , , , . , , , . , , ;
, , . . , , , , 2 + 2 = 4. , , , - (, ). , , . , . , . ? , , -, , , . , , , - , , . , , , . , , . , , : ? , , , , ( , ). ; , . , , . , , , , , .
10.10.
. , , . . - . , , , , - . ()? , . . , , . . ( ,
- , , ). , , , , . , , , . , , . . , . , , , . - , , , , . . , ( ). , , , , , , , , , , . . , . , , , , , , , , , . , . , , : ( !) , , . , , . -, . , , () (), , . . , . , .
1
, (. . vidi ).
2
: , .
11.
11.1.
. : . , . . , , (), , , : 1:2 (), 2:3 (), 3:4 () . . , , , . . XIX . , . , , . . , . . , ( ). , , . , . , , . . m:n . m n , , , m . , n, m. , m2 = 2n2. , m2 2, , , 2 m, . . m = 2m1. , 4m12 = 2n2, . e. 2m12 = n2. , n 2, m n . . , . , , , . , , (, , ) . , . , , , , .
11.2.
. 11.1 (a + b)2 = a2 + 2ab + b2.
(a + b)(a - b) = a2 - b2 . (. 11.2): , , 1 , . . ABFE BDHF. BCGF GHKJ. ( ACGE, ) FGJI, BDKI, . , (a + b)(a - b) + b2 = a2, , .
. 11.2. (a + b)(a - b) = a2 - b2
, , . , , . , , , . .
, , , . , , .
11.3.
(330200 . .) , , (287212 . .) (265?170? . .). , . , . , , . . , , , , , , , . 13 : , , ( ), , , , , , , , , , ( ). , , . , . . , , . . , - . , . , , . : , , , ; , . , , , . . , , ( , ), . , , .
, . , , , . , , .
11.4.
. 2: . , , , , , . , , (300 .); , . , , , . , ; , . , , XVII . ... , . . , , ; , , . . , , . : ; , . , . , , x3 = V a : = : = : b, 2(a - ) = b2 (a - x) : b = c2 : x2. ; , , . ; , , .
, . , . . , , . , ... , , , , . : , , . , , , , . , , , . , , , . , , ? , , , , , , , ; , , . , , . . , , , - . . ? , , , , . , , , , . , . , . , . XIX . , . , , .
11.5.
. . . , , . , , , . , , . , , , ( , ), , , , , , . , , ( ), , : , . . . , , , . , , , . . . , , : , . . - (780850) , XII . . ( -) , . -. , , , , , , , , ... - - , - . , (III .), () . . - , , , . -,
. , , - . . , . - ; . , . 7x - 11 = 5x - 3. - 11 3, 7x + 3 = 5x + 11. - 3 5. 2x = 8. = 4. , - , . . -.
11.6. , XVI
XVI . , . (14651526) 3 + = q q, , , . . 1535 . (14991557), , , , ! , . , (15011576). 1539 . . , . , . , 1545 . , , ( ).
. .
11.7.
, , . , S. , . , . , . . . , , . 1463 . XV XVI . , . . XVI . (15401603) . . . , D in [ B cubum 2 -D cubo D(2B3 - D3) B3 + D3
B cubo +D cubo
XVII . . : , , , ; . , , : , , . . , : , , , , , . . , . , , , , . - .
, - , (15961650).
11.8. ?
. , , , . , (16011665), , . , , , , , , . , , ( ), : . , , , , , . . , , , , . , . , . , . , , : ? ? , . . , , . 2 , 4/5, 2 , , , , . , , 2 . , . , . . , : , 2 2. : a , a2 < 2 . , , 2 ; . , . , , ? . , , . 4/5 2? , . , . 2 .
, . . . , , , , ( ) . , 2 4/5 . , 2 , , . .
11.9.
, , . , , . , , , . , , . ! , , , , . , , . , ? , , : , . , , . ? , , , . . , : . , , , . . , ; , , , . , , , . - . : , ; , , . , !
. , , , . () . .
11.10.
. , , , , . . . . , , , , . , , . : , . , . . , . , , AB (. 11.3). PQ, AB, , AQ QB ( ). , , , , , . , . . . y2 : (x1 x2) = const. . ?
. 11.3.
, . ; , , . , .
11.11.
. . . , , , . . , . 1637 . - : , , . : 1. , , , . . , , . 2. , .
3. , , -, , , , . 4. , , . , . : , , , ; , , , , . . , , , ... , . , , , , , , , , , , , . , , , , , , . , , - . , . , , . , . , , , , . , . , , , . . . , , , ( ) . , , : , , , ... ; , , , , , , , , , ; , , , ; , , ,
, . . , . , . . , , (, ). , . . . , , . , , . , , , , , , , , . - . : , , , 3. , , , . , , , .
1
11.
11.1.
. : . , . . , , (), , , : 1:2 (), 2:3 (), 3:4 () . . , , , .
11.2.
. 11.1 (a + b)2 = a2 + 2ab + b2. (a + b)(a - b) = a2 - b2 . (. 11.2): , , 1 , . .
. 11.2. (a + b)(a - b) = a2 - b2
, , . , , . , , , . . , , , . , , .
11.3.
(330200 . .) , , (287212 . .) (265?170? . .). , . , . , , .
. , , , , , , , . 13 : , , ( ), , , , , , , , , , ( ). , , . , . . , , . . , - . , . , , . : , , , ; , . , , , . . , , ( , ), . , , . , . , , , . , , .
11.4.
. 2: . , , , , , . , , (300 .);
. : , , . , , , , . , , , . , , , . , , ? , , , , , , , ; , , . , , . . , , , - . . ? , , , , . , , , , . , . , . , . XIX . , . , , .
11.5.
. . . , , . , , , . , , . , , , ( , ), , ,
- 11 3, 7x + 3 = 5x + 11. - 3 5. 2x = 8. = 4. , - , . . -.
11.6. , XVI
XVI . , . (14651526) 3 + = q q, , , . . 1535 . (14991557), , , , ! , . , (15011576). 1539 . . , . , . , 1545 . , , ( ). , () (15221565), . , . . . , , , . , , ; , , , , , . , . , . , ,
11.7.
, , . , S. , . , . , . . .
B cubo +D cubo
XVII . . : , , , ; . , , : , , . . , : , , , , , . . , . , , , , . - . , - , (15961650).
11.8. ?
. , , , . , (16011665), , . , , , , , , .
11.9.
, , . , , . , , , . , , . ! , , , , . , , . , ? , , : , . , , . ? , , , . . , : . , , , . . , ; , , , . , , , . - . : , ; , , . , ! . , , , . () . .
11.10.
. , , , , . . . . , , , , . , , . : , . , . . , . , , AB (. 11.3). PQ, AB, , AQ QB ( ). , , , , , . , . . . y2 : (x1 x2) = const. . ?
. 11.3.
11.11.
. . . , , , . . , . 1637 . - : , , . : 1. , , , . . , , . 2. , . 3. , , -, , , , . 4. , , . , . :
, , , ; , , , , . . , , , ... , . , , , , , , , , , , , . , , , , , , . , , - . , . , , . , . , , , , . , . , , , . . . , , , ( ) . , , : , , , ... ; , , , , , , , , , ; , , , ; , , , , . . , . , . . , , (, ). ,
. . . , , . , , . , , , , , , , , . - . : , , , 3. , , , . , , , .
1
12.
12.1.
, . : . . , , , . , ? . , , . , , . , , , , , , . . , , : , , . , , .
12.2.
L1 L2 Li, , , , . , , , (, ), . , , , , L1 L2 , L1 L2, -, (), L1 L2 , L2 . , . . --, , L1 L2. . -, , . , , , , , , . , , , , , , . , , , . , ( ?) , - , . , , . , , . , , .
12.3.
, , . 7, , , , , , . , , . , , . , , , , . . ,
12.4.
, . , . , . , , , , . , , . . . , , , . , (. . ), , , . , , , . - . , , -, , , . -. . , , . . , . , . , , . . , . , , . , , . , , . , , , , , . , . , , . , . . : , , . , , , , , ( , ,
), - , , , , , , 1. !
12.5.
, , . () , , . , , . , , , . , . , (. 5). , , () , . . . , . , . , , .
12.6.
, XVII ., , , . , , , XX . . , , . , , , , , , , , , . . , , , , . , , . - XVII . . (16461716) . ,
, . : , . . , , , . , . , , -, . . . . : , , , , , , . , , , , . . , ... , 2. . XIX . , , , . , , : . , , , . , . , , . , , . . .
12.7.
: , , . , . , , . , , . 1612 . : , , . 1674 . : - . XVIII . 1821 . 3. , , . , , , , . , , , . . . , (. . , ), , ' . - , -15 .
12.8.
, , . . , , , , , . , , . . ( ) ( ). . , , , . , . , . ,
(), , , , , - . , . , : , . , , , . , , (. . ), , , . , - , , , . , , . , . . , , . , - -. , .
12.9.
. , , . : - , , . ( ), , 10, , , . , , , . . 1. 2. 3. 4. , . . . , .
, 34 . . (17281777) : , , . , , , , , , .
12.10.
( ) XIX . . (1815-1864) XX . , .., . Principia Mathematica ( 1910 .) , , , . 6, . . . . , 0 . , p p 0, . , , , 6. ( ) . : A1. p (q p). A2. [p (q r)] [(p q) (p r)]. A3. [(p 0) 0] p. A4. (x)[p q(x)] [p (x)q(x)]. A5. (x)q(x) q(t). , q, r : 4 5 q(x) , , q; q(t) , t; , 4 , . , , 1 5, . , . 1 A3 , . , , , q r. 4 , q(x) , , q(x) . 5 : q(x) , t. :
. GN.
, . ( modus ponens) , : p , , p q, q. (generalization) , p(x), , , . q () D = (d1, d2, ..., dn) , dn q di, X, , , dj. , , . , , ( ), . . (18621943), XX ., . . , ( ), . , . , , , . , q q. , , . . , . , , . : ( ), , ? ; , , . , ; .
12.11.
, , , , . , , ; , . , , , (1845-1918) 70- , . ( ) - , : , . , , , , . , , (- ) , . ( , ., , , , .) . , , , ; ; (x, f), f . XIX . . , . , . . , . - 1897 ., . (1905 .), , . . M , . , , . . , () . P(x) x x. (12.1) , (): x M P(x). (12.2) : M , . . P(M)? P(M) , M M, (12.1). , M (12.2), P(M). M M, P.
, P(M) , . . P(M), (12.2) M, . . () . , P(M) , . : P(M) P(M), P(M) P(M). A A A, P(M), P(M). , , . ; - , . , , , . , , . , , , , . , . . () , , , , , , , , . , , 1908 ., . , . , , , . - . , , . , . , , , . . - . . , , , . , , , . , , . ()
12.12.
. . , , , 30- . 1939 . . , . , , , .
. , . ? . , , , . , . , , , , . , . . ( ), , (, , , ). , . . , , . , , , . , , , . , . ? , , . , , . , , ( , ); , , , .
1
. . .: , 1955. .165.
. // . .: - . ., 1963. .15.
3
: . . .;., 1934.
13.
13.1.
XVI XVII , , . (15641642), , , , . . , , (15611626), .
. . . : , , , . , , . , , . , , . . , , . , ( ) 1.
13.2.
. , . () ; , , , . , , ; -, , , , . , , ( ) ( ). . . : ... : ( ), , , 2. , XVII .: , , . . , ( ) , . , . , . , . . ( ) , , . 5, , , , Y, X, X', X'', ..., ,
13.3.
( ) , . (. . ) () (). , , , , , . , , , - . , . , . 3 : , , . , , . -, , -, . . , , . . , , .
() , , , . , . , , . , : - . , , . , , . , , ; , . : ? - ? ?
13.4.
, , ( ), - , , , . , , -. : , , , , , ; . , . , , , ( ) ; . , , . , , . , . ? , , , , . .
, , , , , , . . . , , , , - . , . , . , - , , , , . , , , . . . , : . , . , , , (, ), , , ... , , , . , , , . . . , , 4. , , , , . . , , . , .
13.5.
, , . , XX . . . , , , , , , . , . . - - , , , , , - , ,
, , . . , ; , , , ; . , , , , . ? , , , , , . XX . () ( ), , (, , ), , . , . , : , . ( ), , . , , , . , ; , , , , , . . .
13.6.
. . , , , , , .
. 13.1.
. 13.1. , , . , , . , , , , . , . , , h/p, h , p , . . . . . : , , , , , . . . . , , -. , , , . , , , , . , . , , , , , . , ! , , . , , , . ( ) . , , . . . -, (, ) , , x; p , : x p h.
. , , . , , h , . -, , - , . . ( , ), , . , , , , , ; , . . - (18851962).
13.7.
, . , , , . , ( ) . , , , , ( ) . ? , . , . , , ( ) . , . . , - , . - . . - , , , , . : , - ? , . , , , . . , . , -
, , - . , . , , , . . . , - , . , . . , , , - . , , . . , , . . , : , . . , . , . , . . ! , , - -, , , , . , , , , , , . , ; , , , , . , , , . , - , . , - , . ( ); . , . , , , , . . , , , , . , .
13.8.
, , . . , , , , . . . , - . , ? - , ? , ? , , . , . , - , . , , . , , . (. . ) . . (17491827) : , - , , , , , : , , , , 5. . . , , . , . , , . , , , . , . , . . , , , , , . ;
. , . , . : . , . , , , . , , , , . , . , - , . , , , . , , . . , , , , , , , , . XX . , XIX ., , , . , . () , , , - . , . , , , . , , ; . - , . , . 13.1. , , . , , . ( ) , , , ; , , . , , : , , ?
, . , , . , . , . , , , . , , . , , , , , . , . , , , , .
13.9. 6
, , , . . , , , , , ( ), . , . , , . ; , , , . . , , . 50- , , , . , . , . , ? , , . , , , , , .
: , , , ? . . , , , , , . , , ( , , ). : ( ) -. . , - , , . , , . . . , (), . , , . . , , . . , , - . , , , , . , . ... , , , , , . , , , , , , , , , . , ; . - , . , , .
. . , ? , , , ( ) , . , , . , , , , . - . , . ? - , , , , , , , , . , , . - , , , , , , . , . , , , , , . , , , . , , ? , . , . . . , . , , , . , . , , ( ) . , , ,
. , , , , , , , , , , . , . , .
1
Bacon F. Novum Organum, Great books of the western world. Encyclopedia Britannica, 1955. Aphorism 95. P. 126.
2
C. : . . .: , 1965. .
4
Frank P. Philosophy of science. Englewood Cliffs (New Jersey): Prentice-Hall, 1957. . . ., 1908. . 9.
, , 1968. N5.
14.
14.1.
. . , . , , , , , , , . . , , , , . , , . , , . , , , . , . , , , . .
14.2.
, , , , , , , . , , . 50- , . , . , , . , . , . . , , , . . , , , : , , , . .
14.3.
, . . , - . 1215 1. : 15 , 10 , 7 . 9/10 , - . , : . . , , , 1:2:4. , , , , , . , : . , , . , , : ( , ). , , 1:2:4, .
( 2% ), , !
. 14.1.
, , 0,5 1%. , , , , , . , , 25%. . , , , , , . . XVII . 60- 50 . (. 14.1), 30 . . 6 . , 2. 13 . , , . , , , . : , . ( ) , . , . 10 20% - , . 1,25 . . .., 1946 . 40% . 1961 . 85%.
14.4.
, ? , . , , , - . , , . ,
. , , . . : . . , , . , . . . , , , . , , , , . . , . , , . , , , , , : , . . -, , , , , . , , . . , . , , , , . , . , , , , , , . , (, ). , , . , . , , , , . . , , - .
14.5.
, . , . . , , ()
. . , , . , , , , , ! ? , , . . , . , , . , , , , , . , , , . , . . . , . , ; , . , . . , - , , . . . , , , . , , , . . , , . , , -, , . , , . , ( ) .
14.6.
. . . , , , , , , . , , , . , . . , , . , , : , , ! . . . . .
14.7.
, . ? , : ? ? ? ? , . . , , , , . , , , , . : ?, , - -?. ? . , , , , . , , ? ?, . , , . , , , , .
, ? . , , , , . , .
14.8.
? , . . , , , , , . , . , . , , , . , , , , , . , , , , . , . , , , , , , , , , , . , ( ) , (, , . .) . , . . , . ; , . () , , . , . , , . . - . , . ! , . , , , , , , ,
: ? , - . , ? . ? ? . . , . , . . . . , , , , , , . , - , . .
14.9.
, , . , , , , . , , , , , , , . . , . , . , , , , . ? , . , . , , . , , . , , , , . , , , . , , , . , ! . , , , , , . . ,
. , , , , , . . (. 4), . , , , . , , . , , . ? , , , , . . . , , , , , , , . . , , , ( ) , , , . . -, , , . , , ; , . -, ; , . , , ? , , . , , , , , . , , . , , . , . , , , . , , . : . . , . , . - , . , , ,
. , , , , , , - . , - , . ; , , .
14.10.
, . . , . , . , , , , , . . , . , , , . , , , . . , ? ? ? , , . , . , . . , , ( ), , . , -, , , ( , , .). , , , , . , , . , : . , , , , . ,
, , . . , . , . , . , . . , , , , . . . , , . . . , . . , , . . , , - , - . , , . , , , . , , ! , - . -, , , , .
14.11.
, , , , , . , . . , . (: ). . , . , . , , .
, . . ; . , , , . . . , , . ( ) . , , , . , , , . , . . . , , , , . , . , , . , , . , , , : , , ! , -, , . , . ? , ? . . : . : , , , , . , . -, : . -, : , ...? , , , . , , . , , , . , , , . . , , ,
, . . , . , , . , , , .
14.12.
? ? , , , . , , - , ? , . , , , . , , , . , - . . , , . . , , , , . : , , ; , , . , , . , , , . , . . , ? ?
14.13.
, , , : . , . , . , , , . . , . , : . ,
, , . , , , ; . , . , , . : . . , , , . - : ! ! ... ? , , . , , , , ? , , , , , ? . . , , , . , . , , . , , . , , , . ! , , , , . , . , , , , , , . , , ( ). , , , . , , ? - , ? , ? ;
. , . , , . , , . . . , , . ( ) , . ( ) , ( !) . - . , , , . .. ( 1956 .) 3. , . , , , . . , . . , , , , . . , , , . , .
14.14.
, . . . , , , , , . , , . , , , , . , : ? , , , ? , . . , , , ,
- , , , . , , , , . , , . , . , . , ; . , ? ! , . , , , . . , , . , . , . , . . . , , , . , , , , , . , . , , , . , . , , . , , . , . . . , , , , . , , . , ,
. , , , , . , . , , , , , : ?. , . , , ? . , . . - , , . , , . . , . . , . , . . , , , . ! , . ! ! ! ! , ! ! ! ! , , , , . , , , . . , . . , , . , . : .
14.15. , ...
, , , . ? , (, , ) , . , - . ? , - - , -
? , , , , , , ? , . . , , , . , . ? ? ? , , , ? , , . , , , . , , . ? ? , , ? , . , , . , , , , , . , . ? , , , - ? , ? , . ? . . , : , , , , ( ). , , ? , . -, . ? , , ? , , - ? , , . , , , ? : - , , . , , , ,
, , . . . , ? , ? , , , . , : , ? , - - ? , , , . . . , , , . , . , . , , . - , , , , , . . , : , , , , . , , . . . . . , , : . , , , , - . .
1
: .. . , 1966.
: . , // : . . .: ,1966.
3
C.: .. . .: , 1971.
1. . , : ?, ?, ?, , , ?, ?. . . 2. . , , , . , ; . . , ( ) (). : - . ( , ), , , . - . , . 3. , , . . , . , , , . . , , , . 4. . , , . . . , , . 5. . . , , , . , . : , , , . 6. . , , : . , , ,
, , , , . 7. . , , : . ( ) . : . . ( , ), . . , . , . , . . , , . 8. . . , : . . . , . 9. . , , , . , . , . 10. . , , : . - : , , , , . , , , . 11. . . , , . : , . :
. 20. . , -, : . ; . , , . . : , , . , . . , , . , , . , . , . , . . , , , . , .
1