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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of philosophical logic Jg. 33; H. 6; S. 631 - 637
Hauptverfasser: Aitken, Wayne, Barrett, Jeffrey A.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht Kluwer Academic Publishers 01.12.2004
Springer
Springer Nature B.V
Schlagworte:
Algorithms
Computers
Goldbachs conjecture
Libraries
Logic
Modus ponens
Paradoxes
Philosophical logics. Philosophy of language
Philosophy
Proof by contradiction
Syntactical consequents
United States > US
Logics
ISSN:0022-3611, 1573-0433
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
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.
AbstractList 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.
Author Barrett, Jeffrey A.
Aitken, Wayne
Author_xml – sequence: 1
  givenname: Wayne
  surname: Aitken
  fullname: Aitken, Wayne
– sequence: 2
  givenname: Jeffrey A.
  surname: Barrett
  fullname: Barrett, Jeffrey A.
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=16277834$$DView record in Pascal Francis
BookMark eNqNkU1Lw0AQhhepYFv9CUIoeBES9yPZzfakDX4UCnrQ8zLd7mJKmsTdLdh_b9KWCp6cy1ye952Zd0ZoUDe1QWhCcEIwZXez6eL1eZ7gvlKOhUgEFZQmnJyhIckEi3HK2AANMaY0ZpyQCzTyft3hOWFiiG6LZtNug3HRfNNWpYZQNnUE9SoKnyYqts7tojdwsGq-L9G5hcqbq2Mfo4-nx_fiJe5XKB4WsWYpDbE0QlrCrAWMM1jmJDMYTAoZzykIyQBTubQ4Z4JxLqlYAUid8zTV1NqlzNkYTQ6-rWu-tsYHtW62ru5GKiKzXIosSzvo5giB11BZB7UuvWpduQG3U4RTIXLWc_cHTrvGe2es0mXYHxkclJUiWPVBqpnqr1C_Qap9kIqTzmL6x-I05T_i64N47UPjTkrWvaPLQ7AfQkOB8Q
CitedBy_id crossref_primary_10_1080_01445340_2011_648312
crossref_primary_10_1007_s10992_005_9024_5
crossref_primary_10_1007_s10992_007_9051_5
crossref_primary_10_1093_bjps_axq016
Cites_doi 10.2307/2269292
10.1007/978-94-017-1466-2_13
10.1007/BF00485622
ContentType Journal Article
Copyright Copyright 2004 Kluwer Academic Publishers
2007 INIST-CNRS
Kluwer Academic Publishers 2004
Copyright_xml – notice: Copyright 2004 Kluwer Academic Publishers
– notice: 2007 INIST-CNRS
– notice: Kluwer Academic Publishers 2004
DBID AAYXX
CITATION
IQODW
3V.
7XB
8FK
8G5
AABKS
ABSDQ
ABUWG
AFKRA
AIMQZ
AVQMV
AZQEC
BENPR
CCPQU
DWQXO
GB0
GNUQQ
GUQSH
K50
LIQON
M1D
M2O
MBDVC
PADUT
PEJEM
PGAAH
PHGZM
PHGZT
PKEHL
PMKZF
PQEST
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.1023/B:LOGI.0000046077.72722.61
DatabaseName CrossRef
Pascal-Francis
ProQuest Central (Corporate)
ProQuest Central (purchase pre-March 2016)
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Research Library
Philosophy Collection
Philosophy Database
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest One Literature
ProQuest Arts Premium
ProQuest Central Essentials
ProQuest Central
ProQuest One Community College
ProQuest Central Korea
DELNET Social Sciences & Humanities Collection
ProQuest Central Student
ProQuest Research Library
ProQuest Art, Design & Architecture
ProQuest One Literature
Arts & Humanities Database
Research Library
Research Library (Corporate)
Research Library China
ProQuest One Visual Arts & Design
ProQuest One Religion & Philosophy
ProQuest Central Premium
ProQuest One Academic
ProQuest One Academic Middle East (New)
ProQuest Digital Collections
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DatabaseTitle CrossRef
ProQuest DELNET Social Sciences and Humanities Collection
Research Library Prep
ProQuest Central Student
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest Central (Alumni Edition)
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central China
ProQuest One Religion & Philosophy
Philosophy Collection
ProQuest Central
Arts Premium Collection
ProQuest Central Korea
ProQuest Research Library
ProQuest Central (New)
Research Library China
ProQuest Art, Design and Architecture Collection
ProQuest One Literature - U.S. Customers Only
ProQuest Central Basic
ProQuest One Literature
ProQuest One Academic Eastern Edition
ProQuest Digital Collections
ProQuest One Academic UKI Edition
ProQuest One Visual Arts & Design
Arts & Humanities Full Text
ProQuest One Academic
ProQuest One Academic (New)
ProQuest Central (Alumni)
Philosophy Database
DatabaseTitleList ProQuest DELNET Social Sciences and Humanities Collection
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Philosophy
EISSN 1573-0433
EndPage 637
ExternalDocumentID 978405141
16277834
10_1023_B_LOGI_0000046077_72722_61
30226827
GeographicLocations United States--US
GeographicLocations_xml – name: United States--US
GroupedDBID --Z
-DZ
-Y2
-~C
.4H
.86
.VR
06D
0R~
0VY
199
1N0
203
29L
2J2
2JN
2JY
2KG
2KM
2LR
2N9
2P1
2VQ
2~H
3-Y
30V
4.4
406
408
409
40D
40E
5GY
5VS
67Z
6NX
78A
8G5
8TC
8UJ
95-
95.
95~
96X
AAAVM
AABHQ
AABKS
AACDK
AACJB
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWBS
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKD
ABAKF
ABBBX
ABBHK
ABBRH
ABBXA
ABDBE
ABDBF
ABDZT
ABECU
ABFSG
ABFTV
ABHLI
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABLJU
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSDQ
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABUWG
ABWNU
ABXPI
ABXSQ
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACJZB
ACKNC
ACMDZ
ACMLO
ACNCT
ACOKC
ACOMO
ACPIV
ACREJ
ACSTC
ACZOJ
ADHHG
ADHIR
ADHJG
ADHKG
ADIMF
ADKNI
ADKPE
ADMHG
ADRFC
ADTPH
ADULT
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AEOHA
AEPYU
AESKC
AETLH
AEUPB
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFFNX
AFGCZ
AFHIU
AFKRA
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQEE
AGQMX
AGQPQ
AGRTI
AGWIL
AGWZB
AGYKE
AHBYD
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AIKPN
AILAN
AIMQZ
AITGF
AIXLP
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMVHM
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
ASPBG
ATHPR
AVQMV
AVWKF
AXYYD
AYFIA
AYQZM
AZFZN
AZQEC
B-.
B0M
BA0
BDATZ
BENPR
BGNMA
BPHCQ
BSONS
CAG
CCPQU
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
DU5
DWQXO
EAD
EAP
EAS
EBLON
EBS
EHI
EIOEI
EJD
EMK
EPL
ESBYG
ESX
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GB0
GGCAI
GGRSB
GJIRD
GNUQQ
GNWQR
GQ7
GQ8
GUQSH
GXS
HF~
HG5
HG6
HMHOC
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
H~9
I09
IHE
IJ-
IKXTQ
IPSME
ITM
IWAJR
IXC
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JAAYA
JBMMH
JBSCW
JCJTX
JENOY
JHFFW
JKQEH
JLEZI
JLXEF
JPL
JST
JZLTJ
K50
KDC
KOV
LAK
LIQON
LLZTM
M1D
M2O
M4Y
MA-
MLAFT
MVM
N2Q
N9A
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9G
O9I
OAM
OVD
P19
P2P
P9Q
PADUT
PF-
PHGZM
PHGZT
PMKZF
PQQKQ
PROAC
PT4
PT5
Q2X
QOK
QOS
R-Y
R89
R9I
RHV
RNI
ROL
RPX
RSV
RZC
RZD
S16
S27
S3B
SA0
SAP
SDA
SDH
SDM
SHS
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TEORI
TN5
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WH7
WK8
YLTOR
YQT
Z45
ZMTXR
~8M
~EX
1SB
2.D
28-
5QI
AANTL
AAWJA
AAYXX
ABKTN
ABRTQ
ABUFD
ACIOK
ACYUM
AEFIE
AFEXP
AFFHD
AFOHR
AGGDS
AHAVH
AHKAY
AKNXY
ALPBS
BBWZM
CITATION
ECVKH
H13
HYQOX
KOW
LPU
NDZJH
O-F
O-J
PEJEM
PGAAH
PMFND
PVKVW
Q5E
R4E
RZK
S1Z
S26
S28
SCLPG
T16
UKR
WK6
ZWUKE
~P2
~P3
~PS
-51
-5C
-5G
-BR
-EM
3V.
AAEOY
ABFGW
ACEZS
ACIPQ
ACVYN
ACWMK
ADACV
ADINQ
AESTI
AEVTX
AIMYW
AKQUC
BEMZW
BIOZK
GQ6
IQODW
JSODD
O9J
UNUBA
7XB
8FK
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c342t-9e79f13ffa005ab815e0ae4a5682a793a029bf0837366927daa9c8644c2ffb983
IEDL.DBID M1D
ISICitedReferencesCount 4
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000225433400004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0022-3611
IngestDate Tue Nov 04 16:34:41 EST 2025
Wed Aug 14 04:39:34 EDT 2024
Sat Nov 29 07:44:22 EST 2025
Tue Nov 18 22:17:26 EST 2025
Thu Jun 19 15:14:13 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 6
Keywords Logics
Language English
License https://www.springernature.com/gp/researchers/text-and-data-mining
CC BY 4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c342t-9e79f13ffa005ab815e0ae4a5682a793a029bf0837366927daa9c8644c2ffb983
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
PQID 195897554
PQPubID 36450
PageCount 7
ParticipantIDs proquest_journals_195897554
pascalfrancis_primary_16277834
crossref_citationtrail_10_1023_B_LOGI_0000046077_72722_61
crossref_primary_10_1023_B_LOGI_0000046077_72722_61
jstor_primary_30226827
PublicationCentury 2000
PublicationDate 2004-12-01
PublicationDateYYYYMMDD 2004-12-01
PublicationDate_xml – month: 12
  year: 2004
  text: 2004-12-01
  day: 01
