Deducibility and Decidability

R. R. Rockingham Gill (Autor)

Buch | Softcover

170 Seiten

2014
Routledge (Verlag)
978-0-415-75496-5 (ISBN)

Artikel merken

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.

R R Rockingham Gill (Author)

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

Erscheint lt. Verlag	24.4.2014
Verlagsort	London
Sprache	englisch
Maße	138 x 216 mm
Gewicht	204 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
ISBN-10	0-415-75496-8 / 0415754968
ISBN-13	978-0-415-75496-5 / 9780415754965
Zustand	Neuware