Mirror notations: Symbol manipulation without inscription manipulation

DOI10.1023/A:1004307405785zbMath0933.03045OpenAlexW1999568781MaRDI QIDQ1288135

Roy A. Sorensen

Publication date: 20 March 2000

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004307405785

zbMATH Keywords

dualsNP-completenessalgorithmic complexityTuring machinecomputationpropositional calculusmirrorsymbol manipulationCambridge eventphilosophical implications

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Turing machines and related notions (03D10)

Related Items (1)

The Geometry of Negation

Cites Work

• Turing's O-machines, Searle, Penrose and the brain
• Unnamed Item

This page was built for publication: Mirror notations: Symbol manipulation without inscription manipulation