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.

Izvorni znanstveni članak

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

Puni tekst: engleski pdf 561 Kb

str. 53-71

preuzimanja: 112

citiraj

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, br. 2, 2022, str. 53-71. https://doi.org/10.56550/d.1.2.2. Citirano 02.01.2025.

Chicago 17th Edition

Solte, Dirk. "On The Substitutivity of Variables: The Roots of Undecidability." Distinctio 1, br. 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), str. 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 [pristupljeno 02.01.2025.];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, br. 2, str. 53-71, 2022. [Online]. https://doi.org/10.56550/d.1.2.2

Sažetak

Ključne riječi

diagonal lemma; recursion theorem; decidable structure

Hrčak ID:

300914

URI

https://hrcak.srce.hr/300914

Datum izdavanja:

27.4.2023.

Podaci na drugim jezicima: njemački

Posjeta: 587 *

Prijava i registracija

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

Sažetak

Ključne riječi

Hrčak ID:

URI

Datum izdavanja: