46 found
Order:
Disambiguations
Raymond M. Smullyan [45]Raymond Merrill Smullyan [5]
See also
  1.  82
    First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
    This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   199 citations  
  2.  27
    Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  3. Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
  4. 5000 B.C. And Other Philosophical Fantasies.Raymond M. Smullyan - 1983
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  5.  9
    Forever Undecided: A Puzzle Guide to Gödel.Raymond M. Smullyan - 1987 - Oxford University Press.
    Collects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  40
    Analytic Natural Deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
  7.  44
    Trees and Nest Structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
  8.  16
    Diagonalization and Self-Reference.Raymond Merrill Smullyan - 1994 - Oxford, England: Clarendon Press.
    This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  5
    The Tao is Silent.Raymond M. Smullyan - 1977 - Harpersanfrancisco.
    The Tao Is Silent Is Raymond Smullyan's beguiling and whimsical guide to the meaning and value of eastern philosophy to westerners. "To me," Writes Smullyan, "Taoism means a state of inner serenity combined with an intense aesthetic awareness. Neither alone is adequate; a purely passive serenity is kind of dull, and an anxiety-ridden awareness is not very appealing." This is more than a book on Chinese philosophy. It is a series of ideas inspired by Taoism that treats a wide variety (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. An Epistemological Nightmare.Raymond M. Smullyan - 1981 - In Douglas R. Hofstadter & Daniel C. Dennett (eds.), The Mind's I. Basic Books.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  11.  48
    Analytic Cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.
  12.  5
    To Mock a Mockingbird: And Other Logic Puzzles.Raymond M. Smullyan - 1985 - Oxford University Press.
    In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of Forever Undecided-continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  80
    Chameleonic Languages.Raymond M. Smullyan - 1984 - Synthese 60 (2):201 - 224.
  14.  12
    Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  18
    Logicians Who Reason About Themselves.Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (2):668-669.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  24
    What is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles.George Boolos & Raymond M. Smullyan - 1979 - Philosophical Review 88 (3):496.
  17.  29
    Uniform Gentzen Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.
    Generally speaking, it appears correct to say that in a formulation of first order logic in which a large number of connectives are taken as primitive which allows us to have our cake and eat it too.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. An Unfortunate Dualist.Raymond M. Smullyan - 2002 - In David J. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings. Oup Usa.
     
    Export citation  
     
    Bookmark   2 citations  
  19.  39
    Finite Nest Structures and Propositional Logic.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):322-324.
  20.  49
    Recursion Theory for Metamathematics.Raymond Merrill Smullyan - 1993 - Oxford, England: Oxford University Press.
    This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  1
    The Lady or the Tiger?: And Other Logic Puzzles, Including a Mathematical Novel That Features Gödel's Great Discovery.Raymond M. Smullyan - 1982 - Alfred a Knopf Incorporated.
    An entertaining series of logic problems and puzzles of increasing difficulty, and all relating important mathematical and logical concepts, includes mind-benders, paradoxes, metapuzzles, number exercises, and a mathematical novel.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles.Raymond M. Smullyan - 1981 - Critica 13 (38):126-130.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  23.  20
    Rudy Rucker. Mind Tools. The Five Levels of Mathematical Reality. Houghton Mifflin Company, Boston1987, Viii + 328 Pp. [REVIEW]Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (4):1254-1255.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  84
    Some Unifying Fixed Point Principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
    This article is written for both the general mathematican and the specialist in mathematical logic. No prior knowledge of metamathematics, recursion theory or combinatory logic is presupposed, although this paper deals with quite general abstractions of standard results in those three areas. Our purpose is to show how some apparently diverse results in these areas can be derived from a common construction. In Section 1 we consider five classical fixed point arguments (or rather, generalizations of them) which we present as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  73
    Uniform Self-Reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
    Self-referential sentences have played a key role in Tarski's proof [9] of the non-definibility of arithmetic truth within arithmetic and Gödel's proof [2] of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  66
    Some New Double Induction and Superinduction Principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
    Some new double analogues of induction and transfinite recursion are given which yields a relatively simple proof of a result of Robert Cowen, [2] which in turn is a strengthening of an earlier result of Smullyan [1], which in turn gives a unified approach to Zorn's Lemma, the transfinite recursion theorem and certain results about ordinal numbers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  1
    This Book Needs No Title a Budget of Living Paradoxes.Raymond M. Smullyan - 1980 - Prentice-Hall.
    Eighty paradoxes, logical lobyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    J. R. Shoenfield. Undecidable and Creative Theories. Fundamenta Mathematicae, Vol. 49 No. 2 , Pp. 171–179.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  28
    Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  26
    Theories with Effectively Inseparable Nuclei.Raymond M. Smullyan - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):219-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  21
    Quine Willard Van Orman. Methods of Logic. Revised Edition, Henry Holt and Company, Inc., New York 1959, Xx + 272 Pp. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  14
    Review: Willard Van Orman Quine, Methods of Logic. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
  33.  10
    Vladeta Vučković. Mathematics of Incompleteness and Undecidability. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 13 , Pp. 123–150. [REVIEW]Raymond M. Smullyan - 1972 - Journal of Symbolic Logic 37 (1):195-196.
  34.  26
    On Post's Canonical Systems.Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):55-57.
  35.  13
    Reviews. Evert W. Beth. The Foundations of Mathematics, A Study in the Philosophy of Science. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 Pp. [REVIEW]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  11
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  37.  33
    Undecidability and Recursive Inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
  38.  8
    Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. To Mock a Mocking Bird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic.Raymond Merrill Smullyan - 1985 - New York, NY, USA: Knopf.
    Puzzles of logic involve knights, knaves, gods, demons, and mortals, and Inspector Craig conducts a summer-long adventure in combinatory logic, basic to computer science and artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  6
    On Post's Canonical Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):623-623.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  7
    Extended Canonical Systems.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (4):524-524.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  6
    Creativity and Effective Inseparability.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (3):391-392.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  22
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  44. Review: J. R. Shoenfield, Undecidable and Creative Theories. [REVIEW]Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123-123.
  45.  11
    A Generalization of Intuitionistic and Modal Logics.Raymond M. Smullyan - 1977 - Journal of Symbolic Logic 42 (2):316-317.
  46.  9
    Mind Tools. The Five Levels of Mathematical Reality.Raymond M. Smullyan & Rudy Rucker - 1988 - Journal of Symbolic Logic 53 (4):1254.