PublicationDecade 2000
PublicationPlace Dordrecht
PublicationPlace_xml – name: Dordrecht
PublicationTitle Journal of philosophical logic
PublicationYear 2004
Publisher Kluwer Academic Publishers
Springer
Springer Nature B.V
Publisher_xml – name: Kluwer Academic Publishers
– name: Springer
– name: Springer Nature B.V
References H. Curry (5278810_CR2) 1942; 7
5278810_CR1
J. Myhill (5278810_CR4) 1984; 60
5278810_CR3
References_xml – volume: 7
  start-page: 115
  year: 1942
  ident: 5278810_CR2
  publication-title: J. Symbolic Logic
  doi: 10.2307/2269292
– ident: 5278810_CR3
  doi: 10.1007/978-94-017-1466-2_13
– ident: 5278810_CR1
– volume: 60
  start-page: 129
  year: 1984
  ident: 5278810_CR4
  publication-title: Synthese
  doi: 10.1007/BF00485622
SSID ssj0008137
Score 1.6429533
Snippet 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...
SourceID proquest
pascalfrancis
crossref
jstor
SourceType Aggregation Database
Index Database
Enrichment Source
Publisher
StartPage 631
SubjectTerms Algorithms
Computers
Goldbachs conjecture
Libraries
Logic
Modus ponens
Paradoxes
Philosophical logics. Philosophy of language
Philosophy
Proof by contradiction
Syntactical consequents
Title Computer Implication and the Curry Paradox
URI https://www.jstor.org/stable/30226827
https://www.proquest.com/docview/195897554
Volume 33
WOSCitedRecordID wos000225433400004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: ProQuest Arts & Humanities Database
  customDbUrl:
  eissn: 1573-0433
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0008137
  issn: 0022-3611
  databaseCode: M1D
  dateStart: 19970201
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/artshumanities
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1573-0433
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0008137
  issn: 0022-3611
  databaseCode: BENPR
  dateStart: 19970201
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Research Library
  customDbUrl:
  eissn: 1573-0433
  dateEnd: 20241207
  omitProxy: false
  ssIdentifier: ssj0008137
  issn: 0022-3611
  databaseCode: M2O
  dateStart: 19970201
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVAVX
  databaseName: Springer LINK
  customDbUrl:
  eissn: 1573-0433
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0008137
  issn: 0022-3611
  databaseCode: RSV
  dateStart: 19970101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1JS8QwFH64Hby4i-My9OBJqDZJm8WLOC7owXEQBW_hNU1AkBmdGUX_vUmXGUQQwUsv5YUmX96S5vF9APsiM4U_HmNs_e6NU5qTWKaSxxmSJHdEmFy6UmxCdLvy8VH16t6cUd1W2cTEMlAXAxP-kR8FUhQlfPI7eXmNg2hUuFytFTRmYd4XNiScvW7I-SQQy4YyMzSsc0IazlHKjjrHQWqgIi9MeSLEYbiQpIecfMtPVYti6JfEkV8yV2ld_AjbZS66XP7nLFZgqS5Co9Nq16zCjO2vwWKvUTX4XIeDRu0hup62nEfYLyJfMEaB1Okz6uEQi8HHBjxcXtyfXcW1rEJsWErHsbJCOcKcQ--BmEuS2QRtihmXFL27YkJV7nxpJhjniooCURnp6yZDncuVZJsw1x_07RZEihjrFEuzgqk0NxlKl2WMSu7QYmJIC1SzmNrUnONB-uJZl3fflOmODh-np0DoEgjNvS2b2L5UzBt_stosMZuYMI--n5hoQfsbiNMxORVBbaQFOw1kuvbjkZ7gtf3r2x1YbAggE7ILc-Phm92DBfM-fhoN2zDfuej27trl7gxPevsF6r3lzg
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1NT9wwEB0BrQQXKAXUBQo5tBekQGwn_kBCVSlFrIDVHkDiZiaOLSGhXbq7LeyP6n-snax3hSpVvXDgHI3lZJ5nxvH4PYBPojCV3x5jaj1605yWJJW55GmBJCsdEaaUrhabEJ2OvLlR3Tn4He_ChLbKGBPrQF31TfhHfhBIUZTwye_Lw480iEaFw9WooNGg4tyOH_2ObXjUPvHu_Uzp6ferb2fpRFQgNSyno1RZoRxhzqHHH5aSFDZDm2PBJUUPVsyoKp0vTATjXFFRISojfdVgqHOlksyPOw9vAq1e6CC7JCfTwC8jRWdokOeERI5Tyg6OD8MsGrLEnGdC7IcDULrPybN82LREhv5MHHoXuUZb4680Uee-05VX9tXewfKkyE6-NqtiFeZs7z0sdaNqw3gN9qKaRdKetdQn2KsSXxAngbRqnHRxgFX_aR2uX2SuG7DQ6_fsB0gUMdYplhcVU3lpCpSuKBiV3KHFzJAWqOg8bSac6kHa417XZ_uU6WMdJqdnjte14zX3tmxq-9Awi_yX1UaNkakJ82jzLyZasPMMNLMxORVBTaUFWxEiehKnhnqKj81_Pt2FxbOrywt90e6cb8FSJLvMyDYsjAY_7Ud4a36N7oaDnXpFJHD70mD6AzbnP48
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3Pb9MwFH4aA6FdgAETZWPksF2QssZ24h-TJsRWKqpNVQ8g7WZeHFuahNrRlm390_bfzU7iVhMS2mUHztGznPiz33P8-fsA9kRhKr89xtR69KY5LUkqc8nTAklWOiJMKV1tNiGGQ3l-rkZrcBvvwgRaZVwT64W6mpjwj7wbRFGU8Mmv61pWxKjX_3z5Ow0GUuGgNbppNAg5tYtrv3ubHQ16fqj3Ke1__X7yLW0NBlLDcjpPlRXKEeYceixiKUlhM7Q5FlxS9MDFjKrS-SJFMM4VFRWiMtJXEIY6VyrJfLtP4KnIPZADa5D0lklARrnOQJbnhES9U8q6x4ehF41wYs4zIQ7CYSg94ORebmzokYGriTM_XK7x2fgrZdR5sP_yP_6Cr-BFW3wnX5rZsglrdvwaNkbRzWHxBj5Fl4tksKLaJziuEl8oJ0HMapGMcIrV5OYt_HiUvm7B-ngytu8gUcRYp1heVEzlpSlQuqJgVHKHFjNDOqDiQGrTaq0Hy49fuj7zp0wf69A5vQKBrkGguY9ly9jLRnHkQVFbNV6WIcwjz7-Y6MDuPQCt2uRUBJeVDmxHuOh2_ZrpJVbe__PpR3juMaTPBsPTbdiIGpgZ2YH1-fSP_QDPzNX8YjbdrSdHAj8fG0t38pZITQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Computer+Implication+and+the+Curry+Paradox&rft.jtitle=Journal+of+philosophical+logic&rft.au=Aitken%2C+Wayne&rft.au=Barrett%2C+Jeffrey+A.&rft.date=2004-12-01&rft.issn=0022-3611&rft.eissn=1573-0433&rft.volume=33&rft.issue=6&rft.spage=631&rft.epage=637&rft_id=info:doi/10.1023%2FB%3ALOGI.0000046077.72722.61&rft.externalDBID=n%2Fa&rft.externalDocID=10_1023_B_LOGI_0000046077_72722_61
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0022-3611&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0022-3611&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0022-3611&client=summon