5 found
Order:
  1.  59
    Computers, Justification, and Mathematical Knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
    The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  1
    Computation, Hypercomputation, and Physical Science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis.Selmer Bringsjord & Konstantine Arkoudas - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 68-118.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  4.  12
    Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task.Konstantine Arkoudas & Selmer Bringsjord - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 17--29.
  5.  11
    Piagetian Roboethics Via Category Theory Moving Beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to Be Ethically Correct.Selmer Bringsjord, Joshua Taylor, Bram van Heuveln, Konstantine Arkoudas, Micah Clark & Ralph Wojtowicz - 2011 - In M. Anderson S. Anderson (ed.), Machine Ethics. Cambridge Univ. Press.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography