On The Substitutivity of Variables
The Roots of Undecidability
DOI:
https://doi.org/10.56550/d.1.2.2Keywords:
diagonal lemma, recursion theorem, decidable structureReferences
Ebbinghaus, H.D., Flum, J. and Thomas, W. (2007) Einfuhrung in die mathematische Logik, 5th. ed., Berlin, Heidelberg: Springer Spektrum.
Godel, K. (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”, Monatshefte für Mathematik und Physik, 38, 173-98.
Kleene, S.C. (1943) "Recursive Predicates and Quantifiers", Transactions of the American Mathematical Society, 53, 41-73.
Solte, D. (2020) “M - A non-standard language of arithmetic}", submitted to the Journal of Symbolic Logic on 02/2020, Preprint doi=10.13140/RG.2.2.17602.30403.
van Dalen, D. (2013) Logic and structure, 5th. ed., London: Springer.
