Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
Author:   Roman Murawski
Publisher:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 1999
Volume:   286
ISBN:  

9789048152988


Pages:   395
Publication Date:   06 December 2010
Format:   Paperback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $522.72 Quantity:  
Add to Cart

Share |

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems


Add your own review!

Overview

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Godel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.

Full Product Details

Author:   Roman Murawski
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 1999
Volume:   286
Dimensions:   Width: 15.50cm , Height: 2.10cm , Length: 23.50cm
Weight:   0.629kg
ISBN:  

9789048152988


ISBN 10:   9048152984
Pages:   395
Publication Date:   06 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

1 Recursive Functions.- 2 Gödel’s Incompleteness Theorems.- 3 Decidability Theory.- 4 Philosophical Comments.- List of Symbols.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now