.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Recursive Functions and Metamathematics
Roman Murawski
€ 201.92
FREE Delivery in Ireland
Description for Recursive Functions and Metamathematics
Hardback. Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Series: Synthese Library. Num Pages: 395 pages, biography. BIC Classification: PBB; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 737.
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
Hardback
Publication date
1999
Publisher
Kluwer Academic Publishers United States
Number of pages
395
Condition
New
Series
Synthese Library
Number of Pages
395
Place of Publication
Dordrecht, Netherlands
ISBN
9780792359043
SKU
V9780792359043
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Recursive Functions and Metamathematics