Computation, Logic, Philosophy A Collection of Essays
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1990, 1990
|
| Edition: | 1st ed. 1990 |
| Series: | Mathematics and its Applications, Chinese Series
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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