
×
Inhaltsverzeichnis
- One. Broad Issues.
- 1. On Formalization.
- 2. The Concept of Computability [(1953)].
- 3. Process and Existence in Mathematics [1961(60)].
- 4. Logic, Computation and Philosophy [1971(66)].
- Two. Automated Theorem Proving(ATP).
- 5. Computer Theorem Proving and Artificial Intelligence [1984(82)].
- 6. Proving Theorems by Pattern Recognition, I [1960(59)].
- 7. Observations on ATP.
- 8. Some Data for ATP.
- 9. Proving Theorems by Pattern Recognition, II [1961(60)a].
- Three. Decidability and Complexity.
- 10. Games, Logic and Computers [1965a].
- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)].
- 12. Towards Feasible Solutions of the Tautology Problem (with B. Dunhan) [1976(74)].
- 13. Ranked Matching and Hospital Interns (with D. A. Martin) [(1977)].
- Four. Topics from Theory to Practice.
- 14. Logical Fragments Relevant to Computer Science.
- 15. Computers and Mathematical Activity.
- 16. On Information Processing of the Chinese Language [1979].
- The List of the Publications of the Author.