Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving |
| |
Authors: | Furio Di Paola |
| |
Affiliation: | (1) Department of Sociology, University of Rome, Italy |
| |
Abstract: | Examples in the history of Automated Theorem Proving are given, in order to show that even a seemingly mechanical activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in cultural pruning of human-oriented reasoning. Sociological counterparts of this passage from human- to machine-oriented reasoning are discussed, by focusing on problems of man-machine interaction in the area of computer-assisted proof processing. |
| |
Keywords: | human-machine interaction automated theorem proving mathematical proofs reasoning sociology of knowledge tacit knowledge |
本文献已被 SpringerLink 等数据库收录! |