Mirror notation: Symbol manipulation without inscription manipulation [Book Review]

Journal of Philosophical Logic 28 (2):141-164 (1999)
Stereotypically, computation involves intrinsic changes to the medium of representation: writing new symbols, erasing old symbols, turning gears, flipping switches, sliding abacus beads. Perspectival computation leaves the original inscriptions untouched. The problem solver obtains the output by merely alters his orientation toward the input. There is no rewriting or copying of the input inscriptions; the output inscriptions are numerically identical to the input inscriptions. This suggests a loophole through some of the computational limits apparently imposed by physics. There can be symbol manipulation without inscription manipulation because symbols are complex objects that have manipulatable elements besides their inscriptions. Since a written symbol is an ordered pair of consisting of a shape and the reader's orientation to that inscription, the symbol can be changed by changing the orientation rather than inscription. Although there are the usual physical limits associated with reading the answer, the computation is itself instantaneous. This is true even when the sub-calculations are algorithmically complex, exponentially increasing or even infinite
Keywords algorithmic complexity  computation  Cambridge event  duals  mirror  NP-completeness  symbol manipulation  Turing machine
Categories (categorize this paper)
DOI 10.1023/A:1004307405785
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Rae Langton & David Lewis (1998). Defining 'Intrinsic'. Philosophy and Phenomenological Research 58 (2):333-345.
F. P. Ramsey (1927). Facts and Propositions. Proceedings of the Aristotelian Society 7 (1):153-170.

View all 9 references / Add more references

Citations of this work BETA
Massimo Warglien & Achille C. Varzi (2003). The Geometry of Negation. Journal of Applied Non-Classical Logics 13 (1):9-19.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

21 ( #137,372 of 1,726,249 )

Recent downloads (6 months)

5 ( #147,227 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.