Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorWang, Hao. author
TitleComputation, Logic, Philosophy [electronic resource] : A Collection of Essays / by Hao Wang
ImprintDordrecht : Springer Netherlands, 1990
Connect tohttp://dx.doi.org/10.1007/978-94-009-2356-0
Descript XXVII, 373 p. online resource

CONTENT

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


Mathematics Philosophy Computers Mathematical logic Mathematics Mathematical Logic and Foundations Philosophy of Technology Theory of Computation



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram