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
You can always find the topics here!Topics: Libraries, Paradoxes, Modus ponens, Goldbachs conjecture, Signals, Syntactical consequents, Proof by contradiction
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
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