Computer Implication and the Curry Paradox.

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.

Bibliographic Details
Published in:	Journal of Philosophical Logic Vol. 33; no. 6; pp. 631 - 638
Main Authors:	Aitken, Wayne, Barrett, Jeffrey A.
Format:	Article
Published:	Springer Nature Dec2004
Subjects:	Computer software Paradox Logic Computer logic Mathematical logic Philosophy
Online Access:	View this record in EBSCOhost

Internet

View this record in EBSCOhost