Items related to Foundations of Logic and Theory of Computation (Texts...
Synopsis
The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with Godel's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of the programme are less well known, even among mathematicians. The book covers key successes, like Godel's proof of the completeness of first-order logic, Gentzen's proof of its consistency by purely symbolic means, and the decidability of a couple of useful theories. The book also tries to convey the message that Hilbert's programme made a significant contribution to the advent of the computer as it is nowadays understood and, thus, to the latest industrial revolution. Part I of the book addresses Hilbert's programme and computability. Part II presents first-order logic, including Godel's completeness theorem and Gentzen's consistency theorem.Part III is focused on arithmetic, representability of computable maps, Godel's incompleteness theorems and decidability of Presburger arithmetic. Part IV provides detailed answers to selected exercises. The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Parts I and II, leaving out the Gentzen calculus, and sketching the way to the 1st incompleteness theorem. A more advanced course might skip early material already known to the students and concentrate on the positive and negative results of Hilbert's programme, thus covering Gentzen's proof of consistency and Part III in full.
"synopsis" may belong to another edition of this title.
- PublisherCollege Publications
- Publication date2008
- ISBN 10 1904987885
- ISBN 13 9781904987888
- BindingPaperback
- LanguageEnglish
- Number of pages344
Search results for Foundations of Logic and Theory of Computation (Texts...
Stock Image
Foundations of Logic and Theory of Computation Texts in Computing
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781904987888
Quantity: Over 20 available
Stock Image
Foundations of Logic and Theory of Computation (Texts in Computing)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-S-036-02353
Quantity: 4 available
Stock Image
Foundations of Logic and Theory of Computation Texts in Computing
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781904987888
Quantity: Over 20 available
Stock Image
Foundations of Logic and Theory of Computation (Texts in Computing)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2912160274100
Quantity: Over 20 available
Seller Image
Foundations of Logic and Theory of Computation (Paperback or Softback)
Published by
College Publications 3/17/2008, 2008
ISBN 10: 1904987885
ISBN 13: 9781904987888
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Foundations of Logic and Theory of Computation 1.06. Book. Seller Inventory # BBS-9781904987888
Quantity: 5 available
Stock Image
Foundations of Logic and Theory of Computation (Texts in Computing)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781904987888
Quantity: Over 20 available
Stock Image
Foundations of Logic and Theory of Computation (Texts in Computing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781904987888_new
Quantity: Over 20 available
Stock Image
Foundations of Logic and Theory of Computation (Texts in Computing)
Published by
College Publications 2008-03-17, 2008
ISBN 10: 1904987885
ISBN 13: 9781904987888
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9781904987888
Quantity: 10 available
Stock Image
Foundations of Logic and Theory of Computation
Published by
College Publications, 2008
ISBN 10: 1904987885
ISBN 13: 9781904987888
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 525. Seller Inventory # C9781904987888
Quantity: Over 20 available
Seller Image
Foundations of Logic and Theory of Computation
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. KlappentextThe book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert s programme for the f. Seller Inventory # 4293943
Quantity: Over 20 available