Order:
Disambiguations
R. O. Gandy [25]D. Ross Gandy [7]Matthew Gandy [7]Ross Gandy [7]
Robin Gandy [4]Robin Oliver Gandy [2]Robin O. Gandy [2]Oscar H. Gandy [2]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  43
    The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  17
    Some Reasons for Generalizing Recursion Theory.G. Kreisel, R. O. Gandy & C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  55
    On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.
  4.  44
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  5.  10
    A Transfinite Type Theory with Type Variables.R. O. Gandy - 1965 - Journal of Symbolic Logic 33 (1):112-113.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Human versus mechanical intelligence.R. Gandy - 1996 - In Peter Millican & A. Clark (eds.), Machines and Thought. Oxford University Press.
  7.  44
    On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.
  8.  15
    Philosophy and Geography I: Space, Place, and Environmental Ethics.Andrew Light, Jonathan M. Smith, Annie L. Booth, Robert Burch, John Clark, Anthony M. Clayton, Matthew Gandy, Eric Katz, Roger King, Roger Paden, Clive L. Spash, Eliza Steelwater, Zev Trachtenberg & James L. Wescoat (eds.) - 1996 - Rowman & Littlefield Publishers.
    The inaugural collection in an exciting new exchange between philosophers and geographers, this volume provides interdisciplinary approaches to the environment as space, place, and idea. Never before have philosophers and geographers approached each other's subjects in such a strong spirit of mutual understanding. The result is a concrete exploration of the human-nature relationship that embraces strong normative approaches to environmental problems.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Human versus Machine Intelligence.Robin Gandy - 1996 - In Peter Millican Andy Clark (ed.), Machines and Thought the Legacy of Alan Turing. pp. 1--125.
  10. Meeting of the association for symbolic logic Manchester 1969.R. O. Gandy & C. E. M. Yates - 1970 - Journal of Symbolic Logic 35 (4):598-613.
  11.  10
    358 PG. Hinman.J. Barwise, L. Blum, M. Shub, S. Smale, Fr Drake, Ss Wainer, E. Engeler, Hm Friedman, Ro Gandy & Cme Yates - 1999 - In Edward R. Griffor (ed.), Handbook of computability theory. New York: Elsevier. pp. 358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  19
    Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    GENERALIZED RECUBION THEORY II © North-Holland Publishing Company (1978) MONOTONE QUANTIFIERS AND ADMISSIBLE SETS Ion Barwise University of Wisconsin ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Argentina's “Dirty War”.Ross Gandy - 1992 - Radical Philosophy Review of Books 6 (6):17-21.
  14.  58
    Argentina’s “Dirty War”.D. Ross Gandy - 1992 - Radical Philosophy Review of Books 6:17-21.
  15.  68
    A problem in the theory of constructive order types.Robin O. Gandy & Robert I. Soare - 1970 - Journal of Symbolic Logic 35 (1):119-121.
    J. N. Crossley [1] raised the question of whether the implication 2 + A = A ⇒ 1 + A = A is true for constructive order types (C.O.T.'s). Using an earlier definition of constructive order type, A. G. Hamilton [2] presented a counterexample. Hamilton left open the general question, however, since he pointed out that Crossley considers only orderings which can be embedded in a standard dense r.e. ordering by a partial recursive function, and that his counterexample fails to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  16.  28
    European meeting of the association for symbolic logic: Oxford, England, 1976.R. O. Gandy & D. S. Scott - 1977 - Journal of Symbolic Logic 42 (3):437-479.
  17.  18
    Marx and History: From Primitive Society to the Communist Future.D. Ross Gandy - 1980 - Philosophy and Phenomenological Research 41 (1):241-242.
  18. Marx and History: From Primitive Society to the Communist Future.Ross Gandy & William Shaw - 1981 - Science and Society 45 (1):109-111.
     
    Export citation  
     
    Bookmark  
  19. Neither Archetype nor Exception-The Indian city of Mumbai faces immense challenges.Matthew Gandy - 2008 - Topos 64:74.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  48
    On the Axiom of Extensionality.R. O. Gandy & Dana Scott - 1964 - Journal of Symbolic Logic 29 (3):142-142.
  21. Principles of mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
  22.  5
    The Two Marxisms: Contradictions and Anomalies in the Development of Theory.R. Gandy - 1981 - Telos: Critical Theory of the Contemporary 1981 (50):210-218.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Mexico 1910-1976: Reform or Revolution?Donald Hodges & Ross Gandy - 1982 - Science and Society 46 (2):251-254.
     
    Export citation  
     
    Bookmark  
  24.  69
    All that glitters is not gold: Digging beneath the surface of data mining. [REVIEW]Anthony Danna & Oscar H. Gandy - 2002 - Journal of Business Ethics 40 (4):373 - 386.
    This article develops a more comprehensive understanding of data mining by examining the application of this technology in the marketplace. In addition to exploring the technological issues that arise from the use of these applications, we address some of the social concerns that are too often ignored.As more firms shift more of their business activities to the Web, increasingly more information about consumers and potential customers is being captured in Web server logs. Sophisticated analytic and data mining software tools enable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  25. Engaging rational discrimination: Exploring reasons for placing regulatory constraints on decision support systems. [REVIEW]Oscar H. Gandy - 2010 - Ethics and Information Technology 12 (1):29-42.
    In the future systems of ambient intelligence will include decision support systems that will automate the process of discrimination among people that seek entry into environments and to engage in search of the opportunities that are available there. This article argues that these systems must be subject to active and continuous assessment and regulation because of the ways in which they are likely to contribute to economic and social inequality. This regulatory constraint must involve limitations on the collection and use (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  29
    Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of it.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers. [REVIEW]John N. Crossley, Andrew Hodges, Rolf Herken, Stephen C. Kleene, Robin Gandy, Solomon Feferman, Martin Davis & Esther R. Phillips - 1991 - Journal of Symbolic Logic 56 (3):1089.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  16
    Argentina’s “Dirty War”. [REVIEW]D. Ross Gandy - 1992 - Radical Philosophy Review of Books 6:17-21.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  15
    Andrews P. B.. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1965, xv + 143 pp. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  15
    Borkowski Ludwik. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 , pp. 7–55. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):242-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Bourbaki N.. Théorie des ensembles. Éléments de Mathématique, Première partie, Livre I, Chapitres I, II. Actualités scientifiques et industrielles 1212. Hermann & Cie, Paris 1954, title pages + 136 pp. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  15
    Boone William W.. An analysis of Turing's “The word problem in semi-groups with cancellation.” Annals of mathematics, ser. 2 vol. 67 , pp. 195–202. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  32.  11
    Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310. [REVIEW]R. O. Gandy & John N. Crossley - 1970 - Journal of Symbolic Logic 35 (1):157-157.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  31
    Filosofia y Marxismo. [REVIEW]D. Ross Gandy - 1991 - Radical Philosophy Review of Books 4 (4):29-35.
  34.  11
    Filosofia y Marxismo. [REVIEW]D. Ross Gandy - 1991 - Radical Philosophy Review of Books 4 (4):29-35.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  15
    L'Abbé Maurice. Systems of transfinite types involving λ-conversion. [REVIEW]R. O. Gandy - 1958 - Journal of Symbolic Logic 23 (3):361-362.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  7
    Review: Arthur Pap, Types and Meaninglessness. [REVIEW]R. O. Gandy - 1960 - Journal of Symbolic Logic 25 (4):333-334.
  37. Review: N. Bourbaki, Theorie des Ensembles. [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (1):71-73.
  38. Review: P. B. Andrews, A Transfinite Type Theory with Type Variables. [REVIEW]R. O. Gandy - 1968 - Journal of Symbolic Logic 33 (1):112-113.
  39.  12
    Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-groups with Cancellation". [REVIEW]R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (3):239-239.
  40.  39
    Sandino’s Communism. [REVIEW]D. Ross Gandy - 1994 - Radical Philosophy Review of Books 9 (9):40-46.
  41.  12
    Sandino’s Communism. [REVIEW]D. Ross Gandy - 1994 - Radical Philosophy Review of Books 9 (9):40-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Book Note. [REVIEW]Donald Hodges & Ross Gandy - forthcoming - Science and Society.
     
    Export citation  
     
    Bookmark