A Beginner's Further Guide to Mathematical Logic

A Beginner's Further Guide to Mathematical Logic
ISBN-10
9814730998
ISBN-13
9789814730990
Category
Logic, Symbolic and mathematical
Language
English
Published
2017
Publisher
World Scientific Publishing Company
Author
Raymond M. Smullyan

Description

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.

Get the book

Amazon.com
Amazon.com
Search the book
eBay.com
eBay.com
Search the book

Other editions

Similar books

  • To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism
    By J. Roger Hindley, J. P. Seldin

    To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

  • Prophecy and Dissent, 1914-16
    Prophecy and Dissent, 1914-16
    By Bertrand Russell

    Brynmor Jones Library , Hull University for the Records of the Union of Democratic Control ; the British ... the E. D. Morel letters and the Graham Wallas letters ) ; King's College , Cambridge ( the letters of Goldsworthy Lowes ...

  • 数理逻辑实验教程
    By 李娜

    本书共分三个部分,第一部分介绍了一些在线的逻辑软件的使用以及逻辑软件LPL Software的使用;第二部部分介绍了命题逻辑;第三部分介绍了量词逻辑.

  • 哲学研究
    By 维特根斯坦

    本书是作者从事哲学研究积淀下来的思想, 这种课题:含义, 理解, 命题, 逻辑等概念, 数学基础, 意识状态, 等等.

  • The Collected Works of Ludwig Wittgenstein
    By Ludwig Wittgenstein

    The Collected Works of Ludwig Wittgenstein

  • 逻辑哲学论
    By 维特根斯坦

    本书从符号系统的原则和任何语言中词和事物之间必须具有的关系出发, 将这种考察的结果应用于传统哲学的各部分.

  • Logos: Introduction to Symbolic Logic
    Logos: Introduction to Symbolic Logic
    By Nicholas T. Habib

    P : Penny is a physician R : Ralph is a physician The argument presented in SL is : ~ ( PvR ) ~ P The truth table analysis is : Pr Cn P R PVR ~ ( PVR ) ~ P T T T F F T F T F F FT T F T F F F T T By looking carefully at the truth table ...

  • Transition to Higher Mathematics: Structure and Proof
    Transition to Higher Mathematics: Structure and Proof
    By John Edward McCarthy, Bob A. Dumas

    This book is written for students who have taken calculus and want to learn what "real mathematics" is.

  • 数理逻辑
    By 王兵山

    研究生教材

  • Introduction to Mathematical Logic and Resolution Principle
    By Guo-Jun Wang, Hong-Jun Zhou

    Introduction to Mathematical Logic and Resolution Principle