You are on page 1of 117

, ,

. .
6 6

2015

&
&

..

::

>

::


..


::

D
Daavviidd H
Onn tthhee iinnffiinniittee))
Hiillbbeerrtt,,

((O


::

..


::

221111..550022

,,
22000022

David Hilbert

0.
1. ...5
2.
...6
3. ..7
4. Hilbert .41
5. Hilbert.45
6.

Hilbert64

7. Hilbert.71
8. .72
9. :
74
10. : 78

1 . 1
David Hilbert Knigsberg
1862( Kant)
. 1884,
, ,
. ,
Gttigen,
, 1930.
Hilbert ,


,
. , Zhalbericht,
40 ,

1899.
, o Hilbert
,
,
. ,

,
Fredholm, , ,
. Waring,

.
, o Hilbert
,
. , ,
. ,
,
.
Knigsberg 1943.

2 .

,

.
Hilbert
( .. 1993).
.. ,
, ( )
,
,
1

/ , 44, 8-9 2000


6

. .
,
Timthy Eyre ,
(http://www.users.waitrose.com/~timothyeyre/index.html )
. . (
1999 )

Hilbert ,
.
.
..
1985.

3. 2

Weierstrass

, ,
,
,
3
2

( ) ~Uebr das Uiiendliche Hilbert 4 1925


Weierstrass .
Erna Putnam Gerlad J. Massey mathematishe Annalen () .95 .161-90 .
Spinger Verlag
3

, Libnitz y
=x2 , :
y+Dy=(x+Dx)2 y+Dy=x2+2xDx +(Dx)2 Dy=2xDx +(Dx)2

Dy
Dy
= 2 x Dx ,
= 2 x + Dx ( Dx 0 )
Dx
Dx
7


,

,

, ,
Weierstrass.
, Weierstrass ,
.
/
.
Weierstrass ,

.


,
.
Weierstrass
,

, , ..,


.
, . Berkeley Libnitz (
. .116)
8

, , Weierstrass .

- -.
,

, , ,
, ,
,
,
.

,


, .

.
.

. Weierstrass
.
, .

. , .., ,
,


!
,
, .
, :
.
(. ) ,
. ,
.

, :

, - , ;

,
.
,
, ,
. .
, .
,
, . , ,
,
, . ,

,
.
10



,


.
.
.
, .
, , ,
.
.
,
, .
,
,
.

, ,
,
.


, . .


,
.

11

.
,
.

,
, 4.
,
, .

. Planck .
, ,


.
.

.
,
.
,
.

Kant, Kant,
. , , ,
,
, ,

4

Hilbert
.

12

.
. E
, .

, , ,
.
. .
,
,
. .

.

.

. Einstein
. o
Einstein
, ,

.
, . .


.
.
13

.
, .
,
, ..

12 + 2 2 + 3 2 + 4 2 + ...... + n 2 =

1
n(n + 1)(2n + 1)
6

n ,
2 5,
.

,

1
12 + 2 3 = .2.3.5
6

12 + 2

+ 3

+ 4

+ 5

1
. 5 . 6 . 11
6


, .
,
,
.
. ,

. , ,
: .
14


.
,
. ,
. ,

.

. ,
.

- .

.
,
, . .
, ,
, . ,
.
,
,
1, 2, 3, 4,...
.
, .
. ,
.
15


. ,
, ,
,
5,
. , ,
(.., ,
,
)
,
.
,
Weierstrass.
,
.
, ,
.


5

17 18

. :

S= 1-1+1-1+1-1+1-1+1-1+1.
:
S= (1-1)+(1-1)+(1-1) +(1-1)+(1-1)+..=0+0+0+0+.=0

S= 1-(1-1)-(1-1)-(1-1)-(1-1)-(1-1)-..=1-0-0-0-0-0-.=1
Louitzi Guino Grandi(1671-1742) :
0 1 ,
S= 1-(1-1+1-1+1-1+1-1+1-1+1-1+..)=1-S
S=1-S 2S=1 S=

1
2
16

:
George

Cantor. ,

.

.
;

o Cantor

, :


, ,
., , .
. , ..,
1, 2, 3, 4,... ,

.
.
Frege Dedekind,
, ,
,
, .

. Dedekind
,
.
o Cantor.
:
17

1. 1 , 2 , 3 , 4, .
2. 0 1 ,
, 0
1.

. ,

. ,
, .

1 1 2 1
3
, , , ,..... ..........,
2 3 3 4
7

,
.6

.
, .
: ,
,
0 1
.
,
.
: (1) (2)
, , . (2)
7, (1).
6

, 1-1 .
Cantor , (0,1)
, 1-1 .
0 ( ) (,1) 20
20>0
7

18

Cantor.

, .

1,2,3,..!

.
.
1, 2, 3,...,.

Cantor,

,
+ 1, +2 ....... +
.2
.2 + 1, .2 + 2, .2 + 3 ...2 + = .3 , ,
.2, .3, .4, . .( = 2) 2+1
:
1, 2, 3,..
, + 1 , + 2 , +3 , +4 , .
.2, (.2) + 1, (.2) + 2,
.3, (.3) + 1, (.3) + 2,...
.
.
.
2 , 2+1 , 2+2, 2+3,
2+ , 2+.2 , 2+.3 ,
(2.2) , (2.2)+1 , .
(2.2)+, (2.2)+(.2) , ..
3,..
4, .
.
.
19

.
.

, ,

,..

Cantor ,
, .

, .
,

, .
, , ,.. .
, -, ( + 1)-, ( + 2)-
.
,
, ,

.
o Cantor

. ,
Frege, Dedekind Cantor,
.
, .
. ,
.
,
20

.
,
.
, ,
,
.
Zermelo Russell, ,
.
, o Dedekind Frege
: o Dedekind
Was
sind und was so/len die Zahlen, o Frege,
,
Grundgesetze der Arithmetik .
Cantor
. ,


. ,
,
.
,
.
. ,

, ,
, !

21

,
;

, .


:
1. ,

,
.
o Cantor.8
2.


.

.
, , .
;
; ,
;
,
,
,

22

9 ; !
.
,

. , .

.
,
Kant. Kant

.
,
.
Frege Dedekind
.


: .
.
,
.
, ,
, ,
,
.
8

Hilbert ,

.
9

inhalttlich , .
23


, , ,
. , ,
,
, .

4 .

.

. , ,

, .
. ,
,
.


, .
, .
,
.,
(
)

.
.
:
1, 11 , 111 , 1111 ,11111, 111111 ,

24


1
1.
, .
,
. ,
10

11 3
111. +, -

. 2 + 3 = 3 + 2
2 + 3 3 + 2,
, , . 11111.
, 3-2
3 (. 111)
2 (. 11) , ,
.
a, b, c
. , b>a
o b , o
a. , , a+b=b+a
a+b b+a. ,

. ,
, ,
.

10

. , ,
.
-
, .
25


.
39
11
p= 178 141 183 460 469 231 731 687 303 715 884 105 727.
,
, p
+1 p!+1 . ,

,
:
p+1 p+2 p+3 . p+1
.
, :
(1)

(2) p!+1

. .

p . ,

,
,
,

11

, /
.
26

,
.
; .
,
, , :
p + 1 p + 2 p+3 ..... ,
, :
,
:
. ,

.
, :
p + 1 p + 2 p +3 .. .. ( )
,
, , 6,
,
, .
, ,

.
, ,

, .
,
27

.

7 . , ,
. ,
. . ..,
a ,
a+1=1+a

. .

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



.
,
28

.
,
,
. ,
,
,

. ;
, ,

,
.
.


, o i = 1
, ..
. ,
~
: ..,
2 1+ 5 ,
.
o Kronecker
o Kronecker
Kummer ,
.
.
,
.
29

.
,
.

. ,


.


.
,
,

.
, ,
. ,
, 1, 11,.. . 11111
.
. ,
,
,
, ..,
a+b=b+a

30

a b ,
,

+=+ .

,

2+3=3+2,
5+7=7+5
,
2,3,5,7, .
( ),
a, b, = , + ,
a+b=b+a ,
,
.

.
,

.

31

, ,
,
,
3>2 , 2+3=3+2 ,

2=3 ,

1 1,

, ,
.


,
. :
.

. ,
,
, ..
.
,
.
, . ,
.
,
.



. :
32

&,

~12

, a, b, c, . . .
, .
. B, C,.. ;

,
Einstein

:
. ,

. ,

,
.
,

.


.
, 12

( )
Hilbert _ , ~

33

,
, .

, ,
.
,


(

) (
).

. ,

. ,
,
:

G
GI
____
I

34

, . G G I ,


.
, .

.
,
, .
:
. :
(i)

A ( B A)

( )
(ii)

( B C ) {( A B) ( A C )}

( )
. :
_

(i) { A ( B & B)} A


( )
__

(ii) A A
( ).
.

35

. :
()() (b)
( )
(ii)

(a ) A(a ) ( Ea) A(a )

( ,
)
_

(iii)

( Ea) A(a ) (a ) A(a )

( ,
).
:


, . :
(i) A() ()

9.
:
IV. :
() =
(ii) a = b {A(a) A(b)
:
V. :

(i)

a +1 0
36


(ii)

[{ A(0) & ( x)( Ax) A( x ' ))} A(a)].



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

, .
, ,
.
, . ,
, ,
,
1 1 , 1 1
.
,
, ... 2
, . a b
a2 =2b2 ,

37

. ,
.
,
. .
1 1 ,

. ,
.
,
:

.
, .
-, ,
.
.
,
.

.


.
,
,
.
,
,
, , . ,
38


,

.
,

,
.
, , , ,
, .
,
. .
-

: ,
ignorabimus (
) .

. ,

.
, .


.
- . Cantor
39

,
, ,
,
,
, .

. ,
, ,

, ,
Cantor .

.
.
. , ,

: ,
,

.

13


13 .
, .
40

, -
.

Frege Dedekint ,
, ()
. .

.
, ,
Kant

.
,
.
, P.
Bernays
,
._

4. Hilbert
, Hilbert
4 1925
, Weierstrass .

41

, ,
,
, .
Cantor
, ,
,


.
.
Weierstrass -

,
( ) ,
.. Cauchy

.
Hilbert,
, :
)
)
, ,
: ,

. , ,
(, )
. ,
,
42

.
,
.
.
,
.
.
( )
.

, ,

(
)
,
Hilbert, ,

.
Hilbert , ,
:
(i)

,
,

(ii)

,
,
.


25
43

Hilbert .,
Hilbert,
. ,
:
.
.
- , ,
. ..
,
, ,
Zermero-Fraenkel
. Hilbert,
( ) Cantor

Hilbert, ,
. ,
:
1. ,
,

, ,
Weierstrass ,
.
2. ,
.
Hilbert- :


44




.
3.
,

.

5. David
Hilbert14
T 4 1925 David Hilbert
Westphalian Karl
Weierstrass. To , ,

.

( )
Hilbert
.
Dedekind
, 1901,

14

To Tim Eyre

1994.

45

( ).


.
(
) .

.

.
.

.
Hilbert
.
,

. , Hilbert,
. , ,

.
, .



.
.
,
. Hilbert
46

,
.
.

, Weierstrass.
,
- ( ,
)
,
.
,
.
.
A .
Hilbert
.
. ,
.
,
.
,
.

,
.
,

.
,
47

,

.

, .

10-24 sec .
, .
,
.
, . Hilbert

.
-
.
,

;
, , ()
, () .

,
( ) .

, ,
.

48

. ,
,
.

15 .

.
,

. ,


.
, ,
.

.

,
. ,
- .
- .
,
,
. , ,
, .
.

15

49


, .

Hilbert .

.
.
Hilbert
. 1825 Lobachevsky
:
() ,
()
: ()
,
()


.
Hilbert
.
. .
.
,
.
,
,
.
,
50

.
,

,
,
,
.


.


.
.


.


Hilbert.
, .[]
,
.. .

.
Hilbert
.
51

.
.
. ilbert
, Cantor.
,
, (;) .
Cantor
. w
Zermelo von Neuman 16.
Hilbert
.

( ,
[0,1]
[0,1].
Cantor,
Zermelo-Hilbert
.

Zemelo

.
17

;
16
17



52

Hilbert.
Cantor


Cantor
Hilbert
,
; ,
, .


.
.

( )
.
.
.
,
,


.

;
,

. ,
.
53

,
.
.

Hilbert
,..
K .
-, .

a priori .
(),
(a priori).
.
, ,

.

,

.
Hilbert
,
.
.
,
,
. Hilbert

54


( ..)

.

.
Tarski .
18. , Tarski

.
Hilbert
Hilbert.

, .

, .
Goedel ,
.
Henri Poincare (. 1912)
a priori
.

.

.
, .
,

55

Schoedinger Einstein.

.

,
.

.
,
.
Hilbert

.
.
.
.


.
O Hilbert

.
. Tarski
.
Hilbert,
.

,
18

.
56

,
.
: p.

p.
p p!+1 ,
.

.
. Poincare
.
,

.

.
.
.


+1=1+. tetrium non datum (
,
),

.
.

.
57

, (
p) tetrium non datum.
Hilbert
,

. .
, ,
, .
.
.
,
,
.
Hilbert .

Weierstrauss.
.
,
,

.
Hilbert
: .
,
,
x, a
b.
.

58


.
.
;
.
.
.
Hilbert .


.
Hilbert
,
.

.
,
, 1 .
Hilbert
,
.
,
.

,

.

59

.
.

Hilbert. Hilbert


.
. A
, Godel
.
Hilbert
.
- .


. Hilbert ( De
Morgan)
. ,
De Morgan

. . Hilbert
De Morgan

.

.

,
( )
60

.

;
,

.


. tertium nor datur,
.
Hilbert

.

(
).
.
, .
Hilbert
.


.

1 1.
1 1
61

. Hilbert o
, Godel. H


(;) .
1!=1
. ,
.
, , Hilbert
.

.

Cantor. M
,
.
19.
,

Hilbert Godel
.
Brouwer.


.
.
.
Brouwer
.
62



.


.
.

, .


.

.
,
.

/ .
, .


, ,
,

,

63

.
- .

6. D. Hilbert
O Hilbert ,
.
.
. ,
Dedekind
Cantor ,
,
.
, Brouwer, Hilbert , ,

.
Hilbert
192019 . Hilbert ,
(finitism) ,
, ,
.

,
19

, 1999 . 75
64

, Hilbert ,
. ,
,
, Weyl .
O ilbert ,
, .
Hilbert
Goedel (1931) ,
, ,
.
Frege
Ryssell , Poincare Brouwer .
Hilbert ,
,
., ,
.
,
, Hilbert,
,
.20
Hilbert


( ), .

,
.
Hilbert

65


. (Resnik 1980, 86)

.
-
.
, :
.
, , .., 111...11.

.
(1) (*)
()

. , Hilbert

:
.

1,11,111, 1111,...,

1,2,3,4,...

3<5
3

20

. 1999 , 76
66

5.

.

, o Hilbert
. ,

.

(ideal elements)
, , ..,
i

2+1=0

. , .., ,
.
:
(1)

a+b=b+a, :

(2)

(a)(b)(a+b=b+a),21


( , )
.

67

(1) ,
:
3)

(+=+),

:
<+=+>
(4)

,
, , .., 2 + 3 =3 + 2.


,
.
,
. ,
.
,
,
.
Hilbert :

.
, , .., 2524=29
=+ (
21

, ()
68

). ,
2524 29 ,
( ).

, ,
.

,

, .
von Neumann,


.
() . von
Neumann

.

.
von Neumann

().
,
,
.
/ ,
. , o von Neumann
F(x) 69

,
.

()

F(x) . F(x)
Goldbach ,
, ,
Gldbach22
von Neumann ,

,
,
( ). ,
,
,

,
.


.

(
)
(Schemata) (
(Primitive Recursive Arithmetic), ).

, o Hilbert


22

,
70

. .
,
(,
),
( ),
.
,
Goedel,
Hilbert.
,
,
,

:

.

7. Hilbert23
Hilbert, ,
.

.
.

23

. 1999 (.82-91)
71

8. .


.5~

,
.
ibert ,
.
, ibert,
(finitism). , ,

, ,
-, (..,
281).
,

. ,

,
.


72

, .

:
,
+ 1;

,
modulo N,
.
Hilbert ,
,
.
,
, ..,
(1) 111111111111111111111111111111111
, ,
(1) .
, (1) 30 33
,
.

(2) 1111111111<11111111111.
, .., (2) ;
,
73

,
, , .., 10 11.
,
, ,
Hilbert.


,
,
.
, 11 11 ( , .).
,
:
.

9. :
.

Hilbert.

:
. Hilbert
o Hilbert
. , o Hilbert

,
74

.
,

. Hilbert

( , ..
): Frege
Russell. Hilbert :

, .
o Hilbert,
,
-
.
-
Hilbert,

. ,
Hilbert
,

Hilbert,
.
Weyl
Hilbert:
[O Hilbert]

.

75

Hilbert, n
.
Hilbert, o Weyl

,
Brouwer.
,
Weyl, :
o Hilbert 0`, 0``,
```,... 0`````.`,

.

o Weyl :
(1) ()(),
.
, (1)
(0), (1), (2)

Weyl
.
,
(1), Herbrand:
,

76

()

,
,
,
Brouwer
(1)
(). , Hilbert
/
.
von Neumann,
,
. , von Neumann,


.
, von Neumann,
.
:

/
.


,
.


77

,
. ,
.

10. : .

.

.

.

. ilbert ,

,
. ,

,
(
).

o Hilbert (status)
. ,
,
78

.
:
, ~

. Hilbert

.

.

, , ..,
2 + 1=0,
,
.., ,

. , ..
,
.
( , ..)
.



. ,


.
Hilbert,
,
79

. Hilbert


. . ,

. ,
,
(,
). Hilbert,
.
,
,
,
.
,
:
. ,
.
,


. ,
,
,

.

.

80

81

( & )



.
V
:
, , g
, h , ,
s, .
V
.
:
:
, L , :
[V] = L3
[] = L-3
-2
[g] = LT
[ ] =
[h] = L
[] = L-3

MLL
]
2

T
= L2T-2
]=
Es = [

[M]
[

:
Va b gc d he f sg , L, M, :
Va b gc d he f sg = T0 M0 L0

(L ) (ML ) (LT )
3 a

3 b

2 c

Md Le ML3

( & )

) (L T )
f

2 g

= T 0M0L0

T 2c 2g Mb + d+ f L3a 3b+c + e3 f + 2g = T 0M0L0


3a 3b + c + e 3f + 2g = 0
2c 2g = 0

b + d + f = 0
b + d + f = 0
2c 2g = 0
3a 3b + c + e 3f + 2g = 0

rank(A)

3 3 1 0 1 3 2
3 3 1 0 1 3 2
1
L3 L3
L1 L3 +L1
2
A = 0 1 0 1 0 1 0

0 1 0 1 0 1 0
0 0 2 0 0 0 2
0 0 1 0 0 0 1
3 0 0 3 1 0 1
3 3 0 0 1 3 1
1
L1 L3

0 1 0 1 0 1 0
L1 3L2 +L1
3

0 1 0 1 0 1 0

0 0 1 0 0 0 1
0 0 1 0 0 0 1

1 0 0 1
0 1 0 1

0 0 1 0

1
1
0
3
3
0 1 0

0 0 1

rank(A)=3. V
dimV=7-3=4.
, 4 (d, e, f, g )
:

1
1
1
1

a + d + 3 e + 3 g = 0
a = d 3 e 3 g

b = d f

b + d + f = 0
c + g = 0
c = g

1
1
(a, b, c, d, e, f , g) = ( d e g, d f , g, d, e, f , g)
3
3

7 4
(d, e, f, g).
(d, e, f, g) (1, 0, 0, 0), (0, 1, 0, 0),

( & )

(0, 0, 1, 0) (0, 0, 0, 1)
. 1
0 , 4 , ,
, :
(1, 0, 0, 0) -> (-1, -1, 0, 1, 0, 0, 0)
(0, 1, 0, 0) -> (-1/3, 0, 0, 0, 1, 0, 0)
(0, 0, 1, 0) -> (0, -1, 0, 0, 0, 1, 0)
(0, 0, 0, 1) -> (-1/3, 0, -1, 0, 0, 0, 1) , :

1=V-1-1 ,
1/3

2=V-1/3h , 3=-1 , 4=V-

Backingham f : f(1, 2, 3, 4)=0.


V, (3)
.
1, 2, 4 ,
, V, (
V-1/3) . .

V 1 1V 1 / 3g 1 E s
E s
1 4
1
(
)
V
= ( 3 )
=

=
V 1 / 3 h
2
gh( 1)

( & )

t . t ()
. l.

.

x
k =
.

t, ,
/ .

,
:
L , , .
:

s
0 1 2
t
[F]=[m ]=[m ] = [m ] = [m 2 ] = M LT
t
t
t

[E]=[F s]=(1) MLT-2L=M1 L2T-2


[]=M0 L0T0
:

(1)

(2)
(3)

F.S
m..S ( 2) ML2T2

[ ] = [ ] = [ ] = [ ] = [
]=
= M0L1T2 . (4)
3
V
V
V
L
E
2 2
E.l
( 2 )( 3)( 4 ) L T L
S
.
t
[] = [ ] = [
]=
= M 0 L1T 3
2
:
. (5)

S.t.
LT
l
:
t l()() .
, , L , :
[t l()()]=T0 M0 L0
T L (L-1 T-2) (L-1 T-2) (L T-3)= T0 M0 L0
-2-2-3 L--+ ++ = T0 M0 L0

2 2 3 = 0

+ = 0
+ + = 0

3 5 .

( & )

1 0 2 2 3
1 0 0 0 1
1 1 + 2 3
2 2 + 3
0 1 1 1 1

A = 0 1 1 1 1

1 1
0 0 1 1 1
0 0 1
1 0 0 0 1
0 1 0 0 2 = B

0 0 1 1 1
rank()=3
:( )-rank(A) =5-3=2.
, (.. )
.
:

a = 0
=

+ 2 = 0 = 2
+ + = 0 =

(, , , , )=(, -2, --, , ) , (6)


5 5 (, , 0, 0, 0),
2 (,). ( =0 =1) (=1
=0) (6)
(1, -2, -1, 0, 1) (0, 0, -1, 1, 0) .( )
o : 1=tl-2()-1 2=()-1()1 . T
Backingham f f(1, 2)=0.
1=(2). :
tl-2()-1 = (()-1()1 ) =>

l 2
( ) 1 ( )1 .
t=

( & )

29/12/2006



, .
;

,

, .
. ,
(
,
!) .
, ,

. ,
, .


.(!) , !

:
- , .
. . .
' !
.
.
, . '
.
- , , !

29/12/2006

- , , , .

,

.! (!!)

,
,
.
, ,
, , !
, ,

.
, . (
! -
1970 .. !)
,
()
. ,
( )
! ,
. ( , ,
. , , ,
. ,
. , .

;
, .

29/12/2006

. ,
. ,
.


- ,
.

. 1 - - Landahl
) Landahl

w(n) (56)
(57).
: Directions in mathematical psychology II.AMM
1976,pp153-1
) /
.. (57) ,

(learning curve)
) ,
;
: .
(Fractals)- 2002

Anatol Rapoport
Landahl .
, ,
, ,
.
Landahl
,
c ,
w
.
b

. 2 - - Landahl

. ,
(c-Ew)
. , n ,
:
(n)=Ec(0)-Ew(0)+bc+w+X
c , w
( : n=c+w), b,
.
:

pw(n)=P[(n)<0]=P[X<Ew(0)-Ec(0)-bc-w]=P[X<Ew(0)Ec(0)-bn+(b-)w]. (1)
n , pw(n)

dw
dw

dn . pw(n)= dn (2).
, (1)
, w(n),
, n.

k k x
(
)
=

f
x
e , k
O Landahl
2
(Laplacian), .
(2)
b> :
c(0)=Ew(0) w(0)=0.
:

. 3 - - Landahl
pw(n)=P[X<Ew(0)-Ec(0)-bn+(b-)w]=F[Ew(0)-Ec(0)-bn+(b-)w],
F .
:
bn + ( b ) w

pw(n)=

k k x
e dx
,
2

bn+(b-)w<0

b > b > 0
bn > (b ) w bn + (b ) w < 0 ), :
( n > w > 0

pw(n)=
bn+(b )w

k
1
ekxdx =
2
2

bn+(b )w

1
kekxdx = ekbn+(b )kw lim ekx =
x

1
ekbn+(b )kw , > 0
2
pw(n)
/2. f(x)
Landahl, ,
: f(x)>0 , x, >0
+

1
k
f ( x ) = 1 e k x dx = 1 ( ke kx dx + ke kx dx ) =
2
2 0

) (

1
1
1 lim e kx + 1 lim e kx = 2 = 1
x +
x

2
2
1, >0.

. 4 - - Landahl
/2.
Landahl /2 /2
:

f ( x) =

k k x
e , .
2

1 bkn + ( b ) kw
.
pw(n)= 2 e
:

dw
=
pw(n)=
dn

1
dw 1
= ebkn+(b )kw = ebkne(b )kw 2e(b )kwdw = ebkndn
2
dn 2

2e

dw = e

( b ) kw

bkn

ek (b )w ekbn
=
+c
dn 2
(b )k kb

c
.
:

. 5 - - Landahl

w(n) = 0 n = w = 0

c=

2
1
2
1
=
+ c c =
+
(b )k kb
(b )k kb

2b + b
b
c =
kb(b )
kb(b )

2ekb(b)w ekbn b+
2ekb(b)w ekbn b+
=

=
+

(b)k kb kb(b) (b)k kb kb(b)


2bekb(b)w =(b)ekbn +b+ ln2bekb(b)w =ln(b)ekbn +b+
ln2b+lnek(b)w =ln(b)ekbn +b+ ln2bk(b)w=ln(b)ekbn +b+
k(b)w=ln2bln(b)ekbn +b+ k(b)w=ln

w=

1
2b
ln
,
k(b) (b)ekbn +b+

w=

1
2b
ln
k(b) (b)ekbn +2b(b)

2b

(b)ekbn +b+

b+ =2b(b) ,

w(n) (56) .

. 6 - - Landahl
Rapoport =0

dc
pc= dn

pc

dpc
:
dn = bpc(1-pc), b=kb.
c(n).
:

dpc
dpc
dpc
= b' pc(1 pc ) = kbpc(1 pc )
= kbdn
= kbdn
dn
pc(1 pc )
pc(1 pc)
1
1
1
1
+
=

+
dp
kb
dn
dp
pc 1 pc c pc c 1 pc dpc = kbdn
p
p
p
ln pc ln(1 pc) = kbn +a ln c = kbn+a c = ekbn+a c = Aekbn
1 pc
1 pc
1 pc
Aekbn
pc = (1 pc )Ae pc(1+ Ae ) = Ae pc =
1+ Aekbn
kbn

kbn

kbn

dc dc Aekbn
Aekbn
Aekbn
dc =
pc = =
dn dc =
dn
kbn
kbn
kbn
dn dn 1+ Ae
1+ Ae
1+ Ae
1 (1+ Aekbn)'
1
1
kbn
kbn
=

=
+

=
+
dc
dn
dc
Ae
dn
c
n
Ae
[ln(1
)]'
(
)
ln(1
)+B (3)
kb 1+Aekbn
kb
kb

. 7 - - Landahl

0=

c(0)=0 , :

1
1
ln(1 + A) + B B = ln(1 + A) (3) :
kb
kb

1
1 1 + Aekbn
kbn
c(n) = ( ln(1 + Ae ) ln(1 + A) ) c(n) = ln
1+ A
kb
kb

, pc
,
, ()
, .
:
pc
,

, (),
!

. 8 - - Landahl

, s
.
, .
1)

. 9 - - Landahl

,

2) :


