Sign-In
Cart
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
Paperback
Series: Synthese Library, Book 286
FictionHistory & Philosophy of ScienceLogic
Please select the version of book you would like to purchase.
ISBN10: 9048152984
ISBN13: 9789048152988
Publisher: Springer Nature
Published: Dec 6 2010
Pages: 395
Weight: 1.25
Height: 0.84 Width: 6.14 Depth: 9.21
Language: English
ISBN13: 9789048152988
Publisher: Springer Nature
Published: Dec 6 2010
Pages: 395
Weight: 1.25
Height: 0.84 Width: 6.14 Depth: 9.21
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.
Readership: Scholars and advanced students of logic, mathematics, philosophy of science.
1 different editions
Also available
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
Murawski, Roman
Hardcover
$179.00
Also in
Logic
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
$12.30
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
$35.00
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
$35.00
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
$18.95
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
$16.24
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$17.10
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
$30.00
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
$47.45
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
$63.00
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
$11.23
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
$28.45
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Groarke, Leo
Carozza, Linda
Tindale, Christopher W.
Paperback
$104.93
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
$154.49
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University (First)
Morris, Laurence
Beesley, Paula
Cooke, Belinda
Paperback
$35.00
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
$11.40
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
$9.13
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$22.00
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
$23.99
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University (First)
Morris, Laurence
Beesley, Paula
Cooke, Belinda
Hardcover
$58.80
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
$49.35
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
$23.70
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Elder, Linda
Paul, Richard
Hardcover
$70.00
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
$166.75
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Epictetus
Seneca
Aurelius, Marcus
Paperback
$17.10
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
$11.64
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
$15.19
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
$27.59
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
$165.00
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
$62.49
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
$17.05
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover
$54.15