Journal
ANNALS OF PURE AND APPLIED LOGIC
Volume 126, Issue 1-3, Pages 309-312Publisher
ELSEVIER SCIENCE BV
DOI: 10.1016/j.apal.2003.11.029
Keywords
recursiveness; computability; decidability; concatenation; representability
Categories
Ask authors/readers for more resources
The paper proposes a new definition of the conception of effectiveness (computability, general recursiveness, algoritmicity). A good name for this version of effectiveness is discernibility. The definition is based on the fact that every computation may be reduced to the operation of discerning the fundamental symbols and concatenation of formulas. This approach to effectiveness allows us to formulate the proof of undecidability in such a way that arithmetization of the syntax may be replaced by the use of concatenation in metalogic. (C) 2003 Published by Elsevier B.V.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available