.
.
, ( )
,
.
3) :
,

,

4) :
.
,
. ,
,
, .. 100m, ,
500gr .
5)

. 10 - - Landahl
,
. , ,
120 .
2-3 ,
580
.
6)
0 , ,
,
. ,
( )

,
,
( )

!
, .
,

.

. 11 - - Landahl

,
.
.. 80
.

, ,
.( 0
!) xn
=

780,


,
.. 88, ,
.
,
() , ()
.
88 ,
80 .

, .
, 45
.

: 10
()

. 12 - - Landahl
18 ().

.

,
.
:

dx
= x(B x)
dt

x (t ) =

B
1 + ke t


(
, ).

dpc
= b' pc (1 pc )
dn

. 13 - - Landahl
pc ,
-,
() Landahl
.

,
,
,
.
(learning curve)
.
)
:
(
, ),
. ,

, .
, ,
.
. ,
,
.

. 14 - - Landahl

, .

.

, .
,
,

..

,
.
,
.
, ,
. , . ,

.
, , = 3,57
.

. 15 - - Landahl

:
. ,
= 3,57 .
Feigenbaum.
= 4,67, :


,
4,67 .
Feingenbaum . ,
,
. ,
. , ,
Feingenbaum
!

. 16 - - Landahl


:
1<<=3 . (
)
3<_3,57
.
3,57<<4,0

