Computation, Logic, Philosophy von Wang Hao | A Collection of Essays | ISBN 9780792302186

Computation, Logic, Philosophy

A Collection of Essays

von Wang Hao
Buchcover Computation, Logic, Philosophy | Wang Hao | EAN 9780792302186 | ISBN 0-7923-0218-4 | ISBN 978-0-7923-0218-6

Computation, Logic, Philosophy

A Collection of Essays

von Wang Hao

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.