Switch to: Citations

Add references

You must login to add references.
  1. The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Download  
     
    Export citation  
     
    Bookmark   136 citations  
  • ``A Note on the Entcheidunsproblem".Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • What is a brain state?Richard Brown - 2006 - Philosophical Psychology 19 (6):729-742.
    Philosophers have been talking about brain states for almost 50 years and as of yet no one has articulated a theoretical account of what one is. In fact this issue has received almost no attention and cognitive scientists still use meaningless phrases like 'C-fiber firing' and 'neuronal activity' when theorizing about the relation of the mind to the brain. To date when theorists do discuss brain states they usually do so in the context of making some other argument with the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   701 citations  
  • How we ought to describe computation in the brain.Chris Eliasmith - 2010 - Studies in History and Philosophy of Science Part A 41 (3):313-320.
    I argue that of the four kinds of quantitative description relevant for understanding brain function, a control theoretic approach is most appealing. This argument proceeds by comparing computational, dynamical, statistical and control theoretic approaches, and identifying criteria for a good description of brain function. These criteria include providing useful decompositions, simple state mappings, and the ability to account for variability. The criteria are justified by their importance in providing unified accounts of multi-level mechanisms that support intervention. Evaluation of the four (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • An Introduction to Quantum Computing.Phillip Kaye, Raymond Laflamme & Michele Mosca - 2006 - Oxford, England: Oxford University Press UK.
    This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as quantum mechanics and computational complexity is not required.
    Download  
     
    Export citation  
     
    Bookmark   6 citations