Overview

~Et moi, ...si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non* The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non- linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com- puter science ...'; 'One service category theory has rendered mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

Full Product Details

Author:   Wang Hao
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of the original 1st ed. 1990
Volume:   2
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   0.617kg
ISBN:  

9789401075619

ISBN 10:   9401075611
Pages:   373
Publication Date:   01 October 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions