27 found
Order:
Disambiguations
Keith J. Devlin [19]Keith Devlin [8]
  1.  4
    Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
    Direct download  
     
    Export citation  
     
    Bookmark   163 citations  
  2.  39
    Logic and Information.Keith Devlin - 1991 - Cambridge University Press.
    Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...
    Direct download  
     
    Export citation  
     
    Bookmark   55 citations  
  3.  12
    Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  4.  70
    A Mathematician Reflects on the Useful and Reliable Illusion of Reality in Mathematics.Keith Devlin - 2008 - Erkenntnis 68 (3):359-379.
    Recent years have seen a growing acknowledgement within the mathematical community that mathematics is cognitively/socially constructed. Yet to anyone doing mathematics, it seems totally objective. The sensation in pursuing mathematical research is of discovering prior (eternal) truths about an external (abstract) world. Although the community can and does decide which topics to pursue and which axioms to adopt, neither an individual mathematician nor the entire community can choose whether a particular mathematical statement is true or false, based on the given (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. The Math Gene How Mathematical Thinking Evolved and Why Numbers Are Like Gossip.Keith J. Devlin - 2000
     
    Export citation  
     
    Bookmark   6 citations  
  6.  12
    Some Weak Versions of Large Cardinal Axioms.Keith J. Devlin - 1973 - Annals of Pure and Applied Logic 5 (4):291.
  7. Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind.Keith Devlin - 1997 - Wiley.
    "[Goodbye, Descartes] is certain to attract attention and controversy..a fascinating journey to the edges of logical thinking and beyond." -Publishers Weekly Critical Acclaim for Keith Devlin's Previous Book Mathematics: The Science of Patterns "A book such as this belongs in the personal library of everyone interested in learning about some of the most subtle and profound works of the human spirit." -American Scientist "Devlin's very attractive book is a well-written attempt to explain mathematics to educated nonmathematicians. the basic ideas are (...)
     
    Export citation  
     
    Bookmark   6 citations  
  8.  12
    ℵ1-Trees.Keith J. Devlin - 1978 - Annals of Mathematical Logic 13 (3):267-330.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Variations on \Diamond.Keith J. Devlin - 1979 - Journal of Symbolic Logic 44 (1):51-58.
    Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of $\omega_1$.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind.Keith Devlin - 1998 - Wiley.
    "[Goodbye, Descartes] is certain to attract attention and controversy..a fascinating journey to the edges of logical thinking and beyond." -Publishers Weekly Critical Acclaim for Keith Devlin's Previous Book Mathematics: The Science of Patterns "A book such as this belongs in the personal library of everyone interested in learning about some of the most subtle and profound works of the human spirit." -American Scientist "Devlin's very attractive book is a well-written attempt to explain mathematics to educated nonmathematicians. the basic ideas are (...)
     
    Export citation  
     
    Bookmark   3 citations  
  11.  15
    On the Singular Cardinals Problem.Jack Silver, Fred Galvin, Keith J. Devlin & R. B. Jensen - 1981 - Journal of Symbolic Logic 46 (4):864-866.
  12.  7
    [Aleph]-Trees.Keith J. Devlin - 1978 - Annals of Pure and Applied Logic 13 (3):267.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  74
    Variations on ◊.Keith J. Devlin - 1979 - Journal of Symbolic Logic 44 (1):51 - 58.
    Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of ω 1.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  15
    Thomas Jech. Set Theory. Pure and Applied Mathematics. Academic Press, New York, San Francisco, and London, 1978, Xi + 621 Pp. [REVIEW]Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  45
    The Combinatorial Principle ⋄#.Keith J. Devlin - 1982 - Journal of Symbolic Logic 47 (4):888-899.
    We consider various strengthenings of the combinatorial principle ⋄ + which are provable from V = L, and give applications in set theory.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  16.  19
    Some Remarks on Changing Cofinalities.Keith J. Devlin - 1974 - Journal of Symbolic Logic 39 (1):27-30.
    In [2], Prikry showed that if κ is a weakly inaccessible cardinal which carries a Rowbottom filter, then there is a Boolean extension of V (the universe), having the same cardinals as V, in which cf(κ) = ω. In this note, we obtain necessary and sufficient conditions which a filter D on κ must possess in order that this may be done.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  6
    Fundamentals of Contemporary Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (2):419-420.
  18.  34
    Measurable Cardinals and a Combinatorial Principle of Jensen.Keith J. Devlin - 1973 - Journal of Symbolic Logic 38 (4):551-560.
  19.  12
    Concerning the Consistency of the Souslin Hypothesis with the Continuum Hypothesis.Keith J. Devlin - 1980 - Annals of Pure and Applied Logic 19 (1):115.
  20.  33
    Infons as Mathematical Objects.Keith J. Devlin - 1992 - Minds and Machines 2 (2):185-201.
    I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at theTheories of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  13
    Hierarchies of Constructible Sets.Keith J. Devlin - 1977 - Annals of Pure and Applied Logic 11 (2):195.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    Information Flow: The Logic of Distributed Systems by Jon Barwise and Jerry Seligman.Keith Devlin - 1998 - Complexity 4 (2):30-32.
  23.  40
    Jon Barwise's Papers on Natural Language Semantics.Keith Devlin - 2004 - Bulletin of Symbolic Logic 10 (1):54-85.
  24.  16
    Research in the Area of Natural Language Semantics. This Article Surveys His Research Publications in That Area. Most, but Not All, of Those Publications Were in the Area of Situation Se-Mantics, a New Approach to Natural Language Semantics Barwise Developed Jointly with His Colleague John Perry in the First Half of the 1980s. That Work. [REVIEW]Keith Devlin - 2004 - Bulletin of Symbolic Logic 10 (1).
  25. Review: Thomas Jech, Set Theory. [REVIEW]Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
  26.  1
    Book and Software Reviews-Information Flow: The Logic of Distributed Systems.Keith Devlin - 1998 - Complexity 4 (2):30-31.
  27. A Mathematical Mystery Tour.Don Wescott, Peter Howell, A. D. Cornell, Keith J. Devlin & Robert Brown - 1985 - Time-Life Video.