.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Recursive Functions and Metamathematics
Roman Murawski
€ 195.30
FREE Delivery in Ireland
Description for Recursive Functions and Metamathematics
Paperback. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: HPL; PBC; PDA; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 629.
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 Gödel'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 ... Read more
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 Gödel'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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
395
Condition
New
Series
Synthese Library
Number of Pages
395
Place of Publication
Dordrecht, Netherlands
ISBN
9789048152988
SKU
V9789048152988
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Recursive Functions and Metamathematics