Основные структуры классической математики

%. $%

, !

!.

( ),

&,

$%. 4 % % $%

*. - ) %, & !, !

. -

( ) « », « »,

% ..

)

1 , ( , ,

), 5,

0 * $%.

( )

) ( ) , . .

)

. %

14.

0 ,

* .

1 )

– * . . ,

2 «!»

*, 1. 8 )

2 , 2

* , ) ,

2 *

. /

* , ) % «

! ».

* . .

' # (1823–1891): «&

, – ».

14 " (1872–1970) – , ,

: % . – +: - - + . - ,

1999; : : % . – : +, 5-# ) :

, 2000. – 464 .

11

# ! . . 15, « 1

*. 4 1-

% 1 . (

)

. $ 1

,

1 ( )

. … &

, % 1 , ) *

». $ (428–347 . 1.) «

», * * ! * (+) ) - ( ).

, )

– . *

) - . $

( ) )

(), ), * « ». +

$ . 4 . . , «

* 1

* ' ».

. ) .

% %

* ,

) . ( *

, .

% 16. 8

, 1 ,

. 0,

, * * – , ) * * 2 . ( –

1 .

, )

% 0 (1596–1650),

. «$ % %»

15. . . – .: - , 1995. – 4. 21–22.

164. , 1:

. . – .: , 1984. – 447 .; . $

. – .: , 1988. – 296 .

12

, « !

% , – * ».

$ % % ,

. # (1473–1543), + " (1546–1601) - # (1571–1630), !

. & & (1564–1642) 1 "1 (1561–1626) 0,

1 . *

– – &

: «- , , ,

* ». &

% - . (1643–1727) % % & % ' (1646–1716).

& . )

–

, % 2. 0 ) !

* % XX

$ 0 (1902–1984): «0 , )

, , %… 4

% ». 9 )

* %

( . 1918): «# ) % – 1

)».

« % %» .

;

% ,

% . . '

%% – *

. XVII–XVIII

– .

% % * *

, *

, , ,

1. $* %% ,

)

. 4 % %

, ,

) , .

13

. ) XIX

.

,

%, ,

,

) – . $ , . , ! *

, XX

) . (

– ,

%.

5 $

&

* XX . 5 ) -)

«9 » *

% , ! . ". 4 XX

- ,

1 -) . !

9. 4 . (1894–1964)

( ) )

! %. "

) *

) ! !

. ! 35

(« »), *

, *

) ,

, 2 * .

% ( XX

, 1 . + % %

1 ),

; 2

( ). 4

1 .

14

« »

. - – 1

, , . 4 , % %

%

, . .

) *,

.

, * * $%, , 5 ( . 287– . 212 . 1.).

, «!»

' , ) * *. 1 . !

) * -

.

2%% )

,

. 5 $ (1854–1912)

, « *

»;

1%. .

) , ,

. # ,

.

2

, 1 . .

, ) )

!. *

), ! .

* ,

, * , , 2 . )

% ) .

,

). 3 ,

# ' # '

, * , %

, -

15

. #, ,

% * % ,

% %, ), , , .

. *

: ' (%, )

(%, , , 1

. .) *,

%, 4 4

.

) . 4 * % ( )

. 5 % -

: (* ), ,

- , , . ,*

.

% % %,

% % , ) % %.

, , , ,

!

. 9 * % !, *

.

* *. .%

, *

, *

, ! * 2

).

% % )

% % , ) *

2 , *

.

* !

%. % % %

. ;. $ 17,

17 . 5. % . – .: $ -+, 2001. – 320 .; ) . –

.: , 44, 2004; 5 // % %. – 2005. –

< 3. – 4. 103–117.

16

*

. $ .

(1), %,

( . -. 5).

(2)– ,

( , -

5. 5. , .. .. . 18).

(3)– , ) * « »

, ! (

5. 0. 5).

(4)– ) , *

, * (", 5. 0. 5, % . . $ ).

) ( ),

(%), , . .

(&). 4

(%). – %.

(0). – *. -

. – 1

( 19, &).

. (4), * .

-6 ) *

% % '20 )

, * .

% %, *

,

2 ( , %,

. .). # %

, ( "), . *

– , %21.

184. : $ . – .: - - ..

- , 2000. – 521 .

19& (1885–1955) – , % % .

4. : % % . – .; '.: &++-, 1934;

!. – .: . , 1989. – 400 .

20# % ) 5. #

%, %. $% «

» % « %». $ )

* % ( , ).

21" , – 1 .

17

, , 1

, )

. $ ! % %, %,

.
4
+. -.	% %.

«- % %»22 % % %7, ) * ) , . . )

. - ) % 23

: «% * % %,

) , *

% % ». % *

– % %, *

« % % ». % ( «

%», « %»)

, . %

– *, )

. $ , % «

!».

)

.

1 , % *

% %. - , % %

. - , % %

, *

* . 0 )

% %. . * % %

% % % *

,

. ) %,

, . - 1 * % % )

% . (,

% ) –

.

22. - % %. – .: -', 1959.

23- . (. % % %. – 4$ .: 5, 1999.

18

% – * *

. % % * - :

( ), ( ),

( , ) ( ,

). + % %

! 1 . * :

	←→

! 2

% , , 2.

% ) ! * % %

, 1. (,

1 «2– »

* ( ),

«2–2». %

. 5

% % 1 ,

2 . $ % * !

,

% % % . %

* ,

%24.

/ – 5, 2

. 9 ! , .

. ) , !

, . - 1

1%% ). # ,

( ) .

% % ) )

, * .

% %:

, %

. . % %

* , !

.

% ) § 22

«% » ( . . 8).

24 7 * . $. % % . – .: , 44, 2005. – 232 .

19

1. ! "# $

,

.

), ) * [2, 12].

1.1. ! '$

$ ) *

. 4 )

& # 1 : «)

, ». *

.. .. ' (1883–1950) )

!,

– 1 ).

) * ):

2,

* . 2,

* ), 2. #

, ) ! ,

1 – . - . 2 a ) A: aÎ A; ! aÏ A.

aÎ A , a 1 A, a ) () ,

) ) A. ) A B (A=B),

) 1. ) A

( ) ) B (AÍ B), ) 1

) A 1 ) B; 1 , A

B, B ) A. -. #

) * :

AÍ A (' %);

(AÍ B)&(BÍ +) (AÍ C) (%); (AÍ B)&(BÍ A) (A=B) (%)

() A, B, + ; !

).

! # Ì )

: AÌ B , AÍ B, A¹B (* 1 bÎ B, ) * A). AÌ B , A

) B. ! Ì

', . . AË A ) A.

20