Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)

Zach, Richard

ISBN 10: 1077323395 / ISBN 13: 9781077323391

Published by Independently published, 2019

About this Item

paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects.

Seller Inventory # V-04-3819

Bibliographic Details

• Title: Incompleteness and Computability: An Open Introduction to G�del's Theorems (Open Logic Project Textbooks)
• Publisher: Independently published
• Publication Date: 2019
• Language: English
• ISBN 10: 1077323395
• ISBN 13: 9781077323391
• Binding: Soft cover
• Condition: Very Good

About this title

Synopsis

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 Author

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. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.