Skip to content

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical
Stock Photo: Cover May Be Different

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science) Paperback - 1997

by Shankar, N.


From the publisher

The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gdel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics including those of Gdel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction.

First line

Very few mathematical statements can be judged to be true or false solely by means of direct observation.

Details

  • Title Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science)
  • Author Shankar, N.
  • Binding Paperback
  • Edition 1st
  • Pages 220
  • Language ENG
  • Publisher Cambridge University Press
  • Date March 28, 1997
  • ISBN 9780521585330
Back to Top

More Copies for Sale

Metamathematics, Machines and Gdel's Proof (Cambridge Tracts in Theoretical Computer Science,...
Stock Photo: Cover May Be Different

Metamathematics, Machines and Gdel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)

by Shankar, N.

  • Used
Condition
UsedAcceptable
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
1
Seller
Rockford, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$35.15
$3.99 shipping to USA

Show Details

Description:
UsedAcceptable. Item in acceptable condition including possible liquid damage. As well answers may be filled in. May be missing DVDs, CDs, Access code, etc. 100%Money-Back Guarantee! Ship within 24 hours!!
Item Price
$35.15
$3.99 shipping to USA
Metamathematics, Machines and Gödel's Proof

Metamathematics, Machines and Gödel's Proof

by Shankar, N.

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$39.15
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 1997. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$39.15
FREE shipping to USA
Metamathematics, Machines and Godel's Proof
Stock Photo: Cover May Be Different

Metamathematics, Machines and Godel's Proof

by Natarajan Shankar

  • New
Condition
New
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
336
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$54.14
$9.97 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Metamathematics, Machines and Godel's Proof.
Item Price
$54.14
$9.97 shipping to USA
Metamathematics, Machines and Gödel's Proof
Stock Photo: Cover May Be Different

Metamathematics, Machines and Gödel's Proof

by N. Shankar

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
1
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$55.70
$12.47 shipping to USA

Show Details

Description:
Cambridge Univ Pr, 1997. Paperback. New. reprint edition. 202 pages. 10.00x7.00x0.50 inches.
Item Price
$55.70
$12.47 shipping to USA
Metamathematics, Machines and Goedel's Proof

Metamathematics, Machines and Goedel's Proof

by N. Shankar

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$59.85
$12.41 shipping to USA

Show Details

Description:
Paperback / softback. New. Describes the use of computer programs to check several proofs in the foundations of mathematics.
Item Price
$59.85
$12.41 shipping to USA
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical...
Stock Photo: Cover May Be Different

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)

by Shankar, N

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$63.00
$75.00 shipping to USA

Show Details

Description:
Cambridge University Press. paperback. New. 7x0x9. Brand New Book in Publishers original Sealing
Item Price
$63.00
$75.00 shipping to USA
Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)
Stock Photo: Cover May Be Different

Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)

by Shankar, N

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780521585330
ISBN 10
0521585333
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$108.34
$5.45 shipping to USA

Show Details

Description:
Cambridge University Press, 1997-01-01. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$108.34
$5.45 shipping to USA