Proving Theorems by Pattern Recognition - II
- 1 January 1961
- journal article
- website
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Bell System Technical Journal
- Vol. 40 (1), 1-41
- https://doi.org/10.1002/j.1538-7305.1961.tb03975.x
Abstract
Theoretical questions concerning the possibilities of proving theorems by machines are considered here from the viewpoint that emphasizes the underlying logic. A proof procedure for the predicate calculus is given that contains a few minor peculiar f...Keywords
This publication has 7 references indexed in Scilit:
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960
- Vicious circle principle and the paradoxesThe Journal of Symbolic Logic, 1957
- Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten StufeMathematical Logic Quarterly, 1955
- On the Completeness of Quantification TheoryProceedings of the National Academy of Sciences, 1952
- Special Cases of the Decision ProblemRevue Philosophique de Louvain, 1951
- Beiträge zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1936
- Untersuchungen zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1934