Computation, Logic, Philosophy: A Collection of Essays

《Computation, Logic, Philosophy: A Collection of Essays》是1990年科學出版社出版的圖書，作者是Wang Hao。

基本介紹

• 書名：Computation, Logic, Philosophy: A Collection of Essays
• 作者：Wang Hao
• 出版社：科學出版社
• 出版時間：1990年1月
• ISBN：7030002113 

內容簡介

Mathematics is a tool for thought. A highly necessary tool in a world wbere both feedback and nonlineanities abound. Similarly, al kinds of parts of mathematics serve as tools for other parts and for other sciences.

圖書目錄

CONTENTS

INTRODUCTION

PART ONE.BROAD ISSUES

PART TWO.AUTOMATED THEOREM PROVING(ATP)

PART THREE.DECIDABILITY AND COMPLEXITY

PART FOUR. TOPICS FROM THEORY TO PRACTICE

THE LIST OF THE PUBLICATIONS OF THE AUTHOR