A logical analysis of the truth-reaction paradox
Commentationes Mathematicae Universitatis Carolinae (1982)
- Volume: 023, Issue: 4, page 699-713
- ISSN: 0010-2628
Access Full Article
top
How to cite
topBendová, Kamila, and Hájek, Petr. "A logical analysis of the truth-reaction paradox." Commentationes Mathematicae Universitatis Carolinae 023.4 (1982): 699-713. <http://eudml.org/doc/17215>.
@article{Bendová1982,
author = {Bendová, Kamila, Hájek, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {paradox; self-reference; Peano arithmetic; artificial intelligence},
language = {eng},
number = {4},
pages = {699-713},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A logical analysis of the truth-reaction paradox},
url = {http://eudml.org/doc/17215},
volume = {023},
year = {1982},
}
TY - JOUR
AU - Bendová, Kamila
AU - Hájek, Petr
TI - A logical analysis of the truth-reaction paradox
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1982
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 023
IS - 4
SP - 699
EP - 713
LA - eng
KW - paradox; self-reference; Peano arithmetic; artificial intelligence
UR - http://eudml.org/doc/17215
ER -
References
top- V. S. CHERNIAVSKY, On limitations of artificial intelligence, Inf. Systems 5 (1980), 121. (1980) Zbl0447.68105
- H. B. ENDERTON, Elements of recursion theory, Handbook of Mathematical Logic (North-Holland P.C. 1977), 527-566. (1977) MR0485262
- S. FEFERMAN, Transfinite recursive progressions of axiomatic theories, Journ. Symb. Log. 27 (1962), 259-316. (1962) MR0172792
- I. M. HAVEL, The truth-reaction paradox: a probe of limitations of artificial intelligence, Proc. ECAI 82, Orsay 1982. (1982)
- C. SMORYŃSKI, The incompleteness theorems, Handbook of Math. Logic (North-Holland P.C. 1977), 821-862. (1977)
- R. SOLOVAY, Provability interpretations of modal logic, Israel Journ. Math. 25 (1976), 287-304. (1976) Zbl0352.02019MR0457153
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.