Articles liés à Incompleteness and Computability: An Open Introduction...

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

Livre 2 sur 5: Open Logic Project Textbooks

Zach, Richard

 
9781077323391: Incompleteness and Computability: An Open Introduction to Gödel's Theorems
Couverture souple
ISBN 10 : 1077323395 ISBN 13 : 9781077323391
Editeur : Independently published, 2019

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Independently published
Date d'édition
2019
Langue
anglais
ISBN 10 
1077323395
ISBN 13 
9781077323391
Reliure
Broché
Nombre de pages
328
Coordonnées du fabricant
Printed by Amazon on behalf of the author
https://www.amazon.fr/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Luxembourg