Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Recursive Functions and Metamathematics by Roman Murawski, Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Roman Murawski ISBN: 9789401728669
Publisher: Springer Netherlands Publication: March 14, 2013
Imprint: Springer Language: English
Author: Roman Murawski
ISBN: 9789401728669
Publisher: Springer Netherlands
Publication: March 14, 2013
Imprint: Springer
Language: English

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 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 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.

More books from Springer Netherlands

Cover of the book Developing CDM Projects in the Western Balkans by Roman Murawski
Cover of the book Handbook of FPGA Design Security by Roman Murawski
Cover of the book Negotiating the Life Course by Roman Murawski
Cover of the book Cleaning Printed Wiring Assemblies in Today’s Environment by Roman Murawski
Cover of the book Bridges Between Tradition and Innovation in Ethnomedicine by Roman Murawski
Cover of the book Modeling Forest Trees and Stands by Roman Murawski
Cover of the book Aspects of Air Law and Civil Air Policy in the Seventies by Roman Murawski
Cover of the book Contemporary Problems in International Arbitration by Roman Murawski
Cover of the book Man’s Self-Interpretation-in-Existence by Roman Murawski
Cover of the book Ship Design by Roman Murawski
Cover of the book Violence among the Mentally III by Roman Murawski
Cover of the book Six Lives in Jerusalem by Roman Murawski
Cover of the book Landscape-scale Conservation Planning by Roman Murawski
Cover of the book Present State and Future Needs in General Practice by Roman Murawski
Cover of the book Advances in Ultrasound Technology for Environmental Remediation by Roman Murawski
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy