Skip to main content
SpringerLink
Log in

Computation, Logic, Philosophy

A Collection of Essays

  • Book
  • © 1990

Overview

Authors:
  1. Hao Wang

    1. Rockefeller University, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Mathematics and its Applications (MACA, volume 2)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xxvii
    Download chapter PDF

  2. Broad Issues

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Formalization

      • Hao Wang
      Pages 3-12

    3. The Concept of Computability

      • Hao Wang
      Pages 13-29

    4. Process and Existence in Mathematics

      • Hao Wang
      Pages 30-46

    5. Logic, Computation and Philosophy

      • Hao Wang
      Pages 47-59

  3. Automated Theorem Proving (ATP)

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Computer Theorem Proving and Artificial Intelligence

      • Hao Wang
      Pages 63-75

    3. Proving Theorems by Pattern Recognition, I

      • Hao Wang
      Pages 76-102

    4. Observations on ATP

      • Hao Wang
      Pages 103-137

    5. Some Data for ATP

      • Hao Wang
      Pages 139-158

    6. Proving Theorems by Pattern Recognition, II

      • Hao Wang
      Pages 159-192

  4. Decidability and Complexity

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Games, Logic and Computers

      • Hao Wang
      Pages 195-217

    3. Dominoes and the Aea Case of the Decision Problem

      • Hao Wang
      Pages 218-245

    4. Towards Feasible Solutions of the Tautology Problem

      • Hao Wang
      Pages 246-274

    5. Ranked Matching and Hospital Interns

      • Hao Wang
      Pages 275-289

  5. Topics from Theory to Practice

    1. Front Matter

      Pages 291-291
      Download chapter PDF

    2. Logical Fragments Relevant to Compter Science

      • Hao Wang
      Pages 293-330

    3. Computers and Mathematical Activity

      • Hao Wang
      Pages 331-360
Back to top

Keywords

Authors and Affiliations

  • Rockefeller University, USA

    Hao Wang

Bibliographic Information

  • Book Title: Computation, Logic, Philosophy

  • Book Subtitle: A Collection of Essays

  • Authors: Hao Wang

  • Series Title: Mathematics and its Applications

  • DOI: https://doi.org/10.1007/978-94-009-2356-0

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Science Press, Beijing, China and Kluwer Academic Publishers, Dordrecht, Holland 1990

  • Hardcover ISBN: 978-0-7923-0218-6Published: 31 January 1991

  • Softcover ISBN: 978-94-010-7561-9Published: 01 October 2011

  • eBook ISBN: 978-94-009-2356-0Published: 06 December 2012

  • Series ISSN: 0924-5952

  • Edition Number: 1

  • Number of Pages: XXVII, 373

  • Topics: Mathematical Logic and Foundations, Philosophy of Technology, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation