Computer implication and the Curry paradox

&
Journal of Philosophical Logic 33 (6):631-637 (2004)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1023/b:logi.0000046077.72722.61

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
Curry's paradox.Jc Beall - manuscript
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
Curry's paradox, Lukasiewicz, and field.Peter Smith - unknown
Time for curry.Jc Beall & David Ripley - manuscript
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.

Analytics

Added to PP
2009-01-28

Downloads
77 (#213,028)

6 months
4 (#790,778)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Barrett
University of California, Irvine

Citations of this work

Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2007 - Journal of Philosophical Logic 36 (1):61-95.
Abstraction in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2008 - Journal of Philosophical Logic 37 (1):23-43.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
A Note on the Physical Possibility of Transfinite Computation.Wayne Aitken & Jeffrey A. Barrett - 2010 - British Journal for the Philosophy of Science 61 (4):867-874.

Add more citations

References found in this work

The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
A method for avoiding the Curry paradox.Frederic B. Fitch - 1969 - In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel. Reidel. pp. 255--265.

Add more references