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 Clark Kerr's World of Higher Education Reaches the 21st Century by Roman Murawski
Cover of the book Dwelling, Place and Environment by Roman Murawski
Cover of the book Radiopharmaceuticals for Positron Emission Tomography - Methodological Aspects by Roman Murawski
Cover of the book The Red Sea Ecosystem and Fisheries by Roman Murawski
Cover of the book Butchering, Processing and Preservation of Meat by Roman Murawski
Cover of the book Late Graft Loss by Roman Murawski
Cover of the book Philosophy of Technology by Roman Murawski
Cover of the book Bio-aggregates Based Building Materials by Roman Murawski
Cover of the book Theological Reflections of a Christian Philosopher by Roman Murawski
Cover of the book Experience and its Systematization by Roman Murawski
Cover of the book Technical Challenges of Multipollutant Air Quality Management by Roman Murawski
Cover of the book Liver Diseases in Infancy and Childhood by Roman Murawski
Cover of the book Computational Psycholinguistics by Roman Murawski
Cover of the book Geomorphological Hazards in High Mountain Areas by Roman Murawski
Cover of the book Elements of Ethology 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