> >
<<
>>
<< >>

- , Principia , . , . . , . , , , . , , .

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

, , -.

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

, , . , , , , . , .

. 2 . , , . 3. . 4 ; . , , , , . . 5 6 , , . .

, . . 6 .

, , . -, , () 1984 . . -, 1984 1985 . , . , , , . , , , .

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

, , , , , , , , ( ).

, .

, , . , - , , .

( , - ), - ( - ), - ( - ), ( - ) IBM.

, -, 1987

<< >>