On The Substitutivity of Variables: The Roots of Undecidability

Solte, Dirk

doi:10.56550/d.1.2.2

Distinctio : Journal of Intersubjective Studies, Vol. 1 No. 2, 2022.

Original scientific paper

https://doi.org/10.56550/d.1.2.2

On The Substitutivity of Variables: The Roots of Undecidability

Dirk Solte orcid.org/0009-0008-3716-809X ; Independent Researecher

Full text: english pdf 561 Kb

page 53-71

downloads: 112

cite

APA 6th Edition

Solte, D. (2022). On The Substitutivity of Variables: The Roots of Undecidability. Distinctio, 1 (2), 53-71. https://doi.org/10.56550/d.1.2.2

MLA 8th Edition

Solte, Dirk. "On The Substitutivity of Variables: The Roots of Undecidability." Distinctio, vol. 1, no. 2, 2022, pp. 53-71. https://doi.org/10.56550/d.1.2.2. Accessed 20 Jan. 2025.

Chicago 17th Edition

Solte, Dirk. "On The Substitutivity of Variables: The Roots of Undecidability." Distinctio 1, no. 2 (2022): 53-71. https://doi.org/10.56550/d.1.2.2

Harvard

Solte, D. (2022). 'On The Substitutivity of Variables: The Roots of Undecidability', Distinctio, 1(2), pp. 53-71. https://doi.org/10.56550/d.1.2.2

Vancouver

Solte D. On The Substitutivity of Variables: The Roots of Undecidability. Distinctio [Internet]. 2022 [cited 2025 January 20];1(2):53-71. https://doi.org/10.56550/d.1.2.2

IEEE

D. Solte, "On The Substitutivity of Variables: The Roots of Undecidability", Distinctio, vol.1, no. 2, pp. 53-71, 2022. [Online]. https://doi.org/10.56550/d.1.2.2

Abstract

Keywords

diagonal lemma; recursion theorem; decidable structure

Hrčak ID:

300914

URI

https://hrcak.srce.hr/300914

Publication date:

27.4.2023.

Article data in other languages: german

Visits: 587 *

Login and registration

Distinctio : Journal of Intersubjective Studies, Vol. 1 No. 2, 2022.

Abstract

Keywords

Hrčak ID:

URI

Publication date: