Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Murawski R.

Years help

  1. 1 2006

System messages
  • Session was invalidated!

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  MECHANIZED DEDUCTION'S LIMITATIONS
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations

100%
Murawski R.
Studies in Logic, Grammar and Rhetoric
|
2006
|
vol. 9
|
issue 22
31-60
EN
The aim of the paper is to present the history of researches devoted to the mechanization of reasoning. We start by describing the early attempts of applying computers to prove theorems, in particular the results of Davis, Newell-Shaw-Simon, Gilmore, Gelentner et al., Hao Wang and Davis-Putnam are considered. Further the method of resolution and unification as well as their modifications are discussed. They turned out to be crucial for further development of researches towards mechanization and automatization of reasonings - the latter are skechted in next sections. The last section of the paper is devoted to limitations of mechanized deduction and automated theorem proving. Effective and feasible computability/decidability/deducibility are distinguished and some examples of the complexity of decision procedures for certain theories are provided. The role of the speed-up phenomenon is considered and Boolos' example indicating the strength of the second order logic is discussed.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.