4 found
  1.  35
    Konstantine Arkoudas & Selmer Bringsjord (2007). Computers, Justification, and Mathematical Knowledge. 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   4 citations  
  2. Selmer Bringsjord & Konstantine Arkoudas (2006). On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis. In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag 68-118.
    Export citation  
    My bibliography   1 citation  
  3.  6
    Selmer Bringsjord, Joshua Taylor, Bram van Heuveln, Konstantine Arkoudas, Micah Clark & Ralph Wojtowicz (2011). Piagetian Roboethics Via Category Theory Moving Beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to Be Ethically Correct. In M. Anderson S. Anderson (ed.), Machine Ethics. Cambridge Univ. Press
    Direct download (2 more)  
    Export citation  
    My bibliography  
  4.  6
    Konstantine Arkoudas & Selmer Bringsjord (2008). Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer 17--29.