A taxonomy of deviant encodings

DOI10.1007/978-3-319-94418-0_34OpenAlexW2810961073MaRDI QIDQ1670761

Paula Quinon

Publication date: 6 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94418-0_34

zbMATH Keywords

Church-Turing thesisdeviant encodingsfixed points of conceptual analysis

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)

Related Items (3)

Bootstrapping of integer concepts: the stronger deviant-interpretation challenge (and how to solve it) ⋮ Generalization of Shapiro's theorem to higher arities and noninjective notations ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

This page was built for publication: A taxonomy of deviant encodings