Why Do We Need a Theory of Implementation?
André Curtis-Trudel
Abstract
The received view of computation is methodologically bifurcated: it offers different accounts of computation in the mathematical and physical cases. But little in the way of argument has been given for this approach. This article rectifies the situation by arguing that the alternative, a unified account, is untenable. Furthermore, once these issues are brought into sharper relief we can see that work remains to be done to illuminate the relationship between physical and mathematical computation.
Topics & Concepts
Argument (complex analysis)ComputationComputer scienceEpistemologyWork (physics)Mathematical economicsCalculus (dental)Management scienceMathematicsAlgorithmPhilosophyEconomicsEngineeringDentistryChemistryMedicineBiochemistryMechanical engineeringComputability, Logic, AI AlgorithmsPhilosophy and History of SciencePhilosophy and Theoretical Science