Incompleteness and Computability: An Open Introduction to Gödel's Theorems - Brossura

Libro 2 di 5: Open Logic Project Textbooks

Zach, Richard

 
9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781548138080: Incompleteness and Computability: An Open Logic Text

Edizione in evidenza

ISBN 10:  1548138088 ISBN 13:  9781548138080
Casa editrice: CreateSpace Independent Publishi..., 2017
Brossura