A Beginner's Further Guide to Mathematical Logic

Nonfiction, Science & Nature, Mathematics, Set Theory, Logic
Cover of the book A Beginner's Further Guide to Mathematical Logic by Raymond Smullyan, World Scientific Publishing Company
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Raymond Smullyan ISBN: 9789814733014
Publisher: World Scientific Publishing Company Publication: November 11, 2016
Imprint: WSPC Language: English
Author: Raymond Smullyan
ISBN: 9789814733014
Publisher: World Scientific Publishing Company
Publication: November 11, 2016
Imprint: WSPC
Language: English

This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.

This book is a sequel to my Beginner's Guide to Mathematical Logic.

The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.

The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.

This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

Request Inspection Copy

Contents:

  • More on Propositional and First-Order Logic:

    • More on Propositional Logic
    • More on First-Order Logic
  • Recursion Theory and Metamathematics:

    • Some Special Topics
    • Elementary Formal Systems and Recursive Enumerability
    • Some Recursion Theory
    • Doubling Up
    • Metamathematical Applications
  • Elements of Combinatory Logic:

    • Beginning Combinatory Logic
    • Combinatorics Galore
    • Sages, Oracles and Doublets
    • Complete and Partial Systems
    • Combinators, Recursion and the Undecidable
  • Afterword: Where to Go From Here

  • References

  • Index

Readership: Undergraduates in mathematics.

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

This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.

This book is a sequel to my Beginner's Guide to Mathematical Logic.

The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.

The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.

This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

Request Inspection Copy

Contents:

Readership: Undergraduates in mathematics.

More books from World Scientific Publishing Company

Cover of the book Elements of Stochastic Modelling by Raymond Smullyan
Cover of the book The World Scientific Handbook of Energy by Raymond Smullyan
Cover of the book Theoretical Foundations for Quantitative Finance by Raymond Smullyan
Cover of the book An Introduction to the Standard Model of Particle Physics for the Non-Specialist by Raymond Smullyan
Cover of the book An Introduction to Second Order Partial Differential Equations by Raymond Smullyan
Cover of the book The Domestic Dynamics of China's Energy Diplomacy by Raymond Smullyan
Cover of the book The Knowledge Grid by Raymond Smullyan
Cover of the book Guanxi and Business by Raymond Smullyan
Cover of the book Ocean Surface Waves by Raymond Smullyan
Cover of the book Civilization and Modernization by Raymond Smullyan
Cover of the book Sustainable Investing and Environmental Markets by Raymond Smullyan
Cover of the book Prevention and Management of Venous Thromboembolism by Raymond Smullyan
Cover of the book 2016 Growth Slowdown Analysis by Income Thresholds and Annual Update of Competitiveness Analysis for 34 Greater China Economies by Raymond Smullyan
Cover of the book Alzheimer's Disease: Insights into Low Molecular Weight and Cytotoxic Aggregates from In Vitro and Computer Experiments by Raymond Smullyan
Cover of the book Tissue Engineering and Nanotheranostics by Raymond Smullyan
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