. 17 - - Landahl

2009

:
( )
Crucifixion (Corpus Hypercubus) 1954

, ,
,
.
, , , .



.
;

.
, .
, :
,


,
6

, 4 ,
,
8 , ,
.

; ,
, ,
, ,
,
.
.

2009

ii

c  
 
(
,Rolle Lagrange, Bolzano & Brower!)

Onirama
.
-
c   
      
       
    
         
              
    !      " 
! #
  $ 
   !"  # $% &$!% %&
$!%%$%$   '(% # )$$  (*+,c 
   %      &          '    "     

  $(-%%%(%    -!  
  %  % % #$.%--#-"#$$ 
 / 0 12              
 
 

  ! !( 3  # "c   
 #
        
        
  ( )        #         
     
 !   *  
+$

4  # -5


,         
 
,       
 %6%c %78
9
9+
,       
  !:;

c      
 '!(7: < ++
-    
 .        !   !  
     
$%  % %&$!#3& $!$ & (3&
#3! $#"     #= !'$(, 

41 5

>?=)@5
/     # 
  
     
   
          
   #  

-- A &"- "-


B#   $5
0$ /  !    /1  !(
2$ /3 !  /   1         
1        *  ("4 (/   
    
56789:9($
;$ / 3 !    /       1             1
        *  ("4 *
($
          /1         
 
  $(  #, '             3(    
          3      /          
   !  </=/            "  
  3             3$
>(*/   >c4?           
       ! /           
      "        $/        
    
      /    , 
         # "  
$ '/,@?/ 4c?A< B/ ,/<> '/? @C?=@)c?/ c D   E     
  3D   
E D   
EF             
 
            
             
         
     

B(   5
<      /
 G# 1 
  
          
   
       
 
 
 
  ( >      
    
   
   >           /1"/ /1  
G#    
  

B    $   C 



'3     H
/ I" $JI"$   
  
G#     "  I" $$   "

I"$$                  
         "   " $ $         c@K-/L?4c@)  "MI"M$$
    
                  
          3   N "        /1$ "

      !
 
 $
)  C%6% c %/    3( C-%
,)     H
O                     
 /  P-Qc>C@ 1

>?=)@5
/3    /      1  !/1   /
3    /     /1       
   ,@c> 1/ 3     /1   
 1                        
<?'C@c>C /1F
    /1    <?'C@c>C
/1     
    ?4 /1/   
B<c
    
  H


R 
    
     
  
   !  
    
        
                   B<c  
   
   
     
  c)D?B@)?4@?@ED>
'   HO   
/
   
 
    /1
  
   
         
   /1    
 /1 
"3I"3$$"
 3. 


>(--%( %&(   $ $ &


 3$! &#  
7  (+#  ( ,

@  "%(   !"   :;


,


>?=)@5
F #%(( #- ((A G #-&
 3&      %  G,=$,  (    !"    
C6c,
>  !-5
  
 
               

     ! "  ! #$ %
> H(5
/
  " I" $$ "I"$$     
 .   

          "J$           


  . S T
>3- (5
w

w

>    5


A                 MU
            M

c'!(: < ,
>        VWXY96W '    
        %  

    "c    <     
   !   !  Z88W[$
>  !-7 $+5
/
  HS T
S T          M8S T! 
"M$JM

> HF- (5

!!
! ! 

/    
              
      3               
      
 !4    !    J  
\
"M$JM

>?=)@5
c   
 
       !     
     
  
 
   ]     
  
     ^   \  

 
 #] 
#^           "  $ 
   !         J#

,      (

'#5
 c     
           
 

 F      %     &   


    (,,?=?@?=)@*
 >          
  R 
"     
  $     
 >                      
               
 \                  
      _ 
   $  <   
          
                  #  

 !        
 >     
 
,   
 3 
 
  !   ! "      $          
          
56789:9 D F         E "    
   !     `WXXa($




You might also like