Order:
Disambiguations
Ross Gandy [7]Robin Gandy [4]Robin O. Gandy [2]Robin Oliver Gandy [2]
Ro Gandy [1]
  1. Human versus Machine Intelligence.Robin Gandy - 1996 - In Peter Millican Andy Clark (ed.), Machines and Thought the Legacy of Alan Turing. pp. 1--125.
  2.  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  
  3. Argentina's “Dirty War”.Ross Gandy - 1992 - Radical Philosophy Review of Books 6 (6):17-21.
  4.  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  
  5. 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  
  6. Mexico 1910-1976: Reform or Revolution?Donald Hodges & Ross Gandy - 1982 - Science and Society 46 (2):251-254.
     
    Export citation  
     
    Bookmark  
  7.  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  
  8. Book Note. [REVIEW]Donald Hodges & Ross Gandy - forthcoming - Science and Society.
     
    Export citation  
     
    Bookmark