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 Globalisation, Policy and Comparative Research by Roman Murawski
Cover of the book Introduction to the Mechanics of Space Robots by Roman Murawski
Cover of the book Regulation of Cytokine Gene Expression in Immunity and Diseases by Roman Murawski
Cover of the book Margaret Mead by Roman Murawski
Cover of the book Socio-scientific Issues in the Classroom by Roman Murawski
Cover of the book Merleau-Ponty In Contemporary Perspectives by Roman Murawski
Cover of the book Genetic Origins of Tumor Cells by Roman Murawski
Cover of the book Recent Advances in Example-Based Machine Translation by Roman Murawski
Cover of the book Racism and Colonialism by Roman Murawski
Cover of the book The Natural philosophy of Emanuel Swedenborg by Roman Murawski
Cover of the book Atlas of Serous Fluid Cytopathology by Roman Murawski
Cover of the book Law, Institution and Legal Politics by Roman Murawski
Cover of the book The Evolution of the Euclidean Elements by Roman Murawski
Cover of the book Critical Pedagogy for Early Childhood and Elementary Educators by Roman Murawski
Cover of the book The Semantics of John Stuart Mill 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