. // . . 8. ., 1977.
. . // . . . . -. .2. , 1884.
.. . ., 1963.
1. . ., 1995.
.. . ., 1960.
.. . ., 1967.
() :
, , , . , . (1881- 1966), , 1907 , . , .
.
1. , . , . , , .
2. , , . - , . ( , , , - . , , , , , .) , , . , . .
3. , ( ) , . . . , ( , ). , , " π , ". - a v a . , , - - . : π , "" - ( ); , , . , . , , .
|
|
a→a. , , a , , , .
" ", . " " .
4. , , , , , : , , .
, , , , . . , q - , , , q. , q. , , , , q. , , , .
, , .
, , . . . , "" , , , , , , , 1=0. , , . , . (.. ) , . , (), , .
|
|
. - . 1930 . ( ).
, , , , " " ., .. (1903-1979), .. (1897-1940), .. (1903-1987), .. (. 1919) . , , , . - , . - .
.. 1932 . , . , () . , , - , - . , , . , VxA(x) , , , (), , .
., .ø, . .
() . , -.- [83].
() - . , , , , , . .
|
|
. . ., 1965.
.. . ., 1972.
.. // P.. . ., 1970.
.. . ., 1965.
. ., .. . ., 1981.
.., . . ., 1977.
.. . ., 1977.
. . ., 1975.
.. // . .1969.1.
.. // 40 (1917-1957). ., 1958. .1.
" " ..
. . , - , , . , , , , , , , , .. . , (, 2) .
1910 , , (1880-1940). , , .
.. , . "" , . XX . , "", . , , .. .
"" , .. , , "" , , , , , , "" . " , , "[84], - ...
.. . - . - .. - . (" "), (" , "), ( (" , .. "). . , .
|
|
- , .. , . . , , .., . , - . , .., " , "[85].
. , , , , " , , , , . , "[86]. , , , . , . ( ), " , ? , , , ? , ?.. , , , , , "[87].
, , , , (). , , , . , - , , . , , , , .. , , , .
.. , , . . , , . : " , , . , , , , , "[88].
.. . . .,1989.
.. . // .,1982.
. .. // .. . . .1989.
. (1880-1940). ., 1988.
.. .. // .. , , . ., 1973.
|
|
.. . // ... . . .,1989.
, . , : , , , , 1962 "[89]. . (1878-1956), 1920 . .
, , . , , . , , , , . , . : 1,1/2, 0. , , , 1. , , 0. , , , 1/2.
, , , N,K,A , :
Na | |
1/2 | 1/2 |
1/2 | |||
1/2 | 1/2 | 1/2 | |
1/2 |
1/2 | |||
1/2 | |||
1/2 | 1/2 | 1/2 | |
1/2 1 | ||
1 1 | ||
1/2 | 1/2 | 1 1 |
1/2 1 |
, , , , - . , .
: "" "L". : ", ", La- ", ". :
1/2 | |
La | |
1/2 | |
, I - 1 , - , , , La 1 "0 ,
, . { - / :
=Df | N | |||||
1/2 | 1/2 | 1/2 | 1/2 | |||
1/2, MNa , , 1. , , , , ", ", ", ". , , () .
, 1.
. , ( Na) (NKaNa) : 1/2, A aN NKaN 1/2.
: 1/2, .
1921 . , : , , 2, .
: -, ( ) , , ; -, . , . : , . ø , , ; . .
.. // . 1938. . 4 (46). 2.
.. // . ., 1968.
. . ., 1959.
. ., 1970.
. ., 1970.
. ., 1960.
. // .1954. .95. . 6.
. , - // . 1958. .51.
(1883-1964) , (α→β) ( "Principia Mathematica") , . , , , (, α^α β), (, β α vα). . , .
., ., .. , . . , .. .
, , . , α β (: α=> β), "", α=> β= DFM(α^β), , β. α => β , β , α : , . , p=>(p=>q) p=>(p=>q)B . α β α β. , .