Computation, Logic, Philosophy

Name: Computation, Logic, Philosophy
Author: Wang Hao

A Collection of Essays

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.