Programming Books C Java PHP Python Learn more Browse Programming Books
Buy New
  • List Price: $59.00
  • Save: $5.90 (10%)
In Stock.
Ships from and sold by
Gift-wrap available.
Add to Cart
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

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

See all 2 formats and editions Hide other formats and editions
Amazon Price New from Used from
"Please retry"
$53.10 $29.90


Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

Editorial Reviews


."..the main purpose of this book is to describe how the Boyer-Moore theorem prover was used to mechanically verify two landmark theorems of mathematical logic, Godel's first incompleteness theorem and the Church-Rosser theorem of the lambda calculus..for specialized collections in artificial intelligence." D.V. Feldman, Choice --This text refers to an out of print or unavailable edition of this title.

Book Description

Now in paperback, this book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics including Gödel's incompleteness theorem and the Church-Rosser theorem. 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.

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers