.
.
.
.
.
.
.
- . .
- .
.
.
.
, - . XIX . .
, - ; , ; .
. , ., ... . ( positivus ). , - . (1798-1857) , , . , , , , , . , - .
. . : ; ; , ; .
( XIX .). , , . , . . , . , , , , . , , .., . , , , . . , , .
|
|
, 20-30- ., . - , . , , .
( ), (.), (- ).
, 20- , , , , . (1882 1976). (1889 1951) "- " (1921), (1872 1970) , (1910-1989), (1873 1958).
. , , , . . . , , . " . , ... " ", ".[1]
( ) . : 1) , 2), ( . verificare , ) . .. ().
|
|
, , , . (, ), " ", (., " ", " " ..). , " " , . . .
, - , , .. . , - : , , . , . , . . . I , , , , .. . , ... , ().
.
, , . , , , , . . , , . , , . , , - .. , , , .
. , , , , . , , .
. , , . , (), , . .
, , . , , , , . , , , . .
|
|
. (), .
(.1902) ( . falsus , fasio ). , () () , .
, , - . .. , , , , , .
, ( ) , .[2] , , , , , , , .
50- , . , , . .. , , , ().
.. . (), (), (). , , . (, , , , .).
[3] . . . . , , . , , .
, , . , . , . , , .
|
|
, " ", (" ", ).
" ", 1953 ., , , . , . , , , .
, , , , . - "". , . .. "" , . , , ; , "" , " " (.). ( 50- ) . " , , () , ", ..[4]
. , , (, ., .).
, .. . " " .. .
, , . , , : , , . , , : " "" . ( , , .
() () (). , ( ", ") , ("... , ).
|
|
50- 60- . , , , ; , - , . , , , . . , .
, , .
, , , , , . : ?, , ? . .
-, , . , , , , , , . " " , , , . , , , . .
. , , - . - , . , , .
[5] . , , , , , , . , .
- , , . .
, (., . .), - (., . .).
, / /, (.1902), : " " (1961) " " (1962). (., ., ., . ., . .).
, -, , . , - (. " " ).
. , " - , . , .
, - , , . , . , , . , .
, , ., . ( ), . , , , , , .
. , , . " , . , , ( ) [6]. , ( ), .
, " , , .. , " [7].
, " "... " : , ; , " (.. ".
, , :
TS1
1 TS2 EE P2
...
TSi
P1 TT EE P2
1 ;
TSi , (temporat theory);
EE (error elimination);
2 (, , ),
1.
. (. fallible , ). , , . , . , .
, . , , . (, .) . , " ( ), .
, , , ( ). , .
, , : , , , , , . , , .
, , , , , .