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.

Detalles Bibliográficos
Publicado en:	Journal of Philosophical Logic Vol. 33; no. 6; pp. 631 - 638
Autores principales:	Aitken, Wayne, Barrett, Jeffrey A.
Formato:	Artículo
Publicado:	Springer Nature Dec2004
Materias:	Computer software Paradox Logic Computer logic Mathematical logic Philosophy
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.