You are not currently logged in.
Access JSTOR through your library or other institution:
Computer Implication and the Curry Paradox
Wayne Aitken and Jeffrey A. Barrett
Journal of Philosophical Logic
Vol. 33, No. 6 (Dec., 2004), pp. 631-637
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226827
Page Count: 7
Preview not available
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.
Journal of Philosophical Logic © 2004 Springer