Академический Документы
Профессиональный Документы
Культура Документы
51(0.062)
22.1
63
63 : 40 . . 22: . .
. / . . .: , 2014. 144 .
,
.
, . ,
, (
) , , ,
, .
, , ,
, ,
. ,
, .
ISBN 978-5-9774-0682-6
ISBN 978-5-9774-0717-5 (. 22)
51(0.062)
22.1
:
gettyimages, agefotostock, Corbis.
.
.
........................................................................................................................................... 9
1. ................................................................................................... 11
................................................ 14
...................................................................................................................... 20
....................................................................................................................... 23
............................................................................................................ 27
2. ............................................................................................................................. 33
................................................................................................................................. 35
................................................................................................................................ 42
.................................................................................................................................. 48
3. ....................................................................................................... 55
....................................................................................................................... 57
.................................................................................................................... 63
4. ................................................................................................................... 67
................................................................. ..................................................... 71
...................................................................................................................... 78
............................................................................................. 84
....................................................................................................... 90
5. ............................................................................................................ 93
.......................................................................................................................... 97
.................................................................................................................... 101
.........................................................................................................................110
6 , ................................................................. 115
............................................................................................................................... 115
........................................................................................................................................ 122
, .......................................................................... 128
7
................................................................................................................................... 137
............................................ ...................................................................... 139
: , .
, . ? ,
. , , ,
. ! !
. ,
.
, . ,
, , :
, ,
, : , , , .
? , ,
, ,
.
,
,
, , ,
, , ,
, .
, .
,
. 30 ,
.
, ,
, .
1930 ,
.
, ,
. , ,
. ,
, ,
. .
,
9
.
RBA
. ,
,
. ,
XXI ,
.
, .
, , ,
, .
, , ,
, , , ,
, , ,
, .
10
, ,
, ,
. ,
1824 ,
.
, ,
, ,
princeps mathematicorum .
: ?
, ,
, ?
, .
, , ,
300 . . ,
, ,
,
.
,
.
,
, , ,
, .
,
.
11
,
. ,
, .
:
, ,
. ,
. ,
;
. , ,
, ,
, , ,
, , ,
, .
12
, .
, ,
: , ,
, .
.
( ,
, 2009)
:
, ?
. ?
, ?
, :
, ,
,
. . ,
- .
13
,
.
, ,
, .
,
180, , ,
, .
,
, ,
.
.
,
, , ,
, , ,
: ,
. ,
, ,
, , ,
. , ,
, , ,
, . , ,
, .
-
, ,
(17771855),
, .
, .
,
(18021860)
(17921856),
, .
,
,
180. ,
!, , ,
14
, :
,
1.
, ,
. ,
:
.
. , .
,
,
, ,
, , , .
, ,
?
, .
(18791955)
,
(16431727). ,
1685 , ,
.
, - :
, 400
? , , -
.
, ,
, , ,
.
-
.
. ,
, , ,
, ,
1
(18481925) (18621943).
15
. ,
, , ,
. ,
, . ,
.
, , , ,
, . ,
, ,
.
,
.
,
, ,
.
-
, 1920 , ,
(, ),
, , ,
,
16
, .
:
,
. , ,
, , .
. ,
.
: ,
. , , ,
,
: .
,
: ,
, ,
,
. ,
, ,
,
.
, 1950 .
17
,
(18351900). ,
, ( ).
: ,
, ,
, .
, ,
.
, , , .
, ,
. ( ),
, ,
,
! ,
.
,
.
,
, .
,
, ,
. , ,
, ,
18
. , ,
. , ,
, ,
, , ,
. , , -, , , ?
.
.
, .
,
.
, ,
.
, ,
, ,
,
,
, .
,
.
, ,
. -
19
, ,
, .
,
, ,
. ,
. ,
,
? 1919 , ,
,
, ,
.
,
, .
, , ,
- .
.
, , , ,
,
, ,
.
.
, ,
.
, ,
: .
,
, .
, ,
, ,
, .
, ,
, .
20
:
, ,
, ,
.
modus ponens,
, : , ,
. , ,
, . , : .
, , ,
: , . , ,
.
,
, ,
. , , ,
: ,
. modus tollens ( . modus tollendo tollens
), , ,
, - ,
. , , .
,
. , Q, R
, Q R : , Q , R . 21
, , ,
,
.
,
. ,
contradictione sequitur quodlibet, .
MODUS T0LLENS
(1902-1994),
modus tollens -
.
- , ,
-,
,
, .
0,
,
.
,
,
.
, - ,
1980- .
,
, ,
.
, modus tollens: ,
0. 0, .
, , ,
, ,
. ,
.
, ,
22
(
!), ,
.
. ,
,
.
.
,
, ,
, ,
, .
,
(,
, ,
, ).
, ,
.
. XIX ,
,
, .
,
: , 1
1 ,
,
. , 2/3 2 3
, . ,
?
. (18451918)
,
, , ,
. , ,
(18231891),
23
:
. . (18581932)
,
1889 ,
. , ,
, ,
.
? ,
, , , ,
.
,
.
, , ,
.
, ,
.
,
:
24
1)
2)
3)
4)
5)
;
, , ;
;
;
, ,
.
, , ,
, , .
,
, . ,
, ,
, : , ,
(1).
, .
, :
(2). modus ponens : ,
,
: ,
(3).
\. 3,
: ,
(4), (3),
: .
modus tollens, : ,
. , ,
. : (5).
, , , :
, , ,
, ? ,
.
, ,
. ,
, ,
. 25
:
,
, .
, , ,
, ,
, . , ,
, (1)
(2). modus ponens, , ,
(3). .
4,
(4). , (5),
, modus ponens, : , ,
, (6), ,
, . ,
, ,
.
, ,
, ,
, , .
, , ,
1729, .
,
, , (
, )
( ,
).
, , ,
, , ,
. ,
,
, . ,
, ,
. ,
, ,
.
26
, ,
,
.
. , ,
-,
.
. ,
, ,
: ,
.
, ,
. ,
,
. , ,
, , .
, , -
,
, -
, .
, ,
,
. , ,
, ,
.
, ,
, , .
, , . . -
27
-
, Q.
, , , -, . ,
-. ,
, -, 0 ,
. -- ,
-, Q -, modus
ponens , Q . ,
, , , - (
- ). Ex contradictione... .
, ,
.
,
,
. ,
. ,
. ,
. ,
,
, .
, .
: ,
. ,
. , , ,
,
. , .
, .
,
. ,
.
28
. , , ,
, ,
. :
, ,
, , .
, , ,
, ,
, . ,
. ,
.
,
: ,
. , , ,
:
.
, , , .
, ?
,
.
, .
,
- .
,
, , ,
,
. ,
.
,
, ,
.
,
, . ,
,
, , , .
,
29
, ,
, ,
.
, .
: , ,
. . . , ,
. ,
, ...,
. , , ,
- , , . .
, . ,
.
. 300 . .,
. ,
, ,
XIX
. ,
.
, modus
ponens modus tollens, ,
.
,
, , ,
. ,
,
.
,
.
, , : ,
. ,
30
, ,
. ,
, ,
. , ,
,
. ,
.
, XIX
. ,
,
.
3.
,
, .
31
,
,
, ,
. ,
,
,
.
, ,
.
.
, ,
,
. ,
,
.
, , ,
.
, , ,
11 , ,
.
,
33
1893 21 ,
-.
, ,
. , ,
, , ,
: , .
?
. ? , ,
, .
, 12 -
, . 12
:
, ,
, , -
34
. ,
-
.
, ,
.
,
,
?. ,
, .
, , :
,
, , - ,
, ,
.
, ,
,
. ,
,
, ,
.
. XIX
,
iPhone.
:
, ,
, (18151864)
.
, ,
, ,
. , ,
?
35
,
.
0 () 1 ()
.
, ,
,
.
,
.
p
.
(1
,
.
- q) = 0.
, , 1 ().
, (1 - q) . ,
1
- q
. ,
1 (),
,
, ,
1878 1884 , .
:
, .
,
. , (
, , )
, N = {0, 1, 2, 3 ...}.
, 2N = {0, 2, 4, 6 ...} 2N = {n N | n
2}, , | ,
. , ,
,
.
36
, ,
:
. (
, )
,
. : , ,
,
.
, :
--------- , (
, , , , , , ),
. ,
?
,
, - .
, ,
,
: . .,
, .
, ,
, , . ,
,
X
,
.
1. X ,
.
2. - X.
, , ,
,
. ,
, X
, -
.
37
, (. . 3)
, . 1
, . 2
.
,
. , ,
, .
, , : ,
, . ?
. 0 0, 1 2, 2 4,
n , .
,
, .
, , ,
!
:
, .
, , ,
, .
:
, ,
,
. .,
.
. , .
, ,
, ,
38
,
, 1888 .
, . ,
,
( ,
,
, = ).
, ,
, , ,
. ,
, ,
, .
, .
,
, ,
.
, :
.
, X
. ,
, ,
, , . ,
X .
, , .
, :
--!, --!, --! ,
.
: --! 1 --! 2
, . ,
, : 0, 2, 4, 6, 8,
10... ,
, , : 0, 1, 1, 2, 2.
? ,
, , ,
.
:
, . ,
39
,
0100100010... 1100101001... ,
, . ,
,
:
, n , b n n 0 1. ,
.
, . 0 :
0, 1, .
. b1:
0, 1. , ,
1, 0.
n-
. , ,
0 1, ,
. , :
1, 0, 0.
, ,
. , ,
, ,
40
.
,
, .
, ,
, :
. ,
, ,
. , !
, .
,
, ,
5, ,
, ,
. ,
, , .
70-
, ,
,
.
.
0
, 2 3
3 ,
, 5,
, 2 + 3 = 3 + 2,
, . ,
,
: , .
41
1896 .
: ,
, , , ,
,
. ,
,
, 1903 . ,
,
, , 20 .
, , :
,
, ,
.
(Begriffsschrift) ,
,
, .
42
, ,
, .
, .
, ,
. R (
) ,
: R ,
, . ,
, R .
43
, (. 1),
, ,
(. 2). (: , Vertige de la liste, , Flammarion, 2009, . 396).
, ,
R :
. , R . R
, , ,
, .
? R ! , R
, R . :
, R , ,
. , , , R
. R ,
, , , R
. , R ,
R . ,
,
, .
,
, . ,
.
, ,
, .
,
R . :
? , ,
. ,
. , , , ,
44
, ,
,
.
,
, ,
. - , ,
, ,
. , .
, ,
, ,
, .
, ,
. , ,
, ,
. , ,
. ,
: .
, ,
. ,
,
, ,
= , : R
, ,
. , ,
, , :
, , , ,
. ,
,
.
1906 1908 ,
.
,
, ,
, .
,
45
23 1962
:
, , ,
.
, ,
, .
, , ,
,
. - ,
, ,
.
: ,
.
.
: 0,
1, 2 . . ,
, 8 0,
I 1, {, I}
2, 1.
, : n
+ 1.
8 , 8 0, 1.
,
,
, .
, .
, :
, ,
.
46
,
.
, ,
.
, .
,
, .
,
, .
XIX ,
.
, , ,
.
, , ,
.
,
, , .
.
,
- , ,
, ,
. : ,
, ,
, , .
, ,
.
, .
,
, ,
,
, .
, .
,
, .
, , ,
, , 57 , 48
, , . , , .
,
.
, , ,
, . , , ,
, , . ,
, .
, ,
,
. , ,
. , ,
, .
, , .
, , , .
, ,
, ,
.
, :
, . , , ,
, ,
: ?. : , .
, : , !
, .
, , ,
: . ,
: , , , - .
, , , , - .
, , .
49
-. , ,
LI ,
,
,
. , XVIII, , ,
, ,
. -
50
, ,
, , ,
, . ,
, , .
,
, , ,
. , :
, ,
; ,
, , ,
, , , ,
1.
, ,
, , ,
,
, . ,
. , ,
,
. ,
, ,
.
(1/2), , (1/4),
, (1/8) . .
, , ,
, ,
. ,
,
. (13231382)
, , . , . . . .
51
,
. ,
.
, XIV ,
.
.
, ,
. , ,
,
, .
,
,
.
, .
, , :
, , ,
52
, .
(19021983), 1933
,
. ,
,
,
, .
, ,
,
, ,
. ?
4, .
,
, .
1905 ,
. ( ,
, ,
) , , ,
.
, , ,
. ,
, .
n. ,
!
,
, ? , . ,
, ,
, ,
.
,
, , .
53
, ,
, .
, ,
, ?
,
, .
II ,
.
, , , .
, ,
,
,
. ,
,
,
.
, ,
, .
, . ,
, ,
, .
, .
, ,
, -
55
, , ,
,
. ,
, , ,
XX , ,
.
(18641909) (18591919)
, ,
. .
, , :
?
,
, .
, , ,
, .
,
, ,
, ,
. (1940)
(1963) ,
, , .
8 1900 .
, ,
, .
, ,
:
,
, ,
, : :
. ,
1899
56
,
. ,
, , : ,
.
,
.
, , .
,
. ,
,
. ,
, : .
,
.
: , , ,
57
? , ,
:
, .
, , , ,
, ,
, . ,
3 ,
:
.
L, .
, ,
, . ,
, ,
:
.
, ,
. ,
. 1,
:
,
, ,
, . , , ,
.
, ,
.
.
, ,
,
.
, 19101913 .
,
, :
,
58
, .
XIX
, ,
, ,
( , ).
Cambridge University Press.
300 ,
. 300
,
,
200,
. , -
, -
.
,
, :
0
(
),
s
(
),
(),
V
(
),
(), = () .
, , z 0,
, , , 1,
, . . ,
. , ,
: , ,
, ,
, ,
. ,59
: V.
V,
,
,
. , V
.
:
, , V
I. , : ,
.
, ,
, ,
, . , {, , i, , }
.
. X X
, X . , X
0, 2, 4, 6, 8, 10..., , ,
0, 3, 6, 9, 12, 15..., ,
: 0, 6, 12, 18..., , .
X U , X
. X
0, 2, 3, 4, 6, 8, 9...
, ()
(), ,
(U) ( V ) , .
Q , ,
X , , Q ,
X , , Q,
,
X U . , ,
. ,
,
1880 . ,
Q ,
60
, (. 1),
(. 2) (. 3) .
61
,
( ), ,
. :
. ,
0 . :
, .
: ,
, , . , ,
, s,
, = s x , ,
. ,
,
. , :
,
= s x . ,
: ( = s x ) -
, :
.
, : , .
, : ,
. , , :
1) ;
2) , , , .
,
:
, ,
. ,
, :
62
, , .
, :
, = sx
,
, = s x . :
, , 0 ,
-
.
,
. -
: , ,
1(0 = 1) . ,
L , ,
L . ,
, ,
. ,
. ,
, .
, .
, -
- . :
, , ,
.
,
L , L,
, , ,
, . , L,
0, s = , ,
L .
63
,
.
?
. ,
,
, ,
.
, ,
: , .
,
, .
: .
, ,
,
, . ,
,
.
,
,
,
.
, .
:
,
finit, ,
. ,
. , ,
,
,
.
, ,
. , , ,
, ,
.
,
, , , ,
64
, .
, , ,
, .
. ,
,
, , ,
. : ,
,
, ,
, .
, .
(1854-1912),
,
.
1899
, ,
. , -
,
, ,
. , ,
:
. ,
, , .
, (1885-1955).
, .
,
, 65
.
, ,
, .
,
, ,
, . ,
,
{0, 1, 2..............n} ,
.
,
, . ,
, .
, (18811966),
,
.
,
. ,
, ,
. ,
,
, ,
.
, 1904 1927 ,
, .
.
, ,
, ,
, . ,
!
66
,
, .
:
.
. ,
:
? , ,
, , 1735
.
,
.
, ,
5 7 1930 .
,
.
67
, XX
, .
,
, : ,
, ; ,
; ,
. ,
, , ,
, .
, , .
,
, ,
.
, ,
, , -
,
. 1900 .
68
( ,
, 2008)
: 0, , . ,
.
, ?
: , , .
: ? ,
?
: , ,
. .
: . .
.
: , , .
: , , ?
, - ,
.
69
, .
, ,
. ,
.
,
. , ,
, ,
.
, ,
, ,
.
. - , ,
,
.
,
.
70
,
, , ,
. ,
, ,
.
20 1930 , ,
Monatshefte fr Mathematik und Physik
Principia Mathematica
I .
, 1931 ,
, , 20
, , .
,
.
, ,
, .
, :
,
, ignorabimus1. , ,
ignorabimus, , , .
ignorabimus :
! , ,
.
: , , ,
,
.
,
ignoramus et ignorabimus, .
- (1872),
.
71
,
, .
:
; (18111832)
,
, (19011976) ,
,
.
,
: ,
(
), (
) ( ),
,
. ,
,
- ,
.
, , , ,
, ,
.
.
, ,
. ,
, .
2 ,
. ,
, , ,
. ,
? G (
72
) ,
. G , ,
G , G ,
,
. G ,
, , , .
, , ,
, . ,
.
, ... ?
, ,
, , ,
. ,
, .
, ,
,
, ,
- , . ,
, .
: ,
, ,
,
, .
,
, ,
.
S ,
, Gs ( 5, ,
).
, . ,
,
. ,
, ,
, , .
73
,
(. 1984 ) NASA, 2005
.
xkcd - - , , .
, .
, ,
. , :
. ,
.
, . . ,
?
- , , - .
(: Petehume).
74
, ,
. :
Gs, ,
, , = S + GS
,
, , GT
, .
,
,
. 1 ,
. ,
, , ,
.
,
. !
, : 0 = 1? ,
.
, , ,
. ,
: 0 = 1 .
, , Con s
( 5 ).
, ns Gs,
( , Con s ), Gs . ,
, modus ponens,
,
. ,
. , Con s
, , Con s G s ,
modus ponens G s . , G s
! :
,
,
.
75
,
.
, ,
,
. ,
Principia Mathematica
I . ,
.
, ,
, ,
.
(18881977)
1939 .
, ,
25 .
,
. ,
,
. ,
, .
, ,
:
. ,
,
, .
, ,
, ,
, . ,
, 70-
.
76
, -.
77
, 1940
. ,
. ,
. ,
,
:
- ?
- , ! - .
- , - . ,
!
- , - . - , !
, ,
, , :
.
- ,
.
21 1851 , ,
,
,
. , ,
,
. : . :
. :
. : ,
, , ... !
. : 24 75 f2f4 5: f4 ....
!
78
,
,
.
. ,
-, ,
: h , 1 8
. ,
( : ,
, , , ).
: (
), (#)
. 24 75 f2f4 5: f4
: 4,
5. f4,
, 5.
,
, ,
. ,
, ,
, . , 0
:
,
.
, ,
,
1903 .
, ,
,
, .
,
,
.
, ,
79
, , ,
.
, , 3 5, ( )
3 5. ,
15, 15 ,
, 3 5, ,
. , ,
, , , ,
, , ,
, .
, ,
, ,
.
, , 1
: , 5 , 2, 3, 4,
6 , 2 3.
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31.
, , ,
.
XX ,
,
. ,
. ,
: , ,
1 n, . , , 23,
, 30, 2.
, .
: = b ( 30 = 2 15).
, :
, , ,
. 2
, 15 15 = 3 5 ,
, 30 = 2 3 5. 2, 3 5 ,
. ,
,
. ,
80
, ,
, . : 77 220 = 2 2 3
35 11 13. : 77 2 20 = 22 33
5 11 13, ,
.
,
,
( ). ,
77 220 , 77 220 = 5 22 11 3 13,
, .
,
: 0 ( ), s ( ), (), V (
), (), = (), .
, , z .
1 8, , , z , 8,
.
,
:
( ) .
, .
, , ,
, .
.
, 0
,
: , ,
. :
, : 2, 3, 5, 7, 11, 13, 17, 19 23. 81
, 3, ,
2 3, 23.
5, : 5.
, 511, 77, 112,1311, 176,191 238.
, :
23-35-511-77-112-1311-176-191-238.
,
.
. ,
, , , .
, ,
, ,
, . ,
.
,
. , , ,
, . ,
, .
,
. ,
, , ,
:
.
,
, , ,
, .
. , .
,
304 496 379 203 017 490 604 020 678 113 081 132 612 291 772 080 917 708
404 389 616 093 394 253 015 558 500 327 468 465 234 375 000,
,
. ,
82
.
, , - http://www.
wolframalpha.com factor, .
, :
, , , .
, ,
:
. ( = sx),
, ,
, , .
, , ,
, , ,
.
, -
, - , -
, . ,
15 = 3 5 - ,
, 15 2.
1536 = 29 3 :
, 9
.
:
( ) ,
. ,
, , N ,
.
1. N .
2. N , .
83
(The new confessions)
, ,
. ,
, .
,
, , ,
,
. ,
, , .
, ,
, - .
, , , , .
,
, ,
: ,
, 84
. ,
:
,
: . ,
, , . ,
, ,
, ,
. , .
.
.
? ,
, ,
,
, .
, , Z,
X, , Z
X.
, X Z
, z.
D, z
, ,
Z, .
, D (, z) , Z X,
.
. ,
2 3 3 5 5 11 7 3 11 5 13 13 17 7 19 13 23 6 29 2 3111 37 8.
,
, z D (, z),
: z,
, ,
!
z 23 5 511 77 112 1311 176 191 238,
D (, z ) , ,
, . ,
, , z ,
85
, z, ,
. , z , D (, z)
. , z D ( , z),
Dem (x), , , ,
. : D,
z.
? !
,
, , ,
, . 46 ,
. ,
z, .
z :
, z ,
. z ,
. ,
,
k 1 ,k 2 ,k 3 ,...k n ,
:
,
, .
, :
: k 1 k 2 , ... kn
,
, ,
;
: ,
.
, :
, , ,
, ,
86
, .
. kn,
, kn . ,
.
, k 1 , k 2 , ... k n .
. ,
5 ,
, .
, () (
), ,
. A (k 1 ),
(k2), ...A (k n ), ,
. ,
k 1 , ,
. , A (k 1 )
, : z
, . ,
.
, k2, k3,...k n ,
, . , ,
,
. ,
I, s k 1 ,k 2 ,...k s
, , k s ,
, k 1 ,k 2 ,...k s-1 (
), . , I (k 1 k 2 , k 3 k 4 )
,
, I. ,
, ,
, ,
, , z ,
.
, : ,
87
D ( , z ), , ,
z, , .
,
, .
: Dem (),
: , , .
Dem (), : ,
, . ,
, -.
, ,
,
0 = 1 . , 1 , ,
1 = s0. ,
0 = 1 255150. , Dem (255150),
, , , 255150,
, 0 = 1 ,
. Dem ()
.
Dem () ,
, ,
0, s, , V, , =, (, ) . Dem
,
.
, ,
. ! ,
, ,
: .
Dem () , d. ,
, , ,
, .
, ,
, d. ,
, , 14451937 500, .
,
d? Dem (d), ,
, d, , d, 88
-
. ,
: ,
. : ,
70- (1921-1995) ,
, ,
, .
,
: .
, , 20 426 ,
. ,
,
.
,
.
.
, , ,
, , Dem (d)
, , .
, , 1.
1
, ,
, . ,
.
89
, ,
, ,
: , !,
, , .
, . , ,
, , : ,
! , , ,
, :
,
, , , ,
,
.
, , ,
, : 1940
.
,
, -
VI
. ,
,
, .
: ,
,
, ,
.
, , ,
, , ,
.
, .
, ,
, , ,
, ,
, , ,
90
,
, ,
. , ,
,
.
91
... , ,
. .
, , ,
, .
... ,
. .
, - ,
, . .
,
, . ------.
,
:
. 15 1945 ,
.
: ,
, , .
1939 ,
, .
1918 .
, ,
,
. 1939 ,
93
,
.
, , ,
,
,
,
, . ,
, , 1939
.
,
Station X ,
. - ,
, .
,
.
94
-, .
.
, :
.
,
-
. ,
, . ,
,
, Station X. ,
, 1939 , .
, -
, , 95
,
,
: , .
(19121954) ,
, ,
.
,
-
(: ).
,
. ,
, ,
, ,
, ,
.
96
( , , 1996)
:
, ,
, .
.
:
.
, ,
. , :
. - ?
, -, , .
, ...
. - .
, ,
. , , ,
, , , ! !
, .
? , , ? [...]
, - .
, ,
- .
, , ,
-, ,
XVII ,
(15921635)
, , , .
(16231662),
,
.
97
, .
(16461716). ,
, , , ,
. ,
.
, ,
.
XIX
(17911871)
(18151852) .
(Analytical Engine)
. -, ,
, .
,
, . ,
(2, 3),
23 = 6. (
) , ,
, , ,
.
,
, .
98
, ,
.
,
. ,
, ,
.
, .
,
. ,
,
, ,
.
,
.
.
, ,
, 1937 Proceedings of the London
Mathematical Society. , ,
,
, , -
99
,
. ,
, .
, -
1 100. , ,
, 1 1000.
, n. ,
1 + 2 + ... + n
, :
, ,
, n + 1. n ,
n(n+ 1). :
- , - . ,
:
, , n n ,
. , ,
, k- ,
n k- n.
, , ,
, .
100
,
, .
,
, , ,
. ,
, ,
. , ,
, .
! ,
(,
), ,
- ,
. , ,
, , ,
, .
.
, , ,
.
,
, .
, ,
. ,
3 , f (3), f
. f (n) n
. ,
( ,
), f ( n ) = n + 1 ,
f (3) =3 + 1 = 4. , , n - ,
f (3) 5, f (4) 7,
2, 3, 5, 7, 11. ,
, .
101
, , , ,
, ,
, .
: ,
f ( ), ,
.
, , ,
, .
,
(, ), .
0 1. ,
, .
-, ,
, .
-
: 0,
1, , (
, ,
, ) ,
.
, ,
. , :
102
1, .
.
, 1,
0 1, 0 (0), 1(1),
(R), (L) (N). ,
.
: 1,
, (#1, 1, L, #3). ,
: ,
, 0, , ,
1. ,
, 0, 1,
.
103
: (
, ), .
,
. ,
.
1: 0, 1 3.
1: 1,
2.
2: 0, 1 3.
2: 1, .
3: 0, 1 1.
3: 1, .
: , ? ,
.
0: ,
0, .
, ,
:
(#1, 0,1, #3)
(#2,1, N, #0)
(#1,1, R, #2)
(#3, 0,1, #1)
, , ,
.
.
. 0, 0, 1 3, 0 1 , .
104
3 : , 0,
1 1,
, 1,
. 1,
. , ,
, , 1 .
, , ,
. .
0
: 1,
2. .
0
, 2, 0,
1 3. .
0
, 3, ,
1, , ,
,
, - ,
. ,
, ,
, f (n) = + 1.
, ,
.
105
, ,
, ,
, -
. f ,
,
f (n). ,
.
f (n) = + 2
, f (n) = + 3 ,
. ,
3 5 5
3 . , ,
, ,
, . , , ,
. , f (0),
0 1, f (1), .
,
: , 0; ,
1; , 0 0,
1 1, , 0 1 , 1 0 .
, ,
( )
.
- ,
, .
, .
1 9 ,
1,
(, 4444 = 4), 0 .
f (1) 1, ,
3,141392 ..., 1 ( ).
f (2) 1,
22, 135 : ...44609550582231725359408.
, http://www.angio.net/pi/bigpi.cgi.
106
333
1698
666666
252 499
4444
54 525
7777777
3346 228
55555
24 466
88888888
46 663 520
, 1
, 333,
4444, 55555, 666666, 7777777 88888888. f (9),
, ,
.
,
, 1.
, , ,
, ,
.
, ,
f (9). , , f
, ,
.
, , f (9) 1.
, , .
, , :
, ?
, ,
.
, , , ?
,
, ,
. ,
999999999, ,
, .
107
, 1 9
0 1, ( 512
, , 0 1
0 1), ,
. ,
.
,
, f () ,
, n. ,
, ,
? :
,
, , ,
.
(19031995)
, , -
. , ,
Proceedings of the London Mathematical Society
, .
, , ,
.
, -.
108
, ,
, .
, ,
,
2. ,
, . ,
,
,
, .
, .
, , 0 f( 0 ) ,
1 f (1), 2 f (2) . . . , f
f (0), f (1), f (2), f (3)...
, 0 1,
f, 0 1 .
f 0101010101...,
n, n-
. , , ,
0 1,
. , !
,
, , , ,
, ,
. ,
. ,
,
. ,
,
. , (#1,1, L, #3)
, 1: 1,
.
, ,
.
,
4.
,
109
. , ,
, , . , , ,
.
,
, .
, , ,
, ,
.
, XX ,
. 3,
, .
,
, ,
, ,
. , ,
: , ,
,
. , ,
, (18961962)
,
1928 .
(Entscheidungsproblem) ,
, ,
.
, , ,
. ,
, .
2006 .
-, .
,
110
, , .
: ,
, ,
. ,
, , : :
, , ,
. ,
, : ! -
-?
, .
, ,
, , ,
. ,
,
. , ,
, ,
. ,
, Time
:
, ,
. (, ,
), ,
.
, .
, ,
, ,
. ,
,
n. , ,
. ,
, (). ,
, :
(n), m? ,
, , ,
111
- , .
, ,
(m, n) , , ,
, .
t ,
.
(9, t) 1,
(
), 0 (
).
, ,
, . ,
: , (m, n)
: 1,
( ) m
, 0 . ,
, n (
- ), ,
. ,
,
. ,
, (
), n
:
( ) ,
( , ( , ) 1), ;
( ) ,
( , ( , ) 0),
, .
2 , ,
: , , ,
: .
, ,
112
, : .
, :
,
, , ( ).
, , ?
() , . , , T ()
, . () !
-! ,
m n , : ,
-.
.
,
, ,
, ,
, .
, ,
, ,
. , ,
0 1 - .
.
, .
113
,
,
,
, .
, , , ,
. , .
,
, . ,
, , ,
. , ,
: , - ,
, , : -
. , , ,
, .
: !
.
, , ,
:
?
: . ,
.
,
. , 115
,
. :
, , . ,
, (
), ,
, ,
. ,
, , ,
, ,
, , , .
: , ,
.
, .
Scattergories. ,
, . ,
. . . .
, ,
, : . . . .
!. Scattergories ,
, ,
. ,
, :
, :
?
, : , ,
,
. ,
, , ,
. ,
, ,
, ,
. , 116
, (18781956). 1917
,
, . , 1,50 ,
2 , , 1,75 , ,
, , :
.
, , :
, ,
. ,
, .
, ,
. .
(, ),
. , , ,
. , , ,
, , .
- .
- .
:
. ,
.
. ,
: , ,
. ,
.
? ,
?
? , ,
.
117
, 1965 ,
, 0 1. , Scattergories
, , , ,
0,6,
,
, , 0,45.
fuzzy, ,
. ,
.
(: ).
, ,
. ,
, ,
, ,
, . ,
, . ,
50 %, ,
118
, 10 , ,
. :
. , ,
:
, ,
,
. , ,
, ,
,
, , , ,
, .
, ,
, , ,
.
. , 1,60 ,
1,90 ,
:
.
.
, ,
, 1,60 , 0.
119
1,90 , ,
,
10,
16, 3. ,
0,5, , , , ,
.
. , ,
+10 , +30 ,
+18 +22 ,
.
, , ,
, , .
.
.
, ,
, ,
. ,
. , ,
. ,
120
, . ,
.
, .
, ,
,
, , , ,
. ,
, . ,
, , ,
.
, ,
, .
,
, , ,
, .
(
, ) ,
.
:
: 0 1.
,
, , 3, ,
. ,
1965 .
,
f f B . ,
f A (), ,
0 1, f B ().
, , ,
f A () f B (). .
1,60 , 1,90 ,
1,50 ,
, , 1,90 .
.
0,5, 0,625.
, ,
121
, ,
.
, , ,
,
, .
, ,
,
, - . 90-
, ,
.
, .
, ,
, .
0 1.
. , ,
, (0) ,
(1) - . ,
, . ,
, (
) .
,
. ,
, ,
.
. , ,
.
, ,
122
. :
, , ,
,
. ,
, .
,
. ,
, . ,
. ,
, (), (), () ()
,
: , , , , .
(455 ),
(1050 ), (1435 ), (1095 ),
(1855 ) (1515 ),
:
4500
4875
4875
4500
5435
5435
, ,
,
: . ,
, ,
?
80 ,
.
,
1 2 3 ... . .
20. .
20 . ,
3! = 1 2 3 = 6 ; 4 ! = 1 2 3 4 = 24; !
.
123
,
, .
,
. , , f ( )
, ,
. ,
4! = 1 2 3 4, 1 2 3,
4. 1 2 3 ?
3!, , 3!, 4!,
. ! = ( 1)! ,
, , .
, , !
. ,
.
, .
,
,
, . , 3! = 6
{1, 2, 3} (123, 132, 213, 231,
312 321) .
, ,
, ,
, , .
,
124
, ,
. , :
, - , - . . -
, .
, , ,
, .
, ,
. , 1,2,4,8... ,
18446 744073 709551615.
, ,
, ,
. (
),
.
, , ,
.
2, . ,
,
125
. ,
- , ,
:
, . ,
,
, , ,
.
. ,
, , NP.
. ,
, . ,
, ,
. NP,
.
. ,
. ,
,
.
, -
NP
3, XX
1900 ,
. , ,
, , ,
. ,
NP, , ,
NP , , ,
, , .
, , . ,
.
126
. :
,
? , ,
, ,
, . , ,
, ,
.
:
,
. ,
,
,
: , , . . .
, , ,
111111111111 6u0yfz3eq85s .
12 ,
. 70-
,
.
, .
,
, s.
,
1, 2.
, s ,
, ,
s,
.
( ),
.
1111... ,
1: 0,
1 1. 1,
1, 1111...
,
(s) = 1, .
127
,
. , ,
, . ,
, .
, .
(
). ,
, ,
.
,
.
,
, 2,
,
. , , ,
. , ,
, .
. ,
!
,
. : ,
,
s (s), , ,
,
. ,
: ,
, :
,
, .
,
, ,
.
128
: ,
.
,
, . ,
,
. ,
, .
, ,
.
, ,
.
, , , ,
.
, ,
.
, ,
, ,
,
. ,
.
,
, , ,
.
, ,
.
, ,
- , ,
, , .
?
, 1943 ,
,
.
, ,
129
.
. ,
,
. ,
f, 1 , 2 , ... .
, , ,
, ,
. ,
i , w i ,
. ,
w 1 w n , w 2 , w 3 ... w _ ,
.
s = w 11 + w 2 x 2 + ... + w n x n ,
.
, ,
, ,
, .
,
, , , ,
,
. , 130
, ,
,
.
,
. ,
,
.
,
,
. ,
.
,
. ,
, ,
. :
,
? , 1996
Deep Blue, IBM, 1950-
, . ,
Deep Blue ,
, , -
Deep Blue 10 1997 .
131
. ,
Deep Blue ,
, .
, -
. ,
, , Deep Blue: ,
, , ,
.
, ( ,
, , 2004)
, , ,
.
: . . !
: ? ( .)
... ? ( .)
: . . .
: . ... .
: , ?
: .
: ?
: .
: ?
: .
: . . ,
.
: . .
: . , . - .
. ? ?
: ?
,
, 50 . 132
,
.
, ,
. , 1947
:
,
. ,
. , ,
, .
1950 ,
, ,
, , ,
. ,
,
, .
,
. ,
,
, ,
. , .
-,
, .
, ,
, .
. ,
, , , .
1969 , , ,
, .
, .
,
, ,
. ,
.
, ,
, ,
133
. , ,
.
,
, , ,
, . ,
, 1959
, ,
:
,
, .
, , ,
, . , <...>
, ,
.
, ,
, , 1989
. , , ,
? ,
, ,
, ,
.
, , ,
, ,
.
, ,
. , ,
,
. ,
, . ,
? ,
?
, .
134
?
XXI
, ,
,
: , .
,
. , ,
, ,
. , , , ,
, -
NP. , . ,
, ,
.
135
137
ignorabimus 71
110
, 56
, 90
, 39
, 79
, 90
40, 53, 56, 109
2223, 2731, 6366,
82-88
64, 80
5051
6061
11-20, 30, 34, 35,64
, 118, 121122
44, 45,
66
89
48, 5152
68
15, 128135
1520, 2731, 3536,
49-53,116-118
42-43
, 67
, 23, 36, 37, 42, 53, 56,
109
3741,
56
59, 60, 63, 82
, 127128
139
97,101,111,123128,131,
133-134
, 56
, 23
, 9798
, 24
, 134
6061, 121
11
2731, 72, 73, 75
, 22
2025, 2830, 58,
85-87
, 76
, 7980,
84, 98,110, 113
, 14
58, 65, 68
, 133
, 117
115
110113, 128
55, 110
57, 6365, 73
6366, 73, 80, 116, 128
, 56
118121
3940
5859, 7172,
76, 79
1114, 20, 23, 34, 35
9, 1420, 23,
135
130131, 135
6466, 7076,
90, 134
29, 71, 72,
75, 76, 89,134
10, 115122, 131, 135
, 15
6061
, 5152
4853, 57, 64, 72,120
4853, 64, 72, 85,117
48, 5153
(Entscheidungsproblem)
97, 99,110, 111, 113
, 5657, 65
(
) 11-16,18, 20
NP 126, 135
, 9, 35, 4248, 56,
58-59, 113
27, 29
31, 72, 73
52, 53, 64, 112, 113
2023, 2930, 73, 85
122129
128
, 52
, 1114
140
99100
24-26, 62-63, 81, 83,
101
64, 7983, 86,101102
, 67
, 1520, 78
129
9396
9, 4849, 72, 112
49, 5253, 64, 72,
112, 116, 117
73,
75-76, 85, 89, 113
120
141
-
2014
22
.
, , :
,
: , 105066,
. , . , . 3, . 1
.
:
:
:
:
:
:
:
, ,
www.deagostini.ru,
:
8-800-200-02-01
:
8-495-660-02-02
:
, 600001, . , / 30,
,
,
(
e-mail).
:
:
: 01032, ,
. , . , 119
:
, ,
www.deagostini.ua,
:
0-800-500-8-40
:
, 01033, . , a/ ,
, 01033, . , /
:
, 220037, . ,
. , 48, 8/,
./: (+375 17) 331-94-41
:
+ 375 17 279-87-87 (-, 9.00-21.00)
:
, 220040, . ,
/ 224, , ,
:
-
.
.
:
Grafica Veneta S.p.A Via Malcanton 2
35010 Trebaseleghe (PD) Italy
: 30.04.2014
: 17.06.2014
70 100 / 16. Academy.
. . . . 4,5.
. . . 5,832.
: 50 000 .
Javier Fresan, 2010 ()
RBA Collecionables S.A., 2011
, 2014
ISBN 978-5-9774-0682-6
ISBN 978-5-9774-0717-5 (. 22)
29 2010 .
436- ,
.
,
,
,
007/2011 23 2011 . 797.