Cantitate/Preț
Produs
Total produse
Vezi coșul
Deducibility and Decidability de R. R. Rockingham Gill

Deducibility and Decidability

Autor R. R. Rockingham Gill
en Limba Engleză Hardback – 26 apr 1990
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
Citește tot Restrânge

Preț: 73475 lei

Preț vechi: 98877 lei
-26% Nou

Puncte Express: 1102
Preț estimativ în valută:
14061€ • 14661$ • 11686£

Carte tipărită la comandă

Livrare economică 21 martie-04 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780415000338
ISBN-10: 0415000335
Pagini: 172
Dimensiuni: 138 x 216 x 17 mm
Greutate: 0.36 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom

Cuprins

Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi

Descriere

The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.