Computer Implication and the Curry Paradox

@article{Aitken2004ComputerIA,
  title={Computer Implication and the Curry Paradox},
  author={Wayne Aitken and Jeffrey A. Barrett},
  journal={J. Philosophical Logic},
  year={2004},
  volume={33},
  pages={631-637}
}
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.