1. Herbert A. Simon & Stuart A. Eisenstadt (2003). A Chinese Room That Understands. In John M. Preston & Michael A. Bishop (eds.), Views Into the Chinese Room: New Essays on Searle and Artificial Intelligence. Oxford University Press.
     
    My bibliography  
     
    Export citation  
  2. Herbert A. Simon & Stuart A. Eisenstadt (1998). Human and Machine Interpretation of Expressions in Formal Systems. Synthese 116 (3):439-461.
    This paper uses a proof of Gödels theorem, implemented on a computer, to explore how a person or a computer can examine such a proof, understand it, and evaluate its validity. It is argued that, in order to recognize it (1) as Gödel's theorem, and (2) as a proof that there is an undecidable statement in the language of PM, a person must possess a suitable semantics. As our analysis reveals no differences between the processes required by people and machines (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Stuart A. Eisenstadt & Herbert A. Simon (1997). Logic and Thought. Minds and Machines 7 (3):365-385.
    Rips, in The Psychology of Proof, argues that, through the processes of evolution, logic (e.g., modus ponens) has become established in the human mind as the basis for thinking, and that production systems rest on this foundation. In this paper we defend the converse argument that, through evolution, a production system architecture has become the basis for human thinking, and that formal logics rest on this production system and the accompanying mechanisms for recognition and search. It is through the “automaticity” (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation