Implicit and Explicit Examples of the Phenomenon of Deviant Encodings
The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used for the input and for the output. Providing a...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2020-09-01
|
Series: | Studies in Logic, Grammar and Rhetoric |
Subjects: | |
Online Access: | https://doi.org/10.2478/slgr-2020-0027 |