Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
🌠 Top Free Web Programming Books - 100% Free or Open Source!
  • Title Incompleteness and Computability: An Open Introduction to Gödel's Theorems
  • Author(s) Richard Zach
  • Publisher: University of Calgary and Open Logic Project (November 9, 2019)
  • License(s): CC BY 4.0
  • Paperback 281 pages
  • eBook PDF (290 pages)
  • Language: English
  • ISBN-10: 1077323395
  • ISBN-13: 978-1077323391
  • Share This:  

Book Description

This book is an introduction to metamathematics and Gödel's Theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.

About the Authors
  • Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics.
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
:
Other Categories
Resources and Links