Physics and Computation

Cover
Title page
Copyright page
Physics and Computation
	Contents
	1 Introduction
	2 Turing's 1936 Paper
		2.1 Formal Representation of Human Computers
		2.2 The Results
	3 The Church–Turing Thesis and the Physical Church–Turing Thesis
		3.1 The Church–Turing Thesis
		3.2 Beyond the Church–Turing Thesis
		3.3 The Simulation Thesis
		3.4 The Maximality Thesis
		3.5 Conclusion
	4 Accounts of Computational Implementation
		4.1 Desiderata for Accounts of Computation in Physical Systems
			4.1.1 Objectivity
			4.1.2 Extensional Adequacy
			4.1.3 Explanation
			4.1.4 Miscomputation
			4.1.5 Taxonomy
			4.1.6 Usability
		4.2 The Problem of Computational Underdetermination
		4.3 The Mechanistic Account of Computation
			4.3.1 Objectivity
			4.3.2 Extensional Adequacy
			4.3.3 Explanation
			4.3.4 Miscomputation
			4.3.5 Taxonomy
			4.3.6 Usability
		4.4 Abstraction/Representation Theory
			4.4.1 Objectivity
			4.4.2 Extensional Adequacy
			4.4.3 Explanation
			4.4.4 Miscomputation
			4.4.5 Taxonomy
			4.4.6 Usability
		4.5 Conclusions
	5 Quantum Computers
		5.1 Quantum Circuit Computers
		5.2 Measurement-Based Quantum Computers
		5.3 Adiabatic Quantum Computers
		5.4 Conclusion
	6 Quantum Speedup
		6.1 Computational Explanation
		6.2 The Quantum Parallelism Thesis
		6.3 Bub’s Quantum-Logical Approach
		6.4 Speedup-able problems
		6.5 Interference
		6.6 Entanglement
		6.7 Conclusions
	References
	Acknowledgments