, () , ( ). . . . , . . (. ) , . . -. : (), () , (. ) , . . . , : () .-. , , , . (, ) . . , - , .-. . . , . . , . ., . . . , , .
. . .

. .: . . 1983.



. , , - , . - , - , , , , .. () . [ - . . (., ., W. Quine, Mathematical logic, 1940, . . , , . ., 1961) . . . , .. . . , ].
. . , -, , . ( , ). ? Q , , , (, , ), , , . ., .. , "" . . , . , . ( ), : " " " , " ( , 2).
. . ( ) , , ( - "0", - , ) , . . (, , ). : (. ). .. . ., , , .
. ., "" ( . . ), " " (- ) . . , , . 1, 2,..., , , . . (1 ? (P2 ? ... ? (k ? )...)) ( P1, P2,..., P ? . 1, 2,..., , ) " . ." . , .. . . : , , "" . ., "" "" , - ("") . . .
. . -. . . , , , .-. , . , " . ." " . .".
, , , . (, ), - . . . ( . . , "". ). . : (1) ? ?, .. (? ? ?), , - ? ?; (2) ? ?, .. (? ? ?), , - ? ?; (3) ?, .. ?', . , - ?.
, , , ., : (1) .-. , b, ,... ( ), - , , ".-", - ( . : 0 1 . ); (2) : ?, U, '. : 1) .- ( 0 1, , , ), 2) u ? , (u ? ?), (u U ?) ; u , u' .
. ., - , ., "?" "=" . [ , - , : " ? ?" (" ???"), ? ?; " ? ?" ("?=?"), . . . : u v , (u?v) (u=v) . . . .
(, I, , ) "" . . : " v" (u ? v); "- v" (u ? v') (.. ", -""); " u v" (u v') (.. " -v"); "- u ?" (u ? v) (.. ", u v").
. ("") . . . . -, "-" ( "-") - . , ., ((a ? b) c ? a), , " , ?, ?, b, ?, ", ?, ? .-. D, ?, ? D. . . , , , D, "-", "".
D , : (0) (1). .- 2 : 0 1. (u ? ?), (u U ?), u', 1, 0, . , , (u & v), (u / ?), u u v , "" "" "" "". (u :?) , (u v) ; (u = ?) - , (u =v).
, . ., (.. ?, U, ?, ',= &, /, ?, , ? ), * , ( ) , . (. D. Hubert und W. Ackermann, Grundz?ge der theoretischen Logik, 1959, S. 51-56), (?) ? - . ., - . . - *. [, - .. ((a ? b) ? a) - ((a&b) ? ). ( -, , ) : (II)U (III) (1 / U2 / ... / Un), (IV) ( U / B), , (V) ( U1 / ... / Un / B), U1,U2,...., Un, B . (VI) ( B1 / ... / Bm / U1 U2 / .... / Un), (n >= 2, m >= 0), U1,..., Un, B1,..., Bm , . . *, ? : ( B1 / ... / Bm / Un) .. (V). . . ( ) , - (I)(VI), . . - , .. (. )).
, U1 U2 , B , . .: ((U1 & U2) ? B), - , darapti, felapton, bamalip fesapo, - . . 4 . . , , - . , .. - , . . ( "" . . ?, , "- ? ?", .. ", ? -?": (? ? ?'). ? , , , " ? -?").
, ( 17 . 18 .), , , , , , . . (2- . 19 .) . . . - , . . . (1854), , . . . . . : "" . . (189095) ˸ (1915). , . . ( ) . , . (1919), . . (1922), (192829) . . B. .
. . . . ( ) , ( ); .
, - . . , . . , , - .
.: ., , . ., ., 1909; . ., . , . ., . 35, . 34, 1928; . 36, . 34, 1929; ., ., . , . ., ., 1947; . 2 4 . ., , 1959, . 2; ., , . ., ., 1952; C., . ., 1957 ( , -, , , , ˸, , ); ., . , . ., ., 1959; ., , ., 1961; Ackermann W., Solvable cases oi the decision problem, Amst., 1954, ch. 34.
. . .

. 5- . .: . . 19601970.


: 1968
: » »





:

  • Ȕ
  • ɔ
  • Ȼ
  • »
  • - -
  • Ż ߻
  • -
  • , , , ,
  • , , .
  • ?



  • ---
    , , -:

    :       
    (BBCode):       
    :       






    .
    - .
    .
    .

    (, ) .

    : , , , , , , , ; ; ; ; ; , , , , , . (), , . .







    Locations of visitors to this page



          < >