5 found
  1. 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 (7 more)  
    Export citation  
    Bookmark   15 citations  
  2.  60
    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.
  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.
    Export citation  
    Bookmark   3 citations  
  4.  19
    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.
  5.  7
    Computation, Hypercomputation, and Physical Science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation