, ( ) - (. . - ), ( !) . , .
, D, , , , .
, , , , -. - , , , , . , , . - . - , , . . - , . . 2 ( . 2.17). , - , .
. 2.17, . , . . , , , , , . , , - , , .
, R, , - . , , , , . .
|
|
, - : , . , , , , .
, - . . , . , . 3.5 , . , ( ), , , , . , . , . , , , ( ) , . . , , ( , ). , - , , . . .
. 3.5. .
, ! ( New Scientist, 1889, . 23, 1993).
, , . (. 3.6) b4 , , ( , 5). , ( ) , . , , , . , , ( , ) . , . , , , , . , .
|
|
. 3.6. .
, ( , ).
, , ? , , . , , , 200 .
. , . , ( ), , . , :
, .
( 0, 1,2, 3, 4, 5,...), ( 02, 12, 22, 2, 42, 52,...). , . , , . , , , . , , 02,
0 = 02 + 02 + 02,
.. 0 . , 1,
1 = 02 + 02 + 12.
. 3.2 7, ( , ) . , 7 , . .
3.2
, , , , . , , :
, .
XVIII , . , , . , .
|
|
, . , :
, .
, , . :
2, .
, - ? - , ( ) , , . ( , , ), :
( ), , ?
, , , ? , . , , , ( - ).
( , ) , , 1-. , , .
, . , , :
, .
, = 3 , > 4 ( ). :
, .
, . , :
2, .
, ( 0 1). . , , .
, ø ( ø). , , . , . , , !
|
|
, , . , , , ( ), , . , - . , ( ), ,
0(n), 1(n), 2(n), 3(n),..., p(n),....
, p(n) - , - , p(n) - , .
, - (. . ) , (, ), , p(n) . , (, ) , . . p(n) , , (, ) . , ( ) , . . (, ) , , p(n) . , - , , ( ) (, 1-). , . , , , . , , , . , (, ) , , p(n) , ..
(, ) , p(n) . (1)
, , .
, = , , (, ), :
(, ) , n(n) .
A(, ) , , p(n) ( , ). , , A(, ), k, ..
(n, n) = k(n).
n = k,
(k, k) = k(k),
(1) :
(k, k) , k(k) .
, (k, k) k(k), . k(k) , (, . .). , , , k(k) . , . . , k(k) . , , . . 1-. ø- , .
. , / - , . , ø-, . , . :
|
|
, . , , , , , .
, ø- , , , , , . , , 1-, , . , , , ( ). , , , - - . , (. . 3.1) A -.
ø, D -. , ø . ø , - , . :
, (, , ) , . , , .
, ø- ( ). , , . , ø , .
. ø- , - ( 1-), , . , - ( ). , . ( ) , , .
, ? , , - , AI (Artificial Intelligence, ). , .
(. 3.7) . ( , , ). , , , - . . , , . , , .
. 3.7.
- , , , .
(. 3.8), , . I, , . ø- , . AI- .
. 3.8. .
200 , ø-. AI- .
. ø , , ø , , . , , , . (., , . 3.9), . , , . , - . , , . , - , - , . , . ø , - , , , .
. 3.9. , .
, , - , . , , , . , , . , . 3.7. , , , , . , ( , ) , ( - ). , . , , , , ( , ) .