Description: Metamaths, Machines & Godel's Proof: 38 (Cambridge Tracts in Theoretical Computer Science, Series Number 38)N. Shankar Cambridge University Press Paperback Unused and unread, minor cosmetic imperfections such as scuffing or minor creasing. Stamped 'damaged' by publisher to a non-text page. EAN: 9780521585330 Published: 21/08/2008 Language: English Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, there are a number of sophisticated automated reasoning programs that are quite effective at checking mathematical proofs. 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. The mechanisation of metamathematics itself has important implications for automated reasoning since metatheorems can be applied by labour-saving devices to simplify proof construction. The book should be accessible to scientists and philosophers with some knowledge of logic and computing. 1. Introduction 2. The statement of the incompleteness theorem 3. Derived inference rules 4. The representability of metatheory 5. The undecidable sentence 6. A mechanical proof of the Church–Rosser theorem 7. Conclusions. DispatchIn stock here - same-day dispatch from England. My SKU: 3290160RefundsNo-hassle refunds are always available if your book is not as expected.Terms and Conditions of SaleSorry - no collections. All sales are subject to extended Terms and Conditions of Sale as well as the Return Policy and Payment Instructions. Visit my eBay Store for details andmany more books. Template layout and design, "JNC Academic Books", "needbooks", Copyright © JNC INC. Designated trademarks, layouts and brands are the property of their respective owners. All Rights Reserved.
Price: 27.89 GBP
Location: Welwyn Garden City
End Time: 2024-12-23T18:42:01.000Z
Shipping Cost: 125.64 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Return policy details:
Number of Pages: 220 Pages
Language: English
Publication Name: Metamathematics, Machines and Goedel's Proof
Publisher: Cambridge University Press
Publication Year: 1997
Subject: Computer Science, Mathematics
Item Height: 248 mm
Item Weight: 413 g
Type: Textbook
Author: N. Shankar
Series: Cambridge Tracts in Theoretical Computer Science
Item Width: 175 mm
Format: Paperback
