33 found
Order:
Disambiguations
Harry A. Lewis [16]Harry R. Lewis [13]Harry Lewis [4]Harry Anthony Lewis [1]
Harry Ralph Lewis [1]
  1.  19
    Elements of the Theory of Computation.Harry R. Lewis & Christos H. Papadimitriou - 1984 - Journal of Symbolic Logic 49 (3):989-990.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  19
    Unsolvable Classes of Quantificational Formulas.Harry R. Lewis - 1979 - Addison-Wesley.
  3. Is the mental supervenient on the physical?Harry A. Lewis - 1985 - In Bruce Vermazen & Merrill B. Hintikka (eds.), Essays on Davidson. Oxford University Press.
  4.  30
    Peter Geach: Philosophical Encounters.Harry A. Lewis - 1991 - Philosophical Quarterly 41 (165):516.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Linear sampling and the ∀∃∀ case of the decision problem.Stal O. Aanderaa & Harry R. Lewis - 1974 - Journal of Symbolic Logic 39 (3):519-548.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  22
    The word problem for cancellation semigroups with zero.Yuri Gurevich & Harry R. Lewis - 1984 - Journal of Symbolic Logic 49 (1):184-191.
    By theword problemfor some class of algebraic structures we mean the problem of determining, given a finite setEof equations between words and an additional equationx=y, whetherx=ymust hold in all structures satisfying each member ofE. In 1947 Post [P] showed the word problem for semigroups to be undecidable. This result was strengthened in 1950 by Turing, who showed the word problem to be undecidable forcancellation semigroups,i.e. semigroups satisfying thecancellation propertyNovikov [N] eventually showed the word problem for groups to be undecidable.In 1966 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  24
    ΠGarey Michael R. and Johnson David S.. Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman and Company, San Francisco 1979, x + 338 pp. [REVIEW]Harry R. Lewis - 1983 - Journal of Symbolic Logic 48 (2):498-500.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  38
    Content and Community.Harry A. Lewis & Andrew Woodfield - 1985 - Aristotelian Society Supplementary Volume 59 (1):177-214.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  41
    Teaching America: The Case for Civic Education.David J. Feith, Seth Andrew, Charles F. Bahmueller, Mark Bauerlein, John M. Bridgeland, Bruce Cole, Alan M. Dershowitz, Mike Feinberg, Senator Bob Graham, Chris Hand, Frederick M. Hess, Eugene Hickok, Michael Kazin, Senator Jon Kyl, Jay P. Lefkowitz, Peter Levine, Harry Lewis, Justice Sandra Day O'Connor, Secretary Rod Paige, Charles N. Quigley, Admiral Mike Ratliff, Glenn Harlan Reynolds, Jason Ross, Andrew J. Rotherham, John R. Thelin & Juan Williams - 2011 - R&L Education.
    This book taps the best American thinkers to answer the essential American question: How do we sustain our experiment in government of, by, and for the people? Authored by an extraordinary and politically diverse roster of public officials, scholars, and educators, these chapters describe our nation's civic education problem, assess its causes, offer an agenda for reform, and explain the high stakes at risk if we fail.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Boguslaw Wolniewicz.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--77.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Cjf Williams.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--195.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Elements of the Theory of Computation Harry R. Lewis, Christos H. Papadimitriou.Harry R. Lewis & Christos H. Papadimitriou - 1998
     
    Export citation  
     
    Bookmark  
  13. Georg Henrik Von Wright.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--83.
    No categories
     
    Export citation  
     
    Bookmark  
  14. James D. McCawley.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--151.
     
    Export citation  
     
    Bookmark  
  15. Jaakko Hintikka.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--137.
     
    Export citation  
     
    Bookmark  
  16. Mind and body.Harry A. Lewis - 1963 - Proceedings of the Aristotelian Society 63:1-22.
     
    Export citation  
     
    Bookmark  
  17. Norman Malcolm.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--215.
     
    Export citation  
     
    Bookmark  
  18. Peter Geach: Philosophical Encounters.Harry A. Lewis (ed.) - 1991 - Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  19. Review: Michael R. Garey, David S. Johnson, Computers and Intractability. A Guide to the Theory of NP-Completeness. [REVIEW]Harry R. Lewis - 1983 - Journal of Symbolic Logic 48 (2):498-500.
  20. Willard Van Orman ouine.Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--27.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  70
    Leibniz on Binary: The Invention of Computer Arithmetic.Lloyd Strickland & Harry R. Lewis - 2022 - Cambridge, MA, USA: The MIT Press.
    The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  61
    Consciousness: Inexplicable - and useless too?Harry A. Lewis - 1998 - Journal of Consciousness Studies 5 (1):59-66.
    The problem of consciousness arises when we accept that humans are subject to conscious experiences, and that these experiences resist explanations of a kind that other puzzling phenomena permit. I first consider the case that such experiences exist and then the reasons for taking a pessimistic view of our chances of explaining them. I argue that the fact that conscious experience is ineffable makes the problem even harder than Chalmers allows, as it undermines a presentation of the problem of reductive (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Bibliography of works of pt Geach.Harry A. Lewis - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 213--307.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  33
    Krom formulas with one dyadic predicate letter.Harry R. Lewis - 1976 - Journal of Symbolic Logic 41 (2):341-362.
  25.  49
    Conservative reduction classes of Krom formulas.Stål O. Aanderaa, Egon Börger & Harry R. Lewis - 1982 - Journal of Symbolic Logic 47 (1):110-130.
    A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    Possibility, plenitude and determinism (with some comments on ancient).Harry A. Lewis & Peter Geach - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 83.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  30
    Skolem reduction classes.Warren D. Goldfarb & Harry R. Lewis - 1975 - Journal of Symbolic Logic 40 (1):62-68.
  28.  17
    Selected correspondence with Geach.Harry A. Lewis - 1991 - In H. G. Lewis (ed.), Peter Geach: Philosophical Encounters. Kluwer Academic Publishers. pp. 27.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  28
    Prefix classes of Krom formulas.Stål O. Aanderaa & Harry R. Lewis - 1973 - Journal of Symbolic Logic 38 (4):628-642.
  30.  55
    Memes, minds and evolution.David Holdcroft & Harry Lewis - 2000 - Philosophy 75 (2):161-182.
    It is common in the history of science to try to extend an idea first demonstrated in one domain into others. Sometimes the extension is literal, and sometimes it is frankly metaphorical. Sometimes, however, when an extension is claimed to be literal, it is far from easy to see that it is. If an extension does not make use of entities and mechanisms involved in the original domain, and introduces novel entities and mechanisms, then it is not unreasonable to doubt (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  33
    The decision problem for formulas with a small number of atomic subformulas.Harry R. Lewis & Warren D. Goldfarb - 1973 - Journal of Symbolic Logic 38 (3):471-480.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  22
    Consciousness, design and social practice.David Holdcroft & Harry Lewis - 2001 - Journal of Consciousness Studies 8 (8):43-58.
    It has been proposed by Dawkins, Dennett and others that memes are the units of cultural evolution. We here concentrate on Dennett's account because of the role it plays in his explanation of human consciousness - which is our principal target. Memes are claimed to be replicators that work on Darwinian principles. But in what sense are they replicators, and in what way are they responsible for their own propagation? We argue that their ability to replicate themselves is severely limited, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  3
    Abstract Entities.Harry Lewis - 1993 - Philosophical Books 34 (2):108-109.
    Direct download  
     
    Export citation  
     
    Bookmark