首页 | 本学科首页   官方微博 | 高级检索  
     


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 lsquomechanicalrsquo activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in lsquocultural pruningrsquo 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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号