.


:




:

































 

 

 

 


-




, , , . , , . 1 , , , 4.

4 .: . . .... ., , 1996.

 

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

"" : , , ,... :

1) , ;

2) , . . , .

, "" . : (", ", : "'-"/), ("", : "&"); ("", : "v"); ("..., ...", :"->"). "~ ", " & ", " -> " . . : "~ -> & ","(~ -> & ) v ( -> )" . . .

, , . , " 2 2 = 4, " , " 2 2 = 5, " -

5 , . , . 30- : "( ) , ". . . ., 1948, . 20.

 

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

: , , z,.... ( ); , Q, R,..., : V-x- (" "), (" , "), . , , ": ( v ~ Qx)" " ( & Qx)" . .

, , , " ", : " , , ", "Vx ( () -> - ())". . " " , , , . . "". "Vx " , "Pa", "W . .

. . . "Principia Mathemafica" (19101913 .). 1921 . "- ". 1914 , , , . 1919 . , , , . , . , "", . ( 100 ) . '.

, "", , . , , , , , , . , . " , " 7, . , : " " *.

, . . , . , , . , "" , , , , .

, , , , " " 9, . , . " , , , , . , " 10. , -

 

6 , .: . . . ., 1972, " . " : . . . I, ., , 1994; . II, ., , 1994.

7 . - . ., 1958, . I, . 21. "", . . , -, , 1958 . , , .

8 ,5.36.

9 , 4.002.

10 . - . ., 1958, . I, 4.003.

 

, , . 11.

, . "" , "" .





:


: 2017-04-14; !; : 266 |


:

:

, .
==> ...

1838 - | 1642 -


© 2015-2024 lektsii.org - -

: 0.031 .