Вы находитесь на странице: 1из 145

- 2014

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

Javier Fresan, 2010 ()


RBA Coleccionables S.A., 2011
, 2014

:
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

,
.

American Journal of Mathematics


,
(18711953) , ,
,
. ,
.
, ?
, ?
.
, ,
,
, .
.
, ,
.
, .
47


, ,
.
, .
,
, .
,
, .
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)

(#2, 0,1, #3)


(#3,1, N, #0)

, , ,
.
.

. 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

, 5558, 6366, 71,


76,110-111

modus ponens 21, 25, 26, 28, 30, 75


modus tollens 21, 22, 25, 30
, 110
66, 76
24, 25, 65
98
14, 76
2326, 45, 5666, 71
90,134
, 98100
, 1819
, 76
3739, 5153, 6566,
68,109,110
3739
, 14
, 66
36
, 3536
41
, 98100
, 89
98,104-106,110-113,127-130
, 65
98,105-107,110,113,127-129
, 72
, 11, 14, 72, 100
73, 75, 78-86,109-111
, 9, 53, 56, 67-91,110,
128-135
, 83-87
, 72

, 5566, 71, 76,

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

4247, 53, 64, 68


53
44, 48

, 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

69, 7179, 8490, 134


81
83,86

140

101110, 124, 128


, 47, 66, 76
, 108

99100
24-26, 62-63, 81, 83,

3542, 47, 48, 56, 60, 65


16
45, 47
, 96, 99,101,108111,
113, 128-135
93113, 124, 127
128
, 5659, 71, 74
22
49
64, 66, 70, 76
, 7072, 84, 91
9, 65, 68, 70, 121, 133
128
, 15, 4243, 4546,
56-57
59,101-102,105,109,119,

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.