Details

Recursion Theory for Metamathematics


Recursion Theory for Metamathematics


Oxford Logic Guides

von: Raymond M. Smullyan

171,87 €

Verlag: Oxford University Press
Format: PDF
Veröffentl.: 28.01.1993
ISBN/EAN: 9780195344813
Sprache: englisch
Anzahl Seiten: 184

DRM-geschütztes eBook, Sie benötigen z.B. Adobe Digital Editions und eine Adobe ID zum Lesen.

Beschreibungen

This work is a sequel to the author's Gdel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gdel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Diese Produkte könnten Sie auch interessieren:

Computational Intelligence
Computational Intelligence
von: Diego Andina, Duc Truong Pham
PDF ebook
128,39 €
Advances in Modeling Agricultural Systems
Advances in Modeling Agricultural Systems
von: Petraq Papajorgji, Panos M. Pardalos
PDF ebook
171,19 €
From Combinatorics to Philosophy
From Combinatorics to Philosophy
von: Ernesto Damiani, Ottavio D'Antona, Vincenzo Marra, Fabrizio Palombi
PDF ebook
181,89 €