Computer Implication and the Curry Paradox

  title={Computer Implication and the Curry Paradox},
  author={Wayne Aitken and Jeffrey A. Barrett},
  journal={J. Philosophical Logic},
